{"entities":{"Q293437":{"pageid":295204,"ns":120,"title":"Item:Q293437","lastrevid":60705714,"modified":"2026-04-10T18:37:50Z","type":"item","id":"Q293437","labels":{"en":{"language":"en","value":"Complexity versus stability for classes of propositional formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6590788"}},"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":"Q293437$26CFFD97-6D8C-44CA-B99F-5D8423582ED4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7fc75cb6b7403c2f757cda480a61e3566041b365","datavalue":{"value":{"text":"Complexity versus stability for classes of propositional formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q293437$A251E6D1-EB64-4396-8DEE-880E4AEBB02C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4fd86d64adcdf2fed76dac66937482af3e2a0e67","datavalue":{"value":"1339.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293437$594F0AF5-20BC-4546-82A3-D378C0218F5B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c244bf47c29dfe5f6fa43ceaa46da870b9bb4248","datavalue":{"value":"10.1016/S0020-0190(98)00163-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293437$61B9E39D-DB53-4996-AA06-ADB9833BCD85","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b2501ec31141075b0e4a606774080e8f4837bb7","datavalue":{"value":{"entity-type":"item","numeric-id":293436,"id":"Q293436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293437$071D1A11-E283-4CBE-A180-2193FBEDDC66","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293437$0E3A8E9C-38EF-46E3-AFB4-71EDE5FC599C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c38536433ca3187d3c315e3ccb89d3160798fa7b","datavalue":{"value":{"time":"+2016-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q293437$3C07C291-AFD6-46EF-9F9D-1CD0D447E6A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"269621d7f604463017adc9fd8a7be641c2cbc6ed","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S002001909800163X?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q293437$5C4711B8-93BE-4C0F-B546-837F88CBD93D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293437$1BCA864A-1EEB-4F11-B87C-D6D617E4515E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293437$F2115223-5637-449D-A095-94EAF7C68849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293437$F11AD06C-29BD-490B-9C94-86CE3B4A075E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293437$D70A0D43-5273-46B0-9685-873803F6111F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0e064ab9b88f0e61a72bd429e9afc6c3a761aef","datavalue":{"value":"6590788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293437$DE95AB93-1AA4-4164-8F5A-3F71860D07E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q293437$66170DA9-A709-4457-9B22-F68A65B4ABE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7cd7406878e515ba27317b33a84ff4ab5ef5a60","datavalue":{"value":"coNP-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q293437$72DA071A-AEBB-4475-AD07-D1F9D9989929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79fe77b808428bacf36e0ddc5aecbf63d94346b2","datavalue":{"value":"equivalence of formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q293437$57F508E0-52C6-4482-9785-C9E6A77A1B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ef3d1e723a50ff6e761b841dc7be35b8a1ffc8a","datavalue":{"value":"Horn formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q293437$0043A40A-A6AC-416C-BDAC-BE7FD5F097EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32f78cb114664e08ba2de008961755ed98c01279","datavalue":{"value":"2CNF formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q293437$9E2818A7-A84C-4B86-983A-A3739288AA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"282b55ef71ef5c90f957cd2dc3d5c3cd11018905","datavalue":{"value":"XOR-CNF formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q293437$1D2240DF-A870-481E-9B20-532D565CD431","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":"Q293437$3E534229-820C-4594-B301-5C2A9A4146F6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf035d2fecb7e445991dd16e141f37bab3768a8","datavalue":{"value":{"entity-type":"item","numeric-id":1254112,"id":"Q1254112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293437$989E6500-1D42-4818-9A72-4A79D4FDB340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef757ecac8e00102e8fe2d81d7657ee3391ff698","datavalue":{"value":{"entity-type":"item","numeric-id":4138187,"id":"Q4138187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293437$FAF23422-1FDD-4EAD-BC52-83D81AD3F97D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06455b232b15ad6e8025fc9587d194531c0b2ce2","datavalue":{"value":{"entity-type":"item","numeric-id":960525,"id":"Q960525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293437$DDC0433C-4127-4FA8-BCA0-8B68B3594ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"927b3bb72268e811f46476ea8559c6205f6bc0d0","datavalue":{"value":{"entity-type":"item","numeric-id":1917076,"id":"Q1917076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293437$6AD967CF-04A6-4CF8-9FAE-07D78E9A4303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc4fadbe040952e672c3232da507a94e0f314469","datavalue":{"value":{"entity-type":"item","numeric-id":5805954,"id":"Q5805954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293437$62CA7829-9A13-4CC4-8869-12FA4AF29C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"849fcac2d74c4bf4586d691a409b6fe18af7b51e","datavalue":{"value":{"entity-type":"item","numeric-id":1099168,"id":"Q1099168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293437$C07387CF-F7D6-4CAF-9DB1-AFA084EB6B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ea3c556c46f939fb0e417a255e8185e9be95a73","datavalue":{"value":{"entity-type":"item","numeric-id":917333,"id":"Q917333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293437$70BBE80E-1072-4FC8-BF99-2A110F4AFB57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293437$CCC2526D-DD62-409B-ACE2-B47A735F85F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c516460706e34bfacf776c096f40a576fd2116","datavalue":{"value":{"entity-type":"item","numeric-id":600247,"id":"Q600247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293437$EE19C09D-D9C2-4E36-B2BC-9CE1A0FCD050","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e491f57cea5ac55ec4181ace0e8cb182ca7aadea","datavalue":{"value":"W1973612331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293437$0597ADEE-93E1-41B2-916D-8E07E1A3DC7A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adf4fdfae046558a1524910a4a5109a858b1c6b0","datavalue":{"value":{"entity-type":"item","numeric-id":5431351,"id":"Q5431351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc07b1581f89f2420f9439b7db1887d1f90eec41","datavalue":{"value":{"amount":"+0.7950155138969421","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":"Q293437$4720DD78-E415-4683-B6AC-C1E518B5E2F2","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":"d446be0b70bca2fc809c2e8e7d5362b6c7bde266","datavalue":{"value":{"amount":"+0.7841120958328247","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":"Q293437$13910571-91D4-42EF-90E6-3471E85ED823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c8067dcdbe6e5a8eabd6902dc7cdce8afef6277","datavalue":{"value":{"entity-type":"item","numeric-id":3142267,"id":"Q3142267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f6f2edae6eb49b48760f8ba6563758d93a032bc","datavalue":{"value":{"amount":"+0.7787513732910156","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":"Q293437$B039947D-9FF4-4417-BFA5-766258ABB2BA","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":"a510ff34d0a35bad8c0f48de79922cfbab8d3198","datavalue":{"value":{"amount":"+0.7784487009048462","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":"Q293437$BAFB0901-6BB2-4C03-A83C-EA503A5ABDA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df684ab8201b649acc8d339dca420dbf8bf70615","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5652a95f9b4132fd545801e4a422e70ca9be8cc6","datavalue":{"value":{"amount":"+0.7731776833534241","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":"Q293437$1E82D00D-E6CB-4468-84AE-29B6E41FDD89","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complexity versus stability for classes of propositional formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complexity_versus_stability_for_classes_of_propositional_formulas"}}}}}