{"entities":{"Q3007671":{"pageid":3018395,"ns":120,"title":"Item:Q3007671","lastrevid":80157320,"modified":"2026-05-06T15:34:02Z","type":"item","id":"Q3007671","labels":{"en":{"language":"en","value":"Satisfiability certificates verifiable in subexponential time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5908734"}},"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":"Q3007671$097B5EB8-6F93-4500-90B7-83AC16DEEE81","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"edff6aaf7be0e23ad381a122f5c7bb8d93c06510","datavalue":{"value":{"text":"Satisfiability Certificates Verifiable in Subexponential Time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3007671$3A059ED3-137A-4784-A392-89381F021DCB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5440107bc1d99a094039b395c720e54a28b5d726","datavalue":{"value":"1331.68101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007671$D678C6EC-7AFC-4172-91A4-E76D495CD067","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"db2235471c1c818e6a6de7a869dbcb17ad5e0a6c","datavalue":{"value":"10.1007/978-3-642-21581-0_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007671$9584F8BF-9F2E-4DFA-B640-9DD21EB848B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed1c49a03637267c4c409651b9049b6f014ea6ca","datavalue":{"value":{"entity-type":"item","numeric-id":234708,"id":"Q234708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007671$B8A1E25A-778F-4E69-995E-284061FAA97C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"082fc9f964d52bb224385bf2fb43b8343199b054","datavalue":{"value":{"entity-type":"item","numeric-id":234710,"id":"Q234710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007671$34D4A3EF-38FF-4C82-A7B7-1AB02D74E518","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6452220a6eadf7eee4b5550999a260b280ba469e","datavalue":{"value":{"entity-type":"item","numeric-id":3007670,"id":"Q3007670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007671$D170EAAD-6A3C-47E2-953D-41FA7BA4787E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7c5acb12eb16cd36e6bd9603815f2e919f7d5ec","datavalue":{"value":{"time":"+2011-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3007671$3FF09EC0-8A0F-4CAC-BD04-37877BAB761D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007671$88E718D9-923C-4117-9987-C63A6262AA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007671$F2B44951-2E15-4A68-87C5-F007660DB192","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"007ebc1a42cb35b77ff91d0c53c66c5c462667f4","datavalue":{"value":"5908734","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007671$22631659-00BC-400F-8A02-4C2D7FD99D48","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":"Q3007671$F36C7763-3E6C-4BEF-945F-546598CFC159","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4021f88786b775263cad89836f9a7b284d42f293","datavalue":{"value":"https://doi.org/10.1007/978-3-642-21581-0_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3007671$5C0FC3F2-9A50-46FF-B9D6-F2254B18FDD7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"07df701c514747430c92c6f479728217a967af5c","datavalue":{"value":"W1480076195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007671$972F1375-0E45-4B90-9591-05A232DD2331","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"be6989157e41c18f8557462896243611dc2b1c55","datavalue":{"value":{"entity-type":"item","numeric-id":1853552,"id":"Q1853552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007671$E2257D77-6060-4AB0-881A-9BAF03A35501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"112fa1e16c28072d1b690d88a68f10e9a878f19f","datavalue":{"value":{"entity-type":"item","numeric-id":5943094,"id":"Q5943094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007671$D6E55D21-1E2F-4CED-8292-3371928F4F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee4548ea5d583917c0fa9b6aaa6b1d48c80c1e7e","datavalue":{"value":{"entity-type":"item","numeric-id":1604206,"id":"Q1604206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007671$B1715B56-57A2-41D3-B810-4ACC59ABB134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b8d3b8fede590ea6e43c26257509cd316fa424d","datavalue":{"value":{"entity-type":"item","numeric-id":5419094,"id":"Q5419094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007671$B7FB012E-6A35-4744-A86B-3F013428F3C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b198808a09a13acac016ca35d2d5c474650a69ba","datavalue":{"value":{"entity-type":"item","numeric-id":2875150,"id":"Q2875150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007671$8382E7FB-47E5-46D9-927C-3E734278C905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab505d079acae70f31b63226f0d6d40ff5b0dd0","datavalue":{"value":{"entity-type":"item","numeric-id":3546306,"id":"Q3546306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007671$9C157F0D-AAE9-4926-80EF-3CE392695D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bebba68dc7dfbaf1caac8cb5c43ad35be909acd","datavalue":{"value":{"entity-type":"item","numeric-id":4484662,"id":"Q4484662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007671$07282435-3E71-4AB8-BB26-C464F61F698E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca2e18e22bdceb10ced114e23ee143c1222e350","datavalue":{"value":{"entity-type":"item","numeric-id":4651809,"id":"Q4651809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007671$94CA5AF8-8352-4FB1-BD99-ADAEA41C471A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"417a74fabe64c2e6ef842d1903746d473548071e","datavalue":{"value":{"entity-type":"item","numeric-id":2875149,"id":"Q2875149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007671$87EC7DF2-7817-4B41-829C-5C658F4B003E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"755bb9e2da3e04a3fdd2a172851bfa20892491a7","datavalue":{"value":{"entity-type":"item","numeric-id":5943094,"id":"Q5943094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b46f1d8bf5b3c995108d3a18d936f686227bcf8","datavalue":{"value":{"amount":"+0.7793107628822327","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":"Q3007671$06BFE3D1-16C9-415D-8FF1-5D84C93D4AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2eb7e2adea6f3a810f7c55e3222bb84665ae97d1","datavalue":{"value":{"entity-type":"item","numeric-id":3001095,"id":"Q3001095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d629747a758c498d1ae423fa899685c33432509","datavalue":{"value":{"amount":"+0.774537980556488","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":"Q3007671$1C0980F6-4A85-4A95-9F63-CCD046C8540D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aa0f4ee0071d95906118d3a9ac09254bb1a6da7","datavalue":{"value":{"entity-type":"item","numeric-id":2942439,"id":"Q2942439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"057215120083b35f69ebd6c2557fc920f54ff0d3","datavalue":{"value":{"amount":"+0.7677705883979797","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":"Q3007671$A9DEF284-8B0E-4698-8FCA-CF61C2F8C622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d6a9840034335c4de344169f12e12a5c7c6d978","datavalue":{"value":{"entity-type":"item","numeric-id":5741801,"id":"Q5741801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"330e743962de7d5bcf6c8ad9b2be361a7657b160","datavalue":{"value":{"amount":"+0.7553555965423584","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":"Q3007671$C94BC54D-23DE-47AA-B009-F438C8B13FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24cb07bc4ce60b5d17450e70cd67cefe1ffb45a5","datavalue":{"value":{"entity-type":"item","numeric-id":5111231,"id":"Q5111231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb56ac607b4fb2a27f5afd188b6db353bc7d34d4","datavalue":{"value":{"amount":"+0.7527156472206116","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":"Q3007671$ED61A3FC-5DD7-4C4D-B95D-8CC0AFF0332F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Satisfiability certificates verifiable in subexponential time","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Satisfiability_certificates_verifiable_in_subexponential_time"}}}}}