{"entities":{"Q2500830":{"pageid":2511573,"ns":120,"title":"Item:Q2500830","lastrevid":49898455,"modified":"2026-01-11T20:06:14Z","type":"item","id":"Q2500830","labels":{"en":{"language":"en","value":"On the computational consequences of independence in propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5047779"}},"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":"Q2500830$CC9BC82F-3D68-4204-896A-3A6B493AD521","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e20b53398c1749fc3cd998f125c9cf26d602faf","datavalue":{"value":{"text":"On the computational consequences of independence in propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2500830$1B53B6C4-570C-43BC-A2F2-7C1E8FC8981D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28b2d8198e6755916e5df6394addbed9be237dfe","datavalue":{"value":"1103.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500830$59941567-4E84-4214-9266-69B2134DC681","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7ccfa20842bdf79dfd26c909ccce8ff4b3154dd","datavalue":{"value":{"entity-type":"item","numeric-id":636300,"id":"Q636300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500830$8AA58623-7022-4DC5-B982-EEEABDCBBCBE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500830$C0D14F96-E477-492D-9812-0AD4F8871948","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2dbf0d064b7b30d698c2952a304e12fd601ac87c","datavalue":{"value":{"time":"+2006-08-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":"Q2500830$7999446F-32DB-4EA0-A780-B78D70C4F55F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500830$45B8A1DC-C9A2-4607-83C5-DBD997B639D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500830$108A9E4E-B04B-4476-B945-FDB1EF6E6736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500830$4F46F943-53ED-44A9-A5BD-7649650A0378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500830$637F583C-D53F-4BB4-A91E-ED6CA144F64D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500830$E1F97AE6-012E-4DA6-A1AC-189C0136E34F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc822459d7abdca00f77aebf8e0b8d63dddca2d4","datavalue":{"value":"5047779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500830$C2B8CDB1-9E6F-4C64-AA4B-D8956260BBE8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfa3e14a692b562290fb06529046871b92f74432","datavalue":{"value":"quantifier independence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500830$B47707D9-CA46-441F-B7D6-52D4A9B96829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500830$FBD047A3-F09E-45E1-AB84-6DEC567A24E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b57c832f4b21b0ae9151495d8a971f39ac6c1824","datavalue":{"value":"validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500830$7878C93C-983B-4E57-8152-7CADC92FFB39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3f4ddcd7a1373c38872b24970ae1e60d5699f79","datavalue":{"value":"semantic game","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500830$B4927CAC-F30B-4A4C-8EC5-CFB684472D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1d3965581f3e75cb34d4a8acdaee33624994e9e","datavalue":{"value":"independence-friendly propositional logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500830$1D3D8129-A495-44DB-BCC3-6A6E553B8D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500830$78F688FF-A6D9-4E41-BCC2-D000FC3D5ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27638d630e18a79d37aae3ab247a2d08a15508a4","datavalue":{"value":"decision problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500830$36C6C260-5726-4F5E-A0CE-7195A8C03735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8836868e1c908239a96965e3f22c08df855770f0","datavalue":{"value":"game theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500830$67C00421-A9DC-4D89-9066-1E31704EE959","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":"Q2500830$E155DBE7-7ABC-4C2E-A423-E03B4325AE11","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a9946dd2b84d7b439ba368a6ed61d9753483ba8","datavalue":{"value":"https://doi.org/10.1007/s11229-005-3878-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2500830$349237AC-AA1F-4AFC-A171-EACA75B50F6D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6c242ba7593cd2567de376e985ce7e3f22badfce","datavalue":{"value":"W2032131671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500830$2DB2DA30-AB72-4C8A-ACED-AB40F6DF27F0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c0fd598c68460686a7eb4ac006433bd8a5b3f32","datavalue":{"value":{"entity-type":"item","numeric-id":1254239,"id":"Q1254239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500830$B863BB35-8BCB-4F19-81C7-F4B1C97498DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e95288fb3703a153af69a0fa87ef12ad85fe48","datavalue":{"value":{"entity-type":"item","numeric-id":1088983,"id":"Q1088983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500830$13169A0E-0511-46AD-9FD1-39DE77AED3F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bb4a1b31e9e3174c7a913bf8b623fb33dd0f5f6","datavalue":{"value":{"entity-type":"item","numeric-id":3150204,"id":"Q3150204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500830$EF1A6610-80E6-4523-9C70-DE1ABA2DAD0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0839e7e46510112865b452a6ed8d8dd889a4c60","datavalue":{"value":{"entity-type":"item","numeric-id":4058132,"id":"Q4058132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500830$3A4605DE-0387-4BE7-9789-39F359AB698A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500830$47F2555D-B2DE-4E5A-B775-4AE92CC84F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be154b266f49b889b70e2e16e1ef5f70c091bcdc","datavalue":{"value":{"entity-type":"item","numeric-id":5732647,"id":"Q5732647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500830$E4B0EF8B-3F97-47A8-A92A-D8AFD9667DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8413e35396f689c527307b15a1f798700960d2aa","datavalue":{"value":{"entity-type":"item","numeric-id":5691485,"id":"Q5691485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500830$50AF6D7C-FF27-4C22-8AFD-9434982A599C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b147dc0d95316396d16edf0810bd1ad37614ad09","datavalue":{"value":{"entity-type":"item","numeric-id":4331781,"id":"Q4331781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500830$B27D2216-3C01-4867-963B-9C8901455A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b1d5b65ee3bca1d15f027ef07b9dc33b30fdf72","datavalue":{"value":{"entity-type":"item","numeric-id":1841515,"id":"Q1841515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500830$C988BB36-50F5-486B-92F1-91F986402B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"130dbb6db379f2863eacc4d460357dee10cd38dd","datavalue":{"value":{"entity-type":"item","numeric-id":4488342,"id":"Q4488342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500830$B1BBAE77-9125-49BD-8E28-B5A30A7E59D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc7c9083cfb3de7613d805e0e71a2d852c9b5781","datavalue":{"value":{"entity-type":"item","numeric-id":1195597,"id":"Q1195597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500830$7298DB24-0D9B-4F13-B13F-C393A21CC048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6527e7018fb4fc6f638f05f80534e57354446f90","datavalue":{"value":{"entity-type":"item","numeric-id":3576736,"id":"Q3576736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500830$E4EEC584-97DA-42F3-B67A-70523CB96F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500830$B8EABE8A-1B4F-4733-84E3-80EA7931FB47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f3bba5c5cfdb1a4354b8b050debbbdb9e016050","datavalue":{"value":{"entity-type":"item","numeric-id":5948765,"id":"Q5948765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500830$21E77F36-3383-4A68-9072-3A94111653A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d3e3a99cce3d2042863f77e12ba79884796aec8","datavalue":{"value":{"entity-type":"item","numeric-id":1841518,"id":"Q1841518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500830$B9549E79-6380-431D-B770-EA4CA69FF8BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f26f49a5f58c074fb1b543e0e838ab0e84aa25e","datavalue":{"value":{"entity-type":"item","numeric-id":5890192,"id":"Q5890192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500830$032B57F0-0B93-415A-B782-90F742A38137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88bfe1b5fa0dc5c9c0bf6602d1cea09889663127","datavalue":{"value":{"entity-type":"item","numeric-id":4453635,"id":"Q4453635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500830$02B4DC76-0A83-46C2-BB91-93046862B21C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca7bf9ff748343f2efbe736997f3fd4b0e9f589","datavalue":{"value":{"entity-type":"item","numeric-id":5623654,"id":"Q5623654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500830$529A4DBC-F135-4B85-A39A-C906BADB619E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"85ff4991033f6da78a62935eeb3dd2fe7984a37b","datavalue":{"value":"10.1007/S11229-005-3878-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500830$64F5FB1D-BA52-42D7-BD9C-A881B729BB50","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0af48d2ecb9e59459eab3c75f07941e4441198d6","datavalue":{"value":{"entity-type":"item","numeric-id":5755193,"id":"Q5755193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcf62c8da9c1f34d47cd1227f3beba9cc742e627","datavalue":{"value":{"amount":"+0.7933642864227295","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":"Q2500830$1F751A51-55BA-4DFA-BE2F-A3E924BA0C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e34df44a175f88f35d30cb148dd7fa454b45f29","datavalue":{"value":{"entity-type":"item","numeric-id":1610629,"id":"Q1610629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e434ca51a46b9fad70af8e6d51a30edc21cc94c","datavalue":{"value":{"amount":"+0.7858061194419861","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":"Q2500830$AFE5CC4E-4673-44CD-8897-1F7155515F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1125fd08c9b48b75ae71422de0fb29d56e97e9d1","datavalue":{"value":{"entity-type":"item","numeric-id":2993257,"id":"Q2993257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdd7ea86d69e7fcbf40a9769b5d144b05b3e8919","datavalue":{"value":{"amount":"+0.7760085463523865","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":"Q2500830$1D32A46D-AFBD-4FE9-8443-3B76FA7F8BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f631d0229a398efbd37a3987d86bc27b692db24","datavalue":{"value":{"entity-type":"item","numeric-id":4608724,"id":"Q4608724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bfe481d3a619eb02009c926edac34686962185d","datavalue":{"value":{"amount":"+0.7755537033081055","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":"Q2500830$F5C97913-A511-43B0-B8AB-C31AC152C95D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21a7e4f0d97cec3fc8cf43e2a75d01ffb33a1cc4","datavalue":{"value":{"entity-type":"item","numeric-id":1852858,"id":"Q1852858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c8a9c09eb4f3db46fe1b75f262c2d6e55eaae56","datavalue":{"value":{"amount":"+0.774056077003479","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":"Q2500830$F5CE5CBA-1A54-4364-BE2F-E7DF6C3E6C79","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2500830","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2500830"}}}}}