{"entities":{"Q3608794":{"pageid":5638700,"ns":120,"title":"Item:Q3608794","lastrevid":50592155,"modified":"2026-01-14T12:18:29Z","type":"item","id":"Q3608794","labels":{"en":{"language":"en","value":"Encoding First Order Proofs in SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523795"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608794$E5C8B317-C4CB-462A-A804-EC877973EC55","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea42af87e7fb98ff67e3f08f63f16acd9ae0eede","datavalue":{"value":{"text":"Encoding First Order Proofs in SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3608794$4EA2259E-4B0F-4AD3-864A-CD9C6928D907","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b9e5dabe569c9884a2df78f8a1a401d9bdab58e0","datavalue":{"value":"1213.68569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608794$32E3993B-80C7-4D25-973A-F85ACA363935","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0f7acbc80a8c0839858dfb4f2921bafcbf31e8df","datavalue":{"value":"10.1007/978-3-540-73595-3_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608794$2E5C1702-A5FB-42FC-895C-CA696AD623C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"afbdf5acb2f574b3fcf667ed4df860bda72fdfe8","datavalue":{"value":{"entity-type":"item","numeric-id":3608790,"id":"Q3608790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608794$215031AC-8AC6-46B8-AF7F-73E4C6222458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bc1167e19c19cdb197d3d4073039e42f2f6cc96","datavalue":{"value":{"entity-type":"item","numeric-id":3608791,"id":"Q3608791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608794$3AF6FBFD-43FC-4A1E-93C2-D17AD7B5789B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7edf1b94034c95ca40a2d06cc3d3f4e8d1a9ae94","datavalue":{"value":{"entity-type":"item","numeric-id":3608792,"id":"Q3608792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608794$BF33B42A-6818-4E37-87CF-803467ADC8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19f22880441832c1cbe5bccc835bfadba3b4fd22","datavalue":{"value":{"entity-type":"item","numeric-id":437035,"id":"Q437035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608794$D9385266-7E1C-4D82-B7C8-FE0EE505294A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b74f2805d58a252b355491b4dc993b2648b5d8c","datavalue":{"value":{"entity-type":"item","numeric-id":437036,"id":"Q437036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608794$982F0004-E707-45BE-B391-60C0E6F9BA40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4681166776b18d1bc6b951bcdc9dbb7e8ab0dbf9","datavalue":{"value":{"entity-type":"item","numeric-id":3608793,"id":"Q3608793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608794$7FBF8491-0EA5-4972-A3EC-1D9205F0E489","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a99c28302e4dd8894739792255bebe5f186782f2","datavalue":{"value":{"entity-type":"item","numeric-id":3608758,"id":"Q3608758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608794$356F2418-315B-4A19-BF2D-033E8D7925E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19a1026dd4f6172034494e7235e1c6afaf15c529","datavalue":{"value":{"time":"+2009-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3608794$973A1A37-A241-413D-86A2-8AAA5F7A0C5B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608794$B256D7B5-2260-4401-81B2-1F2B76EF18D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd950d6f5d263841f900157447098f2d038578ff","datavalue":{"value":"5523795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608794$6D36D121-9715-44B4-BA1F-4F215A857DCC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608794$20D699D3-8404-4319-A1F2-F0FE4C8CE79A","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608794$EC775832-6D0E-47B9-A091-A922AC6D9465","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7fe9f2b67ae98d6d2dd4f98132bbd59455a1ce76","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73595-3_35","type":"string"},"datatype":"url"},"type":"statement","id":"Q3608794$1E3CE8CB-D83F-4876-BA8F-B6EFCB43E746","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"012140f8e50af3d9641788b6ca7250048b8bd896","datavalue":{"value":"W1526382310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608794$C8B320F5-FCED-4572-9DBE-749D723DEBD8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5505ce670a3ae66f4217dfd26f6a40c5c6b64605","datavalue":{"value":{"entity-type":"item","numeric-id":2864408,"id":"Q2864408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64b8ed338e069c8a76db229ec35bf1c7095aec3d","datavalue":{"value":{"amount":"+0.8843302726745605","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3608794$F05A95F2-69D4-4634-B4D8-0B53F9D2A03C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be885fdf3e2ebd71cc3ad816a0c8ca4903691ca0","datavalue":{"value":{"entity-type":"item","numeric-id":4804899,"id":"Q4804899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68c9de5ed1d7216b71c13d5686d82aeeb8c8a17d","datavalue":{"value":{"amount":"+0.736436128616333","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3608794$0B0C7BF9-6B00-46AA-AC71-950E018B4081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0880741c3c12b53e29e3e6a1d6dce99a7cfef870","datavalue":{"value":{"entity-type":"item","numeric-id":5200021,"id":"Q5200021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22e583985725f2458e4c151544c6648d3c6fb55f","datavalue":{"value":{"amount":"+0.7121431231498718","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3608794$E57BE71D-41A9-42DA-B27D-6E8FE661F920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d5968f2b23fcdc9731d7a84030bc488254fda57","datavalue":{"value":{"entity-type":"item","numeric-id":1799100,"id":"Q1799100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e12a025bb5ad7be0523355eb6695ce3e1716ad1","datavalue":{"value":{"amount":"+0.7121196389198303","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3608794$4CF327A5-B947-4963-8AE4-9D93B31E02E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb3819977d2e0ef3c395a79aee2d363a095a3226","datavalue":{"value":{"entity-type":"item","numeric-id":1104913,"id":"Q1104913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f382f98fed4d525f2ae16fc82cf8ae99c4d3e48","datavalue":{"value":{"amount":"+0.7073321342468262","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3608794$5023083F-2A70-4943-A501-55CAECBE2E0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3608794","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3608794"}}}}}