{"entities":{"Q6535574":{"pageid":14146717,"ns":120,"title":"Item:Q6535574","lastrevid":57576054,"modified":"2026-03-31T11:26:23Z","type":"item","id":"Q6535574","labels":{"en":{"language":"en","value":"Moving definition variables in quantified Boolean formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7793111"}},"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":"Q6535574$99FFA3AE-C7C5-4C3D-BE0A-BDF9BD33C39E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"323769b361f80365dc51b8a8cc4b1775d91f22a8","datavalue":{"value":{"text":"Moving definition variables in quantified Boolean formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535574$162CDCF5-BD07-4BBD-A8C5-01E2B8DDD5DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78c782e413899b85f58e17a899d25c20c06ce45c","datavalue":{"value":"1547.68713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535574$F3CEE917-44A6-4038-87FD-03C93D468908","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ebf17e56c7620bea27f2a6f44c11b636ab3bcc9","datavalue":{"value":"10.1007/978-3-030-99524-9_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535574$916A87E0-A684-48FB-AC6B-46EA10F8779F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c99de2327e2db3bbf1815a78361ba405d48bfd5b","datavalue":{"value":{"entity-type":"item","numeric-id":2104501,"id":"Q2104501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535574$F07BDA73-877E-409E-AE10-93B4C78A0FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4545114e473836bad71ebea0181e527108d9e5ea","datavalue":{"value":{"entity-type":"item","numeric-id":352966,"id":"Q352966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535574$4AEB27AA-DBD3-4C19-AA50-ADAA3E5C8786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2c27d3e0e0b5520ffb8ac40111c3ffad759a39f","datavalue":{"value":{"entity-type":"item","numeric-id":1426129,"id":"Q1426129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535574$299B53C0-3266-4856-BF35-89AC1560C72C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7341346045afe491aec3502c1a5c7ebe2712f57","datavalue":{"value":{"time":"+2024-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535574$C7537FD1-5C71-4BD2-9642-C96F6EE9AC9A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535574$E4FD50EC-F3DB-4B67-A615-53BF78D27A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535574$52B09491-C1E2-4E99-BA15-724A2913C2F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4bb2380a82c3a3a4e5724fa3809a6ef7c7622364","datavalue":{"value":"7793111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535574$2B6FFBA8-5147-4E7A-AB44-D5EE083C0208","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":"Q6535574$F990EA05-A2F8-409E-BEF4-F8308C9BE675","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"926ec579a6e1751bee4f751c2a20e927df8e0825","datavalue":{"value":{"entity-type":"item","numeric-id":5200018,"id":"Q5200018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535574$2452A9F1-7ECD-410B-BB40-66557A26A6BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ac67e7445b37b0c19a3f9b56c95ac7b86ccf433","datavalue":{"value":{"entity-type":"item","numeric-id":2055876,"id":"Q2055876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535574$205DDB34-8AC0-40E8-B95C-FCDDDD306B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ef5f661c4f0016c7fdb92e88e8b94907f8385b","datavalue":{"value":{"entity-type":"item","numeric-id":5713748,"id":"Q5713748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535574$1298628F-2B2F-45DF-AB0E-739EEAAD3F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfa160377609209cc0086df75c8fab81fffcf5cc","datavalue":{"value":{"entity-type":"item","numeric-id":6056639,"id":"Q6056639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535574$3DB0EA2E-3532-485F-83EE-547FE5AC26DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecf772690cf31a35a32c2f2f4f39692662f8aa11","datavalue":{"value":{"entity-type":"item","numeric-id":2303251,"id":"Q2303251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535574$84B2BDC9-7761-43D6-BC1D-65EB02D9DF69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"002ee549d8bb57e5e1846db9b011600108709cfd","datavalue":{"value":{"entity-type":"item","numeric-id":3192183,"id":"Q3192183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535574$971A026E-D023-460B-AB6C-D19D938C84B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2278598748f41c4d80d92c015f95eb36e154faf","datavalue":{"value":{"entity-type":"item","numeric-id":253964,"id":"Q253964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535574$6FFB4F18-5F5D-4CA1-BEC2-95C1E4BAF72F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72df03d77e1bc06662d09c4718408a862df26da2","datavalue":{"value":{"entity-type":"item","numeric-id":1891159,"id":"Q1891159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535574$4C569433-2F1D-4BBE-B55D-F66CB6358B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8e7aa6809d54e2ccf2352967b475ad93db72d0","datavalue":{"value":{"entity-type":"item","numeric-id":4930584,"id":"Q4930584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535574$0C7EED24-808B-4626-AF88-67E95EB2DACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008723b33cb14bbda59226503d753d137dc6f8ef","datavalue":{"value":{"entity-type":"item","numeric-id":1098330,"id":"Q1098330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535574$6F55EE5C-827C-4873-9642-A4B2EBC20FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb081c24d3f308759ffc5be25d93bb06a52b464f","datavalue":{"value":{"entity-type":"item","numeric-id":3192088,"id":"Q3192088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535574$9485448F-A88D-4FCB-A431-EA02B35BA3DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ab30d1bbbf226610c8e8fb5b2c8eec941e4c676","datavalue":{"value":{"entity-type":"item","numeric-id":3566747,"id":"Q3566747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f098a88269bb7d2a8f4e4cf7340585427ff5485","datavalue":{"value":{"amount":"+0.7510602474212646","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":"Q6535574$0DA1C798-80F7-45CF-8061-34D4DC72EDC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4732629a4972652d98f4bc9874c86637a0c91c78","datavalue":{"value":{"entity-type":"item","numeric-id":4899301,"id":"Q4899301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"399ac16c830559591c8267ccd5f68e4e918160c0","datavalue":{"value":{"amount":"+0.734743595123291","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":"Q6535574$10D7F1F8-DCE5-445F-9BCD-AD1B6E11B49E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef9e04a5281dad58360fba33cee7ce694420be2f","datavalue":{"value":{"entity-type":"item","numeric-id":1680261,"id":"Q1680261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05ec4ed61ea73c68df4bf61eb211437e969d861d","datavalue":{"value":{"amount":"+0.7317500114440918","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":"Q6535574$894A35CF-671D-4A46-A016-A263D45CF434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"735e4a7593e2aec0066ffe9438847f1c6adb8fa2","datavalue":{"value":{"entity-type":"item","numeric-id":5200018,"id":"Q5200018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bf9dd9642922b9ce56979f13b1aa6c73c18435d","datavalue":{"value":{"amount":"+0.7252331972122192","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":"Q6535574$077E63B4-7DD1-428D-9BDE-677B69B049C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"396e9f05d4ad3751d8cd083836d121e6398060a0","datavalue":{"value":{"entity-type":"item","numeric-id":4968372,"id":"Q4968372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eddcd697a23a39d1dbf1f909da0fd3b22ddc23bf","datavalue":{"value":{"amount":"+0.7226617336273193","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":"Q6535574$F6CF74DF-07E8-45BF-9829-0289F22BEB77","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535574$2515A63B-2182-4B9E-A468-FDEF78D31DF6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535574","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535574"}}}}}