{"entities":{"Q1680262":{"pageid":1691003,"ns":120,"title":"Item:Q1680262","lastrevid":68124837,"modified":"2026-04-12T21:36:00Z","type":"item","id":"Q1680262","labels":{"en":{"language":"en","value":"A resolution-style proof system for DQBF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6807234"}},"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":"Q1680262$04DE5798-1CAA-4E28-9609-FF43EB43462D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2919b58f67c66cd362e2b540387ca1d30d89d31c","datavalue":{"value":{"text":"A resolution-style proof system for DQBF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1680262$C9CCB6D7-779B-4C28-9C1A-9E07161495C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88645c0d8fba2dd06e4f07875ec5b4834c807ef7","datavalue":{"value":"1496.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680262$5E495608-08E0-447B-8649-C929316982EE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"acee5e1fbb5449157661976cd9a4f0e51bd97793","datavalue":{"value":"10.1007/978-3-319-66263-3_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680262$2D9C41A4-2CD1-41CB-9952-C07C8C984711","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2454ef4c60ffd42a384ce6155facd03e877811ba","datavalue":{"value":{"entity-type":"item","numeric-id":259049,"id":"Q259049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680262$12B4F2FF-FA97-4BA4-9AA1-B19D7AD01C98","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5de28599599215268e07ae07176d0509363e1642","datavalue":{"value":{"time":"+2017-11-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1680262$F6E27D85-DE48-4EE1-BE31-3EC87BF381AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680262$86C0D978-91DA-4645-BC3B-44ABFE16139E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680262$2DF08CE1-770B-4823-BE6E-E4ACB0D5C4F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87e1470f95bb3d454ff5e46a8de522c69b77e38e","datavalue":{"value":"6807234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680262$5AEB6885-4BF1-4BCD-9808-5C56FE63D334","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":"Q1680262$F33FA2DB-9412-4BBF-8F4F-D14AE4A77DD2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e3c7c41f6ccf42c614c9b2c0ce8bf8ff79de957","datavalue":{"value":"https://doi.org/10.1007/978-3-319-66263-3_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q1680262$4F5D6B71-B263-4820-A3D3-EF78111F9147","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"23d7d04766871617c03cb56efbaa2a1241599aa1","datavalue":{"value":"W2743440074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680262$4E4EE5ED-9CDD-418F-B23E-60B05E8837D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05970c67c0d5013061bd4b341e553a834a8c2cfc","datavalue":{"value":{"entity-type":"item","numeric-id":896919,"id":"Q896919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e37221c9173f92acd747cd70d644cc5bc1e43354","datavalue":{"value":{"amount":"+0.8324083089828491","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":"Q1680262$020F790F-956C-484A-922F-AB07AA8D60F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30ecc6b6949aea32936b478ec194782c98455988","datavalue":{"value":{"entity-type":"item","numeric-id":3192076,"id":"Q3192076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc7acdd7a26136813a1793371055a7574112628a","datavalue":{"value":{"amount":"+0.8233376145362854","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":"Q1680262$9A5DF8A5-5371-49F9-A103-6C6B5C10942B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"487fdb88b4b8dfa48031ce258c66063ac968c424","datavalue":{"value":{"entity-type":"item","numeric-id":2818036,"id":"Q2818036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcd83387dcda2e4c950e53e39fecd27b0a7fab3a","datavalue":{"value":{"amount":"+0.8039929866790771","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":"Q1680262$4EB40379-1EC9-45A5-A8E0-F19A25E15459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97b48ed177789756d6086d8bec72fa577b58d46b","datavalue":{"value":{"entity-type":"item","numeric-id":5889312,"id":"Q5889312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddeb234af7ca59d7404cd562057e8641d5068714","datavalue":{"value":{"amount":"+0.8026193380355835","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":"Q1680262$8466195A-5A09-4042-B549-766341E7D2C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac5c2ee4c3f509aa1a1ed0bb37051ec4ca9f5275","datavalue":{"value":{"entity-type":"item","numeric-id":2323446,"id":"Q2323446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01a9cd7d11b87359bb43f7de7e10a9a0d7c0b979","datavalue":{"value":{"amount":"+0.799004316329956","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":"Q1680262$C20D43AF-6F06-4302-87E5-F17765DF9AAC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A resolution-style proof system for DQBF","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_resolution-style_proof_system_for_DQBF"}}}}}