{"entities":{"Q3564849":{"pageid":5594753,"ns":120,"title":"Item:Q3564849","lastrevid":80731220,"modified":"2026-05-06T16:52:23Z","type":"item","id":"Q3564849","labels":{"en":{"language":"en","value":"Complexity of the satisfiability problem for a class of propositional schemata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5712455"}},"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":"Q3564849$B4010C2B-6067-482E-9634-97F4B35C5F28","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"64800a30d3074bbb8863fc0d749ad59b4f3661ce","datavalue":{"value":{"text":"Complexity of the Satisfiability Problem for a Class of Propositional Schemata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3564849$2B839D6B-3222-4E1B-9773-3DD9ECB767DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51e05f9f6ceb60eed5095a59478a4ed5469e8a02","datavalue":{"value":"1284.68287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564849$1E42D1F6-CC2F-4691-817E-04A7DADFA919","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b55345f2358524ab939677651bfd60ecf496ec3e","datavalue":{"value":"10.1007/978-3-642-13089-2_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564849$1E03EADC-FEE1-4D7D-AA06-EE8677E259F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87b58753525834b22585058db2818f43049ca5ee","datavalue":{"value":{"entity-type":"item","numeric-id":475382,"id":"Q475382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564849$05F06BAA-8C11-465D-9D99-E247562FB0B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef8d9904a40baa08e6f0a10240e7a4f7764dfa82","datavalue":{"value":{"entity-type":"item","numeric-id":167062,"id":"Q167062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564849$863F3C28-6477-4657-82CD-E0B72CDDE8BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb66b347a8501d3e88bb4fc6db185a6021261a5","datavalue":{"value":{"entity-type":"item","numeric-id":167063,"id":"Q167063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564849$D51C841E-4EC7-4D12-9F61-3A06EA7322A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0685e722024dfab8b1c6ee631b614ae84196cb3a","datavalue":{"value":{"entity-type":"item","numeric-id":2798705,"id":"Q2798705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564849$4155E4FB-F4B7-43D3-B2C5-362D440D0C80","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42e10e35ad52bbf92f1ddeac6dedccab922b34f1","datavalue":{"value":{"time":"+2010-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3564849$6AB8B5BC-B381-440B-8D0A-3613C950B581","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564849$5957CEC1-09EC-4492-B579-CFFBD5E146F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564849$C5136A2B-8B73-4C39-ADF7-1BDA9AEEAA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564849$9413F02F-F609-422C-A3A2-399392867616","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7bbea02e6bdb5b70caa43fa0b8e8067e2e36efce","datavalue":{"value":"5712455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564849$38544083-DC9F-4025-85BC-1860029DAC81","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":"Q3564849$885B02AA-18B8-440C-8DBE-C223D6B321FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50e29fb97a439222600ae296892f4d8c2442a3f6","datavalue":{"value":"https://doi.org/10.1007/978-3-642-13089-2_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3564849$AACE317B-2F19-412F-95B1-A2942E0BFD8E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"602d8269a6427d7465c85ee0bd4b00c8a07ddd8b","datavalue":{"value":"W2144978807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564849$4DD8808A-9D7D-41F4-9159-AD64DED719CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bddfc75f5fc7e06f7d03193a2884493995fea06f","datavalue":{"value":{"entity-type":"item","numeric-id":5498869,"id":"Q5498869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4420cdb81854993fda5b8a25ec8de5074484caf3","datavalue":{"value":{"amount":"+0.8780299425125122","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":"Q3564849$32A32FB4-F981-4E8F-8231-204978557978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1c6a7e04cb372ed23e9c84a4356966153fb1d53","datavalue":{"value":{"entity-type":"item","numeric-id":2996912,"id":"Q2996912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a4f209d551dfe8419634db82147f11a18e7f0cc","datavalue":{"value":{"amount":"+0.8732558488845825","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":"Q3564849$92F244CB-B5AB-493A-9676-FDCA79AE1B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5189c1123acddeb4d0da53271b5bc5c74279d56b","datavalue":{"value":{"entity-type":"item","numeric-id":5747768,"id":"Q5747768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a847470d969cf23da9daae5b11ce694e2b35e235","datavalue":{"value":{"amount":"+0.8617040514945984","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":"Q3564849$36081BA5-5892-40D0-9B71-81EA0102A0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e50b8d77b0618ee94c2e94364df7fcb2c178d8d6","datavalue":{"value":{"entity-type":"item","numeric-id":5747769,"id":"Q5747769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a98bf160646a46cadd60f47a8b5b93ccf1bff44f","datavalue":{"value":{"amount":"+0.8607521057128906","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":"Q3564849$E0134C22-3B2D-4B04-B17E-BF5AF279999F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39be22579210ecce9ecb2a66244468fd32f76c98","datavalue":{"value":{"entity-type":"item","numeric-id":2843818,"id":"Q2843818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66e314c7c53d1cf2a68c01e0ec70e96b884677ed","datavalue":{"value":{"amount":"+0.8592725396156311","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":"Q3564849$80FE3B29-3D98-4836-BCB2-D9EC2EC3E10F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complexity of the satisfiability problem for a class of propositional schemata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complexity_of_the_satisfiability_problem_for_a_class_of_propositional_schemata"}}}}}