{"entities":{"Q2374393":{"pageid":2385136,"ns":120,"title":"Item:Q2374393","lastrevid":78833294,"modified":"2026-05-06T12:32:35Z","type":"item","id":"Q2374393","labels":{"en":{"language":"en","value":"Modal consequence relations extending S4.3: an application of projective unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6663939"}},"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":"Q2374393$FDA9D2B2-4A87-4A54-8A0A-57D76D862066","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a3ae39899c46ecd9a94c43f39f53a47aceded49","datavalue":{"value":{"text":"Modal consequence relations extending S4.3: an application of projective unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2374393$87B9DFE5-68FD-4C3D-87D0-87644C264921","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e59d63858650311312fd71d717e0adf44db54b8","datavalue":{"value":"1403.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2374393$E1ACF693-852D-4845-99C2-9646B4A0E59F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5aeea31fbb699bd0c73d6c8ab40cc288aa402702","datavalue":{"value":"10.1215/00294527-3636512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2374393$8CFF46EB-7CA2-4F72-B383-C4C35FED27FE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f668f2383b58b17274633b11cd18bd67cd78bc2b","datavalue":{"value":{"entity-type":"item","numeric-id":278760,"id":"Q278760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374393$97BE8DA9-D15D-4902-8863-F4EFAC180EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fb74110975662118ba1e2f7c9c93d7e4e73d80b","datavalue":{"value":{"entity-type":"item","numeric-id":195357,"id":"Q195357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374393$FDC6AB78-0FEE-4CE7-969F-B4228D60FF82","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374393$0FBDBD43-F746-4716-B104-7C6BA0EBFAD3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3d1669fd63345cf64b2617c12ed41ffb07d8520","datavalue":{"value":{"time":"+2016-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2374393$C9255A94-5A43-482F-92EB-E89C6B7831F4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ee1d4a9a0c971fbcd85a07a9f129df9722ba6a87","datavalue":{"value":"https://projecteuclid.org/euclid.ndjfl/1468952203","type":"string"},"datatype":"url"},"type":"statement","id":"Q2374393$6F75CDA0-0668-4380-A512-E3BC3CBDCDB0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2374393$F106378A-F25F-49C0-B46E-BD8718C85941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2374393$5089BA26-FD47-4A98-854A-886DC4D90846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2374393$10BA9AD3-ED8D-4DE0-AD96-4184BAC9F281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2374393$869D592F-5440-42F4-B1B7-08F8CC09ACDA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5671f55696665a8e8ca81569db98a754aff191a","datavalue":{"value":"6663939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2374393$D5CF7B57-6420-4069-9DBC-9968E7AFD747","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"203383f5640e2b7ae9ac255db7b9410f9f3dc7ba","datavalue":{"value":"admissible rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2374393$B066A46F-661E-4DE9-9FEA-BFCB099BDCAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"626d328638f0e8bfd2c7f65d2308e670728a3d77","datavalue":{"value":"consequence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2374393$CA0998EC-71ED-456A-9ADC-CD3715CA4B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03566a9577333ba75ddce364226b0be44828aed5","datavalue":{"value":"projective unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2374393$05911BC2-070D-49CB-947D-05F1319B3CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f922745e7190252959e171faee7d8db022b03456","datavalue":{"value":"\\(\\mathbf{S4.3}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2374393$4DDC5BAF-CCFD-4FEC-953F-BAD30B58F174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"548bc79ce362c691471fdce748b63aafcb850b45","datavalue":{"value":"structural completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2374393$A8ED927F-437E-4BC2-AEFD-B5545011B32B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20c5129ca511846c06962a5e158b68550c0cf7e4","datavalue":{"value":"quasivarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2374393$DB10F87E-3B47-43AB-8244-589136B4D1B4","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":"Q2374393$26420A99-9835-4E34-8F96-7FDCA34C34A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"229569d9263fe76385295396b22d8444a369302f","datavalue":{"value":"W2496544547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2374393$46969B72-D8A0-4655-A575-9A17E4D1DDF1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc1e07bbce2a9327af6bd3799782e43c70a8ed2c","datavalue":{"value":{"entity-type":"item","numeric-id":4644526,"id":"Q4644526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08b61f3397327d8331cbc9bca5028b24397da93a","datavalue":{"value":{"amount":"+0.830865740776062","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":"Q2374393$1438A0A3-2DE1-4182-ABA3-E0E39D9F08A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ebc1df198455286188eb79b25e882adc3909f69","datavalue":{"value":{"entity-type":"item","numeric-id":2903753,"id":"Q2903753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcd597aa9d310102a81f8ea3c4973dc11795c7d3","datavalue":{"value":{"amount":"+0.8151700496673584","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":"Q2374393$5E5E3866-90D7-489C-9DE4-BBF5E5A9619C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a27c622d5b0dee269111d27fe7dd98753d44b672","datavalue":{"value":{"entity-type":"item","numeric-id":5095652,"id":"Q5095652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d00d2a1d9c0309eb9146af363271b472ee5dccd","datavalue":{"value":{"amount":"+0.775257408618927","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":"Q2374393$A068FE6E-AAA3-454D-9165-9BA84D98820D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64ffb2f5b23c556a6514f2be6da5b5b71b049600","datavalue":{"value":{"entity-type":"item","numeric-id":1068809,"id":"Q1068809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"466b8b0e537d7c0106258d0ff307c4b4816f03d2","datavalue":{"value":{"amount":"+0.7400313019752502","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":"Q2374393$9094DBA5-2596-448B-8488-FD0904F9658F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59af9b668ee96ae391ab14bd6c320f9e150c4f19","datavalue":{"value":{"entity-type":"item","numeric-id":2239389,"id":"Q2239389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2731d40efead9ae4636604aa362512c33316c171","datavalue":{"value":{"amount":"+0.7389567494392395","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":"Q2374393$0158F641-1A89-491D-8A4F-EE55749EDCF8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modal consequence relations extending S4.3: an application of projective unification","badges":[]}}}}}