{"entities":{"Q3569272":{"pageid":5599176,"ns":120,"title":"Item:Q3569272","lastrevid":51016340,"modified":"2026-01-16T05:36:48Z","type":"item","id":"Q3569272","labels":{"en":{"language":"en","value":"The complexity of model checking for Boolean formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5723427"}},"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":"Q3569272$9CAC449E-CA6E-4528-916F-9E9EAC5609E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6bb51f335822d406e006aca56297b68f7073ced","datavalue":{"value":{"text":"THE COMPLEXITY OF MODEL CHECKING FOR BOOLEAN FORMULAS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3569272$1C173B04-4A97-4B74-8044-3F6D116CD6DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21b904705fd346974cc4a169c74cf4848fc6380d","datavalue":{"value":"1192.68436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569272$B8EA2509-40F3-44FD-9C37-CE4015632C9C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d5e134fa32daf8ab312a2176d37a828ef1da4de1","datavalue":{"value":"10.1142/S0129054110007258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569272$A1B74A20-C2D1-4666-B4CB-F6630B6D3527","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbb5495cc401b544959cef7c53d33603f5c56b01","datavalue":{"value":{"entity-type":"item","numeric-id":319802,"id":"Q319802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3569272$F7E45695-CF8B-4C71-B2C5-3907CC39669F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3569272$4C678CAD-4924-41CC-BF8B-BD14E673426B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fe625bab871652dfcf92a153d45913ff9e7858d","datavalue":{"value":{"time":"+2010-06-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3569272$40FE5EE2-A167-4829-9E5D-C295A27F6AC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569272$1DB3C151-176E-4240-9206-D2922B07187C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7425847671f7816b501f4867a7c8ba881a844a89","datavalue":{"value":"5723427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569272$455D5953-3062-4094-AEAF-D4882C25286A","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":"Q3569272$C7D8943E-F732-4B13-BD66-FC5A82E0A7A7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"02bf53cccd5de81044eee30e0b50dd90f86ca40f","datavalue":{"value":{"entity-type":"item","numeric-id":1894452,"id":"Q1894452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3569272$53FCB823-B5C3-4FEA-A807-19DE946747EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7c1b7ce3b71227d503a5a6daff2a646bfafd49","datavalue":{"value":{"entity-type":"item","numeric-id":2464338,"id":"Q2464338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3569272$FCA42EE4-B48E-49B9-971D-65891B00C70F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a2654c1ad3008ab65ddf962a999d4d8045dcdea","datavalue":{"value":{"entity-type":"item","numeric-id":4085242,"id":"Q4085242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3569272$D9764B29-BA7A-4241-91EF-12A792EEBB9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b734e6760bbdd08ae5a1fc852d30b434587c57bb","datavalue":{"value":{"entity-type":"item","numeric-id":3864500,"id":"Q3864500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3569272$24198405-B7AD-459A-B92A-DED531525428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a9b9d917e6c59dc59e3249ede44da092015416c","datavalue":{"value":{"entity-type":"item","numeric-id":1389651,"id":"Q1389651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3569272$B1CFEBCF-B1B5-4985-B40D-A109BC59AD18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"624abf0da839d476906101af8b6d74820b65cb0e","datavalue":{"value":{"entity-type":"item","numeric-id":4393484,"id":"Q4393484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3569272$591797C1-0B07-4446-9353-432FE13BAB5A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ab7f8552e21f052ff6f192f2dac9acfc95b1f03","datavalue":{"value":{"entity-type":"item","numeric-id":1205713,"id":"Q1205713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a97325fc4078232400cfb15df653561743a77e2","datavalue":{"value":{"amount":"+0.7939056158065796","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":"Q3569272$0DA837D1-58C1-4ADF-A484-5B13856FA24D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d8d7eaec06e6bf804b952f47ec9d5b5e8049f19","datavalue":{"value":{"entity-type":"item","numeric-id":2642467,"id":"Q2642467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c990273e23f5f26219fdee801704c76446b860a4","datavalue":{"value":{"amount":"+0.791959285736084","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":"Q3569272$E05F9FBB-4842-41D7-AF7F-23A68BB353E6","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":"199cb6e567b5d391d48dace38103e8b2c70dfbb3","datavalue":{"value":{"amount":"+0.7849046587944031","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":"Q3569272$63C97FA7-16B0-461A-9771-F2FE0B9D5201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2611d4b6015e00a68ae8aa1f67b99c07a91973c2","datavalue":{"value":{"entity-type":"item","numeric-id":3742714,"id":"Q3742714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cd85cb059bca5a84a2c8f4dfd46ea7ed3982db4","datavalue":{"value":{"amount":"+0.7816893458366394","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":"Q3569272$92D8532B-300A-40F1-BDF7-700AC0E1E7D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a6bbb5e1a3a2447aa22aa16e34f75135c5de521","datavalue":{"value":{"entity-type":"item","numeric-id":3474280,"id":"Q3474280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39c40d7486dfa19e37de591238b105f946a4a0c3","datavalue":{"value":{"amount":"+0.7737411856651306","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":"Q3569272$A5F642AD-3BB6-49A1-B755-C95E7556B368","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3569272","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3569272"}}}}}