{"entities":{"Q4276033":{"pageid":6305634,"ns":120,"title":"Item:Q4276033","lastrevid":47221609,"modified":"2026-01-01T01:31:36Z","type":"item","id":"Q4276033","labels":{"en":{"language":"en","value":"The undecidability of the disjunction property of propositional logics and other related problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 488041"}},"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":"Q4276033$90CDEF09-DFDA-499A-A049-0DDA5FD4B6FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"787444fb6a479d47dace521059cf5c1b979179c4","datavalue":{"value":{"text":"The undecidability of the disjunction property of propositional logics and other related problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4276033$D801C5AB-E976-4473-9BA6-A9000226E37C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00ffba1f0fbff8685500bb4c6650c09739b8eb97","datavalue":{"value":"0799.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4276033$E92416C6-4DFF-46A2-BE7C-9C6E6AC1B334","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e6935a71e9ebad54b6984be2ff80d365fa9cfca7","datavalue":{"value":"10.2307/2275108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4276033$BEF8804F-3711-40A0-B9FA-6213C1274D66","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276033$D6BC3E82-94B8-4C7F-B4F3-119E713241FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4c09ae88fd636512ceb4e3e21ab02e5e439d3b76","datavalue":{"value":{"time":"+1994-01-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":"Q4276033$031B3B6A-5258-41BF-AF88-396D62FACC95","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4276033$0B63737E-AE03-4383-9DB9-2BC984C01A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4276033$57D741A9-948B-4363-9FB8-E89BD878CADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4276033$B10DE812-E24F-4E74-AB7D-FBB318EEE314","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"911190f799dbfb6e51f2212596553252ec36e4d0","datavalue":{"value":"488041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4276033$647E1688-4761-4333-B08E-16EF8DB3BD2C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2ac2883b93bc6d38f9b54353e42de243081356","datavalue":{"value":"propositional modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4276033$356BBCCC-35B2-48D3-9C65-33407750CEAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e20caaf0551fe84fb69eae2f4da361eb77759b92","datavalue":{"value":"intermediate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4276033$6556BD6F-760B-4FE0-A9B4-E9E110E669A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bf2a4abd3a68c8d01f25861901d997aa430007b","datavalue":{"value":"canonical formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q4276033$4728DDF7-AA4F-4F37-AFF4-E7CBA14B013E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e137f276fa79f1a4e1eead8fb5d68b82a326cd08","datavalue":{"value":"Maksimova-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4276033$93C9DE77-742D-4D1B-8DC9-26C77104A1DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4276033$62C4CC6D-4929-4EC6-B389-B3EB7C8BDFFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3020c5a082e5813cedace6da7c6bdd6690dd9fb5","datavalue":{"value":"disjunction property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4276033$17B626C5-8D1B-4F7E-BA60-DFC06E2E2925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf3941261fad7b288c0a2396179102bc2d8974fd","datavalue":{"value":"simulating Minsky machines in Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4276033$91F4EDDE-1452-492E-B68C-0FCACEA4C308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4276033$B36FA585-840E-4801-B891-B0D5AC938389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4276033$CC4F8C68-8945-41A8-9D21-BFFFB354735E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93b296cbd3b6615dbf492620efa90e96db5f5a11","datavalue":{"value":"Halld\u00e9n-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4276033$F6126033-84D5-4F1E-9E82-60EA1640A8B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b969c24aca7881375f285e18f5262c9a0f20d3a","datavalue":{"value":"axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4276033$BBF3B226-AB3B-42DD-ACA0-3716C95F150F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9766154da8868329ab713f56377e5e5d3217fc5","datavalue":{"value":{"entity-type":"item","numeric-id":1181480,"id":"Q1181480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276033$87ADC973-4302-4F5C-9985-6ED1D809A0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a400f63fb65fdbb9cd5ac7576d054d4b1a7834c","datavalue":{"value":{"entity-type":"item","numeric-id":1181481,"id":"Q1181481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276033$45858E38-B31C-41BB-B81E-987554885F5E","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":"Q4276033$4CFCCF19-5005-4C0A-A47D-5CF77CF83A16","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f00133d194495aa8bf71797dd7cca073bc6c2c8","datavalue":{"value":"https://doi.org/10.2307/2275108","type":"string"},"datatype":"url"},"type":"statement","id":"Q4276033$B8539E13-64EC-482B-83B7-59501D50104C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"87b780d633b3fa3b9ef19f6c728512a01090528f","datavalue":{"value":"W1997708236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4276033$DE6800F2-4427-4139-A851-F38A1678170F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"593def07e4546cce960235af14c5ec86bccd4e8f","datavalue":{"value":{"entity-type":"item","numeric-id":1194106,"id":"Q1194106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276033$17CACE71-9EA9-4158-B144-F6A710D5A5CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec842f244293bbf8375f7e382cf748a52233713","datavalue":{"value":{"entity-type":"item","numeric-id":5567827,"id":"Q5567827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276033$B321F43A-902E-44F3-B940-54F71515F82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e123cb5f005ec2c984fe8ce0580a9e75d8976db3","datavalue":{"value":{"entity-type":"item","numeric-id":1181482,"id":"Q1181482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276033$CD5AB5E8-2EAB-4043-B28E-4C739B301269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eac50fc561b33a34acc066243ca0f2a392895e0a","datavalue":{"value":{"entity-type":"item","numeric-id":3984404,"id":"Q3984404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276033$998CC186-F70A-4D0F-AFF9-AA36AE3E9DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e499941af6912796a2f52db08665ebe850f7f91e","datavalue":{"value":{"entity-type":"item","numeric-id":2557689,"id":"Q2557689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276033$6EAA80DA-D391-4D26-884A-8F13E5242AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430aeea16287474b9301e5bb7d6f8fdfac8a8fc9","datavalue":{"value":{"entity-type":"item","numeric-id":3843602,"id":"Q3843602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276033$6CE8FB35-377F-4804-B250-5FCE77BBE4B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9581ee7cece251f0f703f3fb6700b5b447a3e435","datavalue":{"value":{"entity-type":"item","numeric-id":1165230,"id":"Q1165230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276033$BC81FA13-6972-49ED-A0A4-AB6E82889D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b26bdc210a3d291b796088837bddd84cce8b4c","datavalue":{"value":{"entity-type":"item","numeric-id":775202,"id":"Q775202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276033$3F16E662-D5AB-4542-8AE3-1E604A2445E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0310e42cd89ec966ff0db04df83f2f80f9957748","datavalue":{"value":{"entity-type":"item","numeric-id":5658080,"id":"Q5658080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276033$A6D56D15-1E3A-476F-8A1C-14DFAE5E38D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f803209c67528497565ed0fcd089fb74d3efa2f","datavalue":{"value":{"entity-type":"item","numeric-id":1096618,"id":"Q1096618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276033$E424B8CB-526C-4628-B63A-5BD9A82CA4BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"355d08d5e5c4643fed69139b854c7f31566ba807","datavalue":{"value":{"entity-type":"item","numeric-id":1097260,"id":"Q1097260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276033$E773453A-C94D-4146-A72E-23A2CEDCA5E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c637a10fc0009385d68516e4488e8462becaac26","datavalue":{"value":{"entity-type":"item","numeric-id":1140079,"id":"Q1140079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276033$E6A8BCC5-ADDF-4A84-BE47-D5E253885803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a9c0420aef247f44d1eec39528b10ee9fac6006","datavalue":{"value":{"entity-type":"item","numeric-id":5565105,"id":"Q5565105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276033$E37D54F0-8911-4480-87BA-16C41261B76C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06fb0b94e59c5adb31c73df20ec0bcc54d345cfb","datavalue":{"value":{"entity-type":"item","numeric-id":3246321,"id":"Q3246321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276033$9B43210C-9AE2-446C-818A-1E96F5D2272F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc687154876af29438e40818d3c5a719d115f72d","datavalue":{"value":{"entity-type":"item","numeric-id":4032666,"id":"Q4032666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276033$F6733CA3-28DD-4C12-B757-DFAC540AF01C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e2315a5bfee579bf47ae0bf7c08aecb76d3cf6","datavalue":{"value":{"entity-type":"item","numeric-id":4777279,"id":"Q4777279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276033$21818E19-BB2F-41A9-981E-6ABBA0E7475B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec61348cbc7897006cbf43596adc1b3a59cad5f3","datavalue":{"value":{"entity-type":"item","numeric-id":3691638,"id":"Q3691638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276033$20829A6D-0A59-48B9-8AF5-5002007B0813","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc3e79a6175c639ed75d8b0aa9af52759c22e853","datavalue":{"value":{"entity-type":"item","numeric-id":757339,"id":"Q757339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7155593acaeede08833d2d559575ceeb8a3175b9","datavalue":{"value":{"amount":"+0.8545951247215271","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":"Q4276033$BC5CA2F2-A0DF-4361-B115-D3CE1843D67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd9efd4c5931241b71cc2371d2e3ceb5535ee6e2","datavalue":{"value":{"entity-type":"item","numeric-id":805607,"id":"Q805607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a98069972a5ff11b89d010f24553463edaa39f02","datavalue":{"value":{"amount":"+0.8377258777618408","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":"Q4276033$129C285F-955B-4BFA-AB47-E3A7BD8AAC59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e29546be3e8574f3e84170fe92d3503baa4a059","datavalue":{"value":{"entity-type":"item","numeric-id":4866422,"id":"Q4866422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7303d7180d6c6b22227c5f2917c218b66cdc6c2","datavalue":{"value":{"amount":"+0.8251681923866272","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":"Q4276033$931E8748-20F0-4208-94D7-A811E119AA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b0fc18c7631d80abd783263611d60759308ced5","datavalue":{"value":{"entity-type":"item","numeric-id":3475247,"id":"Q3475247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb5b556d6c5da3c37d43a8396c962c084b3fe00e","datavalue":{"value":{"amount":"+0.8048953413963318","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":"Q4276033$A928C00F-1C85-4A43-8828-9860FB44DE90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed083349616f2da5d7c34bf347441d9ef4c59bd0","datavalue":{"value":{"entity-type":"item","numeric-id":1097260,"id":"Q1097260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4e59ba61ffbda871403d137841f530ac00aa99a","datavalue":{"value":{"amount":"+0.7918573617935181","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":"Q4276033$6B289B0C-4FF8-458A-A271-DBA3D533CF63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4276033","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4276033"}}}}}