{"entities":{"Q5920089":{"pageid":8052152,"ns":120,"title":"Item:Q5920089","lastrevid":52904549,"modified":"2026-01-23T18:56:41Z","type":"item","id":"Q5920089","labels":{"en":{"language":"en","value":"Efficient verified (UN)SAT certificate checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6778407"}},"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":"Q5920089$E9D294DD-6068-4D85-968F-3AECE4FD1FA1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b4fe9a88809872cc150e1e2ab07305f5c268ec6","datavalue":{"value":{"text":"Efficient verified (UN)SAT certificate checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5920089$EDAD16E4-32F0-4A34-82D1-8255873E57B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed993750ce0ad27f5700ddd24dc102683b198743","datavalue":{"value":"1468.68133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920089$8C71BA1F-58EB-4C8C-8530-BA44CB44D636","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79a5b5f134f53652ca692485e9c2f6522be3ff3c","datavalue":{"value":"10.1007/978-3-319-63046-5_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920089$0A818064-A5BF-4C30-B490-57356C055DDC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8e4be225a6094490d6530fbb2f56929f5bbbcf0","datavalue":{"value":{"entity-type":"item","numeric-id":682349,"id":"Q682349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920089$742184BE-2EBD-4FAA-8C9A-4309528F5BEB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d0973bcace13c61bdee631d298539bf46fd92cad","datavalue":{"value":{"entity-type":"item","numeric-id":5920088,"id":"Q5920088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920089$DEFD9B83-CEEC-4065-ADFD-C5E3769C87FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"75b8eddfcc302defc1a614ef0ded8c7b941f1ef4","datavalue":{"value":{"time":"+2017-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5920089$3C34FFC6-36EE-4D9D-ADD3-A8CAF9E1B99A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d9ebc606d54d027e187e68ad518988247973453f","datavalue":{"value":"https://www.research.manchester.ac.uk/portal/en/publications/efficient-verified-unsat-certificate-checking(751d0e95-6538-4012-a204-52d283d4abdc).html","type":"string"},"datatype":"url"},"type":"statement","id":"Q5920089$B921DAF7-5009-4EAE-82DA-A5B1CDFDAADE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920089$6317E7BD-07C1-46A5-9362-D48C7EAA67E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920089$05DA2B1D-2F04-4EA7-9089-117A4C1D6795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920089$34E4567E-9D42-41AA-A087-28208E0235DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d6ef4b3a85e449484f1f044c4aa6c7011c20df12","datavalue":{"value":"6778407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920089$B41D85B7-BB47-449E-9B1D-BB4C4793F8DF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920089$12FEE7D0-D01C-4688-B921-1ED43AC437D5","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":"Q5920089$349821A2-4914-47C5-BCDE-9882BAC997D3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8197ee69b9c7b19868a821ab7f2a67f6567a87c1","datavalue":{"value":"W2734612968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920089$7B747CAB-739A-4A51-B835-756E334340CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e53b32fbbe403880914d5edbf7f5343988e28a4","datavalue":{"value":{"entity-type":"item","numeric-id":5919480,"id":"Q5919480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"222f2ab37f2286672d57fcab003781694cf34695","datavalue":{"value":{"amount":"+0.9427680373191832","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":"Q5920089$C35C6382-5DD7-4A58-B974-8AB25A8EB13A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12a132e4daa2e15bd5dc269ad3507f16b279f28c","datavalue":{"value":{"entity-type":"item","numeric-id":1687744,"id":"Q1687744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5036855b9d6486f0fe37c6992a1e0000d471a6ee","datavalue":{"value":{"amount":"+0.8402649760246277","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":"Q5920089$42990A37-9350-49CE-9237-28C7C3FFDBA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b00f5c94cc43d8c2bb549b10ae10cb5879e32bf","datavalue":{"value":{"entity-type":"item","numeric-id":694550,"id":"Q694550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9b9635de3add0577c1601d3f4bbf8e94cfcb639","datavalue":{"value":{"amount":"+0.8142697215080261","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":"Q5920089$716F2086-0DBA-44BA-BD21-2BBF0D32AE8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9541118d0e80b14a3878d56a9fa40c6f059cb57","datavalue":{"value":{"entity-type":"item","numeric-id":2233509,"id":"Q2233509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5485d63fe3ae94da925b01de2a18781df59d28d","datavalue":{"value":{"amount":"+0.8137143850326538","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":"Q5920089$6C51AD7D-149F-4E77-87B9-261BA240F586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1feadd81669ba18d657c30e6307e036d9443ce6","datavalue":{"value":{"entity-type":"item","numeric-id":2375732,"id":"Q2375732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cc05d9f4527695d591b64da8768d5d759a4ae25","datavalue":{"value":{"amount":"+0.8063376545906067","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":"Q5920089$5A3A46F2-9296-4847-BFEB-BEB59D50630C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5920089","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5920089"}}}}}