Armin Biere

<http://www.wikidata.org/entity/Q687404>

German computer scientist
rdfs:label
"Armin Biere"@en
schema:description
"German computer scientist"@en
schema:dateModified "2026-07-22T13:55:01+00:00"^^xsd:dateTime
schema:version 2521131307
wikibase:identifiers 32
wikibase:sitelinks 1
wikibase:statements 64
p:P1006 wd:statement/Q687404-CC8D7568-3968-4BAD-84D8-AB9AFDF0AB9D
p:P101 wd:statement/Q687404-74145646-BC0B-4615-8A12-565B9486A125
p:P1015 wd:statement/q687404-b46df015-4c80-aea5-e4da-47f8f1d88e1c
p:P1053 wd:statement/Q687404-60B0D59D-FD38-462D-A764-5D8839001DEF
p:P106 wd:statement/Q687404-1890C23B-5D21-4B7D-8A03-3EF2953B2EE5
wd:statement/Q687404-D2BE5CBD-64A8-46B0-AD90-9CB194A3BC17
p:P108 wd:statement/Q687404-0d053f37-4c62-3a3f-9553-bee009b86d8e
wd:statement/Q687404-314A731E-4AA4-4055-B920-9E197FCA9680
wd:statement/Q687404-76FF29D9-DC99-41C9-B503-38D87370E831
wd:statement/Q687404-9FEC6355-9BA4-4850-B8CA-DB4543A5586B
p:P10832 wd:statement/Q687404-0FCAFAA9-63EF-40AE-AE9F-BD6C876686C0
p:P10861 wd:statement/Q687404-DF4B33B0-11BE-4BB0-AEDB-D64B547EFA38
p:P11496 wd:statement/Q687404-7E48225D-BA08-4ABB-83F1-7C7216AB889E
p:P1153 wd:statement/Q687404-34B367B3-7018-4380-A314-272399050806
p:P1207 wd:statement/Q687404-86840334-2BC3-439D-8339-6F927FA08BDA
p:P13049 wd:statement/Q687404-35BC726F-3775-4720-AA48-F727E7A01432
p:P13591 wd:statement/Q687404-E0176D23-F535-4FD5-9CD1-EDA6295B5422
p:P1412 wd:statement/Q687404-3410DDB6-BEEF-4E46-8680-564E1205C7B0
wd:statement/q687404-fedd6dd7-4d01-c901-ab83-4fd277e58872
p:P1556 wd:statement/Q687404-71D16CBA-77E0-49FB-8CDF-E3C9CE80A4CD
p:P1559 wd:statement/Q687404-3F233D1C-D6BD-4606-B7E1-58A38B5041B6
p:P166 wd:statement/Q687404-34bdd9e5-4a01-5a00-5376-64721976e269
p:P184 wd:statement/Q687404-E6C04F9E-6223-4E8B-9ACC-82C7B6B77AEF
p:P185 wd:statement/Q687404-3041FEAC-E4D7-43ED-9D28-095BF4834845
wd:statement/Q687404-6F9D7911-08F5-46B6-A28C-A8D916DAFFB9
wd:statement/Q687404-B9F7C849-A486-40FB-8E54-33EA101A0889
wd:statement/Q687404-DC523BD5-EDEB-4EF6-957A-FC971845A395
wd:statement/Q687404-E69C4907-34AA-4B83-BAC8-69E6BDBC557D
p:P19 wd:statement/Q687404-A9F3ED4C-BB6B-4D42-8A98-A119C5398344
p:P1960 wd:statement/Q687404-730F8FE8-3D83-4AF2-BF21-7607B2D22BA7
p:P21 wd:statement/q687404-A449CBFE-CBCF-42BF-85F1-B4A596081FB8
p:P213 wd:statement/Q687404-511DBDF9-32F2-47DA-8065-ECC52569594B
p:P214 wd:statement/Q687404-B042F08A-43E3-4F5D-9252-95A4AF6D8B63
p:P227 wd:statement/q687404-FFB23AB8-5341-4861-9110-72A6B863BBE7
p:P244 wd:statement/Q687404-B3A70FAE-2AAE-4B69-9AB3-BB6C9792BD61
p:P2456 wd:statement/Q687404-127477af-44c5-aaeb-45ae-dd0d8559b5b7
p:P2671 wd:statement/Q687404-C8BA72BB-AC83-4065-BA40-F509E322869F
p:P268 wd:statement/q687404-1dfb7dc6-4609-17c7-416a-ceb39dca3863
p:P269 wd:statement/Q687404-E56D58E1-C430-4527-81C3-F95E70205E4D
p:P27 wd:statement/Q687404-7C486A2C-B780-4DEC-9397-DD54B159386C
p:P271 wd:statement/q687404-1457881a-47d3-74a9-5b00-f882536e2251
p:P3065 wd:statement/q687404-17e2cc86-4ea1-2a47-99bf-e48627122eeb
p:P31 wd:statement/Q687404-D96827A6-6C70-406F-A5FF-3754A5DA67F0
p:P3829 wd:statement/Q687404-4919e33d-29b3-48fa-a9a7-9eafccc17107
p:P4955 wd:statement/Q687404-73F5C567-79F1-4EE7-B533-B8C1704804FA
p:P496 wd:statement/Q687404-410843bd-43b0-8ea9-a734-6b7fe6b89546
p:P512 wd:statement/Q687404-C448BECE-1AFC-44CB-A9E5-021263446855
p:P549 wd:statement/Q687404-7DE2E72E-0E5E-42AE-8CD9-88DBA7482E4C
p:P569 wd:statement/Q687404-2F1BE385-DCB2-455B-86B7-0CA96D0D81F2
p:P6104 wd:statement/Q687404-B5849EBE-6081-4A44-9425-B4C6E3368D9C
p:P6178 wd:statement/Q687404-F49F87F1-B1EE-449B-8867-3AF58C5918AE
p:P6231 wd:statement/Q687404-9985682E-375B-4B19-9EA9-BA97B14541DC
p:P691 wd:statement/Q687404-DCCCE039-1F2B-4911-99C5-56EEC0FFD575
p:P734 wd:statement/Q687404-379C820B-8595-4D3D-BB40-2F26A6674E46
p:P735 wd:statement/Q687404-0D6883ED-BEB0-4D6C-BA85-16FF61B51088
p:P802 wd:statement/Q687404-115489CD-78C2-4125-8C10-0DE5D18C2091
wd:statement/Q687404-55EF14BC-DFAC-47C0-A3AE-206833D2843C
wd:statement/Q687404-6E715B32-979A-4067-B7DC-FEF8576300AA
wd:statement/Q687404-CAFFCF51-B0C2-46FF-9EAC-951FCCA799F8
wd:statement/Q687404-E34076AB-6E14-4B71-B0F7-C498DB1C07E6
p:P8179 wd:statement/q687404-b8499b9b-4912-7f3c-23fa-a37dc99724cd
p:P8189 wd:statement/Q687404-9E241ED1-8D8D-4AC1-9F45-41E3B711AF09
p:P856 wd:statement/Q687404-AC157481-E464-4D4F-904A-3CAE220B9B5A
p:P9251 wd:statement/Q687404-216B55EE-4BDF-4F50-85F2-D7A77A3276AD
p:direct-normalized/P1006 <http://data.bibliotheken.nl/id/thes/p321264371>
p:direct-normalized/P1015 <https://livedata.bibsys.no/authority/6079204>
p:direct-normalized/P11496 <https://cir.nii.ac.jp/crid/1140845216640465792.rdf>
p:direct-normalized/P214 <http://viaf.org/viaf/45040007>
p:direct-normalized/P227 <https://d-nb.info/gnd/115751823>
p:direct-normalized/P244 <http://id.loc.gov/authorities/names/no2006075968>
p:direct-normalized/P2456 <https://dblp.org/pid/b/ArminBiere>
p:direct-normalized/P2671 <http://g.co/kg/g/11r_r66q5>
p:direct-normalized/P268 <http://data.bnf.fr/ark:/12148/cb17194124d#about>
p:direct-normalized/P269 <http://www.idref.fr/14892462X/id>
p:direct-normalized/P271 <https://ci.nii.ac.jp/author/DA16421019#entity>
p:direct-normalized/P496 <https://orcid.org/0000-0001-7170-9242>
wdt:P1006 "321264371"
wdt:P101 wd:Q11660
wdt:P1015 "6079204"
wdt:P1053 "C-4438-2013"
wdt:P106 wd:Q82594
wd:Q1622272
wdt:P108 wd:Q153987
wd:Q190080
wd:Q682739
wd:Q11942
wdt:P10832 "E39PBJrGvBYBjvXGr7Gw6W3qQq"
wdt:P10861 "07362034107.54"
wdt:P11496 "1140845216640465792"
wdt:P1153 "8556731200"
wdt:P1207 "n2013172636"
wdt:P13049 "115751823"
wdt:P13591 "person/67c8c005-5a40-4263-9e2f-c99e0c7e50c0"
wdt:P1412 wd:Q1860
wd:Q188
wdt:P1556 "biere.armin"
wdt:P1559 "Armin Biere"@de
wdt:P166 wd:Q449390
wdt:P184 wd:Q102078676
wdt:P185 wd:Q102105416
wd:Q102338648
wd:Q102338895
wd:Q102360456
wd:Q102417617
wdt:P19 wd:Q47501154
wdt:P1960 "V6ES1nIAAAAJ"
wdt:P21 wd:Q6581097
wdt:P213 "0000000078579332"
wdt:P214 "45040007"
wdt:P227 "115751823"
wdt:P244 "no2006075968"
wdt:P2456 "b/ArminBiere"
wdt:P2671 "/g/11r_r66q5"
wdt:P268 "17194124d"
wdt:P269 "14892462X"
wdt:P27 wd:Q183
wdt:P271 "DA16421019"
wdt:P3065 "A025064863"
wdt:P31 wd:Q5
wdt:P3829 "2664958"
wdt:P4955 "656293"
wdt:P496 "0000-0001-7170-9242"
wdt:P512 wd:Q849697
wdt:P549 "111891"
wdt:P569 "1967-04-22T00:00:00+00:00"^^xsd:dateTime
wdt:P6104 wd:Q8487137
wdt:P6178 "07362034107.54"
wdt:P6231 "80845"
wdt:P691 "xx0053639"
wdt:P734 wd:Q37034235
wdt:P735 wd:Q15715796
wdt:P802 wd:Q102455773
wd:Q102662887
wd:Q102662911
wd:Q102417627
wd:Q102417624
wdt:P8179 "ncf11425566"
wdt:P8189 "987007444253305171"
wdt:P856 <http://fmv.jku.at/biere>
wdt:P9251 "41673"

Inverse relations

[ .. ] → wdt:P1066 → Armin Biere

Aina Niemetz Andreas Fröhlich Florian Lonsing Mathias Preiner Robert Brummayer

[ .. ] → p:statement/P184 → Armin Biere

<http://www.wikidata.org/entity/statement/Q102105416-8bf4ff27-bade-4f86-86a0-d9fb920843ca>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q102338648-BE6BFB2C-68A1-453C-A048-E7B15A7E0982>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q102338895-5dbfe81e-b786-4b0b-bc76-dbe8307ca1ec>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q102417617-F8A749BD-7869-4D6D-93AB-38FE1D01BDD6>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q102360456-c4402b2f-8f37-4c7b-8739-a07a1c849e88>wikibase:BestRank

[ .. ] → wdt:P184 → Armin Biere

Cyrille Artho Daniela Kaufmann Malek Ismail Haroud Michael Brickenstein Viktor Schuppan

[ .. ] → owl:sameAs → Armin Biere

<http://www.wikidata.org/entity/Q102105417>

[ .. ] → p:statement/P1066 → Armin Biere

<http://www.wikidata.org/entity/statement/Q102662887-80f5a473-c4e3-4ce8-8343-17785cf33f59>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q102417624-5d57a106-956e-4390-be38-f2b0f867a59b>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q102662911-e042671f-dff0-4bfe-8f5c-a3ad76f9c481>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q102455773-e13e9ae7-7b47-417c-9596-59cb91b97e0c>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q102417627-f868f179-bb68-4382-9a4e-3a02878fe776>wikibase:BestRank

[ .. ] → p:statement/P50 → Armin Biere

<http://www.wikidata.org/entity/statement/Q136792002-8D63FAAA-7E61-40DD-B4C3-E82CB40D20DC>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q136792000-91B88C0D-9CE0-4394-BFF0-6C4D9C05E342>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q136791998-F1AF20F8-41EA-4E1A-8244-48A17CB3D8EC>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q136791999-3DAC96CD-07CA-41F4-87D2-D50CE8645D76>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q136791996-DD4A6C95-8270-48BC-A5AA-92544CC77429>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q136791997-CEFCDC82-44A3-4CD1-8D5D-759DF5E05EC7>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q136792001-7E988EAC-CBDD-49A5-A0F4-49C9A0A52094>wikibase:BestRank

[ .. ] → wdt:P50 → Armin Biere

AMulet 2.0 for Verifying Multiplier Circuits CaDiCaL 2.0 Clausal Proofs for Pseudo-Boolean Reasoning Duplex Encoding of Staircase At-Most-One Constraints for the Antibandwidth Problem Efficient All-UIP Learned Clause Minimization Introducing Certificates to the Hardware Model Checking Competition Non-clausal Redundancy Properties

[ .. ] → p:statement/P185 → Armin Biere

<http://www.wikidata.org/entity/statement/Q102078676-5872456f-2565-4863-a67a-5a86a8a33970>wikibase:BestRank

[ .. ] → wdt:P98 → Armin Biere

ဂျာနေဝ် သုတေသန ဉာဏ် ပ္တောံ

[ .. ] → wdt:P185 → Armin Biere

Peter Deussen

[ .. ] → schema:about → Armin Biere

Armin Biereschema:Article

[ .. ] → p:statement/P98 → Armin Biere

<http://www.wikidata.org/entity/statement/Q6294801-975ABDA1-BC6E-4DFA-9084-0F0412F817A4>wikibase:BestRank
Download as:
RDF/XML JSON-LD Turtle
data from SPARQL endpoint: https://query.wikidata.org/sparql