{"entities":{"Q4399516":{"pageid":6429115,"ns":120,"title":"Item:Q4399516","lastrevid":41612744,"modified":"2025-05-06T09:17:25Z","type":"item","id":"Q4399516","labels":{"en":{"language":"en","value":"Adding the everywhere operator to propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1180280"}},"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":"Q4399516$E48014FB-771D-44A0-8EF6-D700FC22898D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4591a90d68088f1b498a473ec8678ed3da838c12","datavalue":{"value":{"text":"Adding the everywhere operator to propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4399516$451E055A-CC37-4F56-B744-0B01770E8DA1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1da8eaafc5044dda28d0af55490e2491110ee582","datavalue":{"value":"0906.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399516$63EC0634-60E2-430A-9033-58A3CAB2DA49","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87201105ab9aadf571db6479712327a7fc2e406d","datavalue":{"value":{"entity-type":"item","numeric-id":287253,"id":"Q287253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4399516$68D12AD5-B7D8-40EA-B867-88A33E2D5469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d2194a72287987c2fdd62e01e933a3ba2db5d50","datavalue":{"value":{"entity-type":"item","numeric-id":431789,"id":"Q431789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4399516$4715E9DE-E10B-429D-9026-F69D2241A337","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"03698f5ec2670b440edc2f3fcc278ec7f9d935e2","datavalue":{"value":{"time":"+1999-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4399516$0AF4C5EE-DA0A-4591-AA13-F717D02C0245","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e3f0b1e11dba068665c8ef75c04ea078dd3aa1f","datavalue":{"value":"https://hdl.handle.net/1813/7239","type":"string"},"datatype":"url"},"type":"statement","id":"Q4399516$1B37EF77-24E7-42CE-B264-F5CAC52628EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399516$BC93069D-088E-48A7-BD4A-72D7B8AA47D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57f8692d062d591b032ac0d9bbbd1948be35e51a","datavalue":{"value":"1180280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399516$6F8587D2-D3C9-455D-AFD9-B2CFED8BBBF7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4399516$9F3A118D-8817-4B4C-9557-BCE3C4E55DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b4fc300135272819ca8d44a23bff86b0f2235a9","datavalue":{"value":"modal logic S5","type":"string"},"datatype":"string"},"type":"statement","id":"Q4399516$729F9A45-579E-4178-BEAB-680A92B1B6D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4407aaaf1265052f90264091952404e93d03b5d2","datavalue":{"value":"calculational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4399516$A8C4AC08-4103-4A53-BD5A-841B1A2BA9D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4399516$ACADCF00-0383-4EC7-A05B-EB8683F12103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4399516$5BBFA9D2-1868-49B9-8B69-FC29DF0B76A2","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":"Q4399516$8515F943-39B1-4C23-A25B-A1E76A27EF22","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1cc31d55e8d9ac1fc55c3d7f6a84a3074bad6258","datavalue":{"value":"W2018364537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399516$DDAB3F93-EDD9-48F6-AACB-35EF1DF6FFE4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d492e81c8f68d4c990a1c6674fdbe82f3abe4aaa","datavalue":{"value":"10.1093/LOGCOM/8.1.119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399516$1100CB17-9E28-4545-8F8A-379676E09EF2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4399516$FDB1F3A3-EAFF-4E2F-8C99-43ADF53DFB0B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cca2ec74666c9b6a6de39798dca019fdf3ef14e","datavalue":{"value":{"entity-type":"item","numeric-id":2943779,"id":"Q2943779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4b5a02d762fbb3b577b72a0132f689dc8485637","datavalue":{"value":{"amount":"+0.8607397","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4399516$30801C7C-DDB0-48EF-955E-1D5220C078E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"028d66c221c1800df8dc6bae7ac32492374d84dd","datavalue":{"value":{"entity-type":"item","numeric-id":1349962,"id":"Q1349962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d219e0106304ed6ba02fabd6196f7f54158a282","datavalue":{"value":{"amount":"+0.8555759","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4399516$9CD9A23C-398A-476F-B8BB-922CDF97A117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31b3e2623031eb7c1ba7e396dafecc9f998232a2","datavalue":{"value":{"entity-type":"item","numeric-id":4982510,"id":"Q4982510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82865ab008148b82d2f066ce8b39f73f558aad03","datavalue":{"value":{"amount":"+0.8528249","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4399516$FCFE477A-AF6C-4B7D-9241-CECF91420B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0fc8cb3825399493351e5bb5953b415f707bbda","datavalue":{"value":{"entity-type":"item","numeric-id":2989971,"id":"Q2989971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9ea3945b5f1f5d1f256da6b46c07d560cb6f9bb","datavalue":{"value":{"amount":"+0.85265493","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4399516$B16A93B4-B08A-4827-8C18-9DBC30F546CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f855ed66c9f3aea61941f31e6f93e36e72d8e32d","datavalue":{"value":{"entity-type":"item","numeric-id":3353001,"id":"Q3353001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1c75bb7d0551bce01eb78b8b137b7f01993bbee","datavalue":{"value":{"amount":"+0.84309393","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4399516$BE54824E-6822-4479-A7C0-3CCDDD37E56A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90546737e0a0ee92afb92822931f8c3949fc4cbf","datavalue":{"value":{"entity-type":"item","numeric-id":514508,"id":"Q514508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7187485ca9d51fdb4b50b826796ff67353628c3","datavalue":{"value":{"amount":"+0.8374645","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4399516$BB1AE80A-09FF-417B-83DC-1522DB63EB8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58d38f789ee91bde5655fd5671d070b64681320b","datavalue":{"value":{"entity-type":"item","numeric-id":5866469,"id":"Q5866469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ead2cb8aed7996b607aa59b7db3cf6dc6ad89cf3","datavalue":{"value":{"amount":"+0.8344105","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4399516$2F4B827F-6B6D-4906-8B79-399CBC4F870B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83ce47750440bd3ffbd90e27e0321fa0e75cf78d","datavalue":{"value":{"entity-type":"item","numeric-id":4289282,"id":"Q4289282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a56e0780e63d516ff5c226f5abd77652673d142","datavalue":{"value":{"amount":"+0.8335216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4399516$0734F077-1281-4EE9-B36E-C4849D4DC1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"824c80a8672c6890540ba20bc106286806b9aeb8","datavalue":{"value":{"entity-type":"item","numeric-id":793006,"id":"Q793006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"448719cc6104bc1d2d8d46279018988fefa5c010","datavalue":{"value":{"amount":"+0.8328904","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4399516$220644F8-198F-440D-9DBC-CBE362738A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ab1200c928c730b5970123c2aecdf0f608dc261","datavalue":{"value":{"entity-type":"item","numeric-id":3567769,"id":"Q3567769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b090e824ccf8644794694fe12864ec4a6e54e45f","datavalue":{"value":{"amount":"+0.83166176","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4399516$E5741F77-38F2-4479-A5C5-4D2E465D9207","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4399516","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4399516"}}}}}