{"entities":{"Q2986797":{"pageid":2997521,"ns":120,"title":"Item:Q2986797","lastrevid":52804538,"modified":"2026-01-23T13:18:16Z","type":"item","id":"Q2986797","labels":{"en":{"language":"en","value":"Decomposing quantified conjunctive (or disjunctive) formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718080"}},"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":"Q2986797$45969A9B-E6DE-4BEB-BD86-A51241C8D361","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"928973448cbd344557917e1135446c7598118e45","datavalue":{"value":{"text":"Decomposing Quantified Conjunctive (or Disjunctive) Formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2986797$422DD29A-D3D0-49AA-9AD0-439718B7FD02","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3710a5623ccd90314c5d3ee690e881dde74cf565","datavalue":{"value":"1361.68138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986797$17B974A3-7BF9-427A-BF23-4B86CADB9089","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42af07b3f95008a1d96408c57d5b78781e879553","datavalue":{"value":"10.1109/LICS.2012.31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986797$6392E241-9C94-4487-9700-C336789267C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de68fabe0331b50e2c0babeac4b29f27d03cc1ad","datavalue":{"value":{"entity-type":"item","numeric-id":361801,"id":"Q361801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986797$D0305849-9AA1-4E60-8C8E-FDCC3C6A385B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"718fad4f39e94f2b62c8ef1dd9aa954379d270c0","datavalue":{"value":{"entity-type":"item","numeric-id":259043,"id":"Q259043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986797$BE208E7C-C627-48E4-B1D2-92DF88AA902C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"582a6c5adc14cfa6944ab3a3a801ae6337273c99","datavalue":{"value":{"entity-type":"item","numeric-id":2986776,"id":"Q2986776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986797$81E48BDF-70BA-4623-B761-5C998F47F8C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa85c3fca52a36a5bd491b86ad0a10dbad35089","datavalue":{"value":{"time":"+2017-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2986797$E045A6AD-53F8-4F15-BD91-765FD41DDE6D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986797$992D5E9F-8491-435E-81E8-22BB5D4D1B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986797$9A0B76D6-F5A8-49D0-9048-16D4737F9100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986797$48BDB573-08FD-4B28-B987-425DD6388B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986797$2A2BBF5E-6F8F-42D0-ADBD-7A074F87FD7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5a50e5a936dc27229650bb268ed3bc0c3416f8d","datavalue":{"value":"6718080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986797$3D0A38CF-89F3-43BF-BA4E-6237B36F2C3C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986797$001B496B-042E-4CC8-AD3F-05DA0E6753D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986797$F19864E1-519E-4F38-BBAE-EA899DB95D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d57d68ed777850433efcc3de197edd817953ef26","datavalue":{"value":"treewidth","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986797$58DEBA75-4DF4-463A-9A84-9DED08994D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986797$3C0539EB-C449-4DEF-96D3-B304523003F9","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":"Q2986797$C29BB487-95C7-4922-AE6C-7151A17E9EA0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3bba0b5292dcbd7bad22a32be978baf262d58bf4","datavalue":{"value":"https://doi.org/10.1109/lics.2012.31","type":"string"},"datatype":"url"},"type":"statement","id":"Q2986797$37490124-DD18-4C6E-8D28-590AB79DC770","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"98c5921e196d1d7faca9cfae39f05cfbe91733bb","datavalue":{"value":"W1998342956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986797$9658C6B3-9D65-4405-9103-2EE274476E5F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1d4db3095aa2bfff0ba821f07ef9fa7f8e3aa27","datavalue":{"value":{"entity-type":"item","numeric-id":5506695,"id":"Q5506695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd7dd9f8ace5f723399a60fa321498bc3ce64da5","datavalue":{"value":{"amount":"+0.9996206164360046","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":"Q2986797$0A52D6FD-AB11-4D0F-ACAD-9D00F364B572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48a5096ac076cc3618a967193266d9e9a45c01fc","datavalue":{"value":{"entity-type":"item","numeric-id":3176188,"id":"Q3176188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"216eaf15d9380cf14e5c651c2a6728d14abf781b","datavalue":{"value":{"amount":"+0.8024735450744629","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":"Q2986797$C48850EB-265F-4CD3-AFC6-652517775D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0ab9e31e6787334dc75e8f243d4ce38bcd7c275","datavalue":{"value":{"entity-type":"item","numeric-id":3644741,"id":"Q3644741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce6d69866e0626b8ccd109aeaaf25ed32a33fb75","datavalue":{"value":{"amount":"+0.7568368315696716","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":"Q2986797$086A2BB8-2494-4DE7-B6EF-7C33C10F5C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"233ae91a1bea4fe2ae995279fa7282b7cddc0c15","datavalue":{"value":{"entity-type":"item","numeric-id":2881100,"id":"Q2881100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"499c644b5547101c012e51d60f2f24c3ca08de56","datavalue":{"value":{"amount":"+0.7531759738922119","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":"Q2986797$D058CDB9-607D-446E-9A24-202AB218BC38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af9b7f969df8d1506d8a38e9f0ae7eb93c09e481","datavalue":{"value":{"entity-type":"item","numeric-id":705069,"id":"Q705069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27a115293e372cc2ba4c1045e7715a34598774c2","datavalue":{"value":{"amount":"+0.7530970573425293","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":"Q2986797$5AB4CF6D-CCEC-44C1-9A57-E8EECD8C07CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2986797","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2986797"}}}}}