{"entities":{"Q3486545":{"pageid":5516445,"ns":120,"title":"Item:Q3486545","lastrevid":49404088,"modified":"2026-01-07T02:42:06Z","type":"item","id":"Q3486545","labels":{"en":{"language":"en","value":"The equivalence of the disjunction and existence properties for modal arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4158600"}},"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":"Q3486545$BCC69A75-E492-423F-B310-B53C99AB5882","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"64cfd97337ef355dd2d84400076c4fb1217051b3","datavalue":{"value":{"text":"The equivalence of the disjunction and existence properties for modal arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3486545$C41A534E-2A7C-4CEC-93F7-779FB05CF2E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1da4df767cc08af076928d059eb96121d588ce7","datavalue":{"value":"0706.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3486545$D11F8B42-18EE-4B6B-A00D-1FE06852AC3E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d2a98fd346b80b641ce6a015b6a3d9391d6f4a47","datavalue":{"value":"10.2307/2274825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3486545$FC8A928C-CC12-47EA-B972-DE70A90392BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4db7d460ffc6b3e0069ff40b20b2755df97aa354","datavalue":{"value":{"entity-type":"item","numeric-id":196044,"id":"Q196044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3486545$3E5FF022-73B8-4C33-B7E5-F899DD907880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6235a6172567c0cb7b70bcc5b035a7161199ba60","datavalue":{"value":{"entity-type":"item","numeric-id":221566,"id":"Q221566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3486545$46B7FF8B-1CD5-4BEB-83DF-891BE75F6DB6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3486545$A48763C6-A3B1-4C2F-9218-F28CB37D4294","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3486545$7A21EE55-73FE-419E-9CCE-3BF2DFD839C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b36a612ff62df68f887565643a2c4eb07d7be5be","datavalue":{"value":"4158600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3486545$E8C68B17-B684-47F7-B4A7-1C719ABD057A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13086e87d736201ee1db00b5ab3620f20bff2fce","datavalue":{"value":"modal arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3486545$021EFEEA-D24D-457F-9BE7-0D2B27CECA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3020c5a082e5813cedace6da7c6bdd6690dd9fb5","datavalue":{"value":"disjunction property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3486545$E3404006-35EB-47A2-AB72-D62391E51670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46e827a2f1d9e2ec3bdc3a7ec6d04e64033483bb","datavalue":{"value":"existence property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3486545$334E9D87-C0A2-4D7A-BE66-06E3A316BA1D","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":"Q3486545$CA06568B-9F7F-4BBE-866A-E43FE15D406C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5aba199fd76889f6ded829597b9c5880f775932a","datavalue":{"value":"https://doi.org/10.2307/2274825","type":"string"},"datatype":"url"},"type":"statement","id":"Q3486545$43896CF9-D211-4599-B9AB-E1D46F2DD24D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab722099fd56bbae2d238614906c115355261341","datavalue":{"value":"W4232871847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3486545$C6647E75-3AF9-4C90-BEDE-58B766A0154D","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":"Q3486545$DDE8F114-F761-460D-AA90-B495798EE6EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aab98c6b81eff2d177d22198ad4dde6e3e20087","datavalue":{"value":{"entity-type":"item","numeric-id":1118582,"id":"Q1118582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9423771e30115c2aafa901ad61658d233508804","datavalue":{"value":{"amount":"+0.8159447312355042","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":"Q3486545$65770410-325D-46A9-97BA-216428F4BF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ea9d35b739be79aebed0b641b132eb99ed8a12a","datavalue":{"value":{"entity-type":"item","numeric-id":4221774,"id":"Q4221774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b51362b7346f9924780ac51dd75cc98501bfe123","datavalue":{"value":{"amount":"+0.8016172051429749","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":"Q3486545$139121DC-BA99-483D-BCCB-2E7A6D031FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1728235207b2c0f219e468c964d732208ea6ef5c","datavalue":{"value":{"entity-type":"item","numeric-id":3760513,"id":"Q3760513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7833043094d8e8f571aac044e17e6d7886b9416","datavalue":{"value":{"amount":"+0.8003963828086853","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":"Q3486545$7AB3F263-0289-4208-B151-AE80D902FEE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0721762138ce27176f0549426401f2da49be957e","datavalue":{"value":{"entity-type":"item","numeric-id":3800004,"id":"Q3800004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0042fe44882d531c8c478da1a6ba0a4c229a9a4","datavalue":{"value":{"amount":"+0.7615011930465698","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":"Q3486545$F269D06D-CE24-45F7-8635-1F963661B635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49105b71d34520164c1a962a3f9dd09f3a579064","datavalue":{"value":{"entity-type":"item","numeric-id":3714054,"id":"Q3714054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3f5ea1518a0282d1095cbc620a5886e4932e583","datavalue":{"value":{"amount":"+0.7588472366333008","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":"Q3486545$585E5C93-259F-49C5-B04F-6280B2BE3670","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3486545","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3486545"}}}}}