{"entities":{"Q2284173":{"pageid":2294916,"ns":120,"title":"Item:Q2284173","lastrevid":55371916,"modified":"2026-02-17T14:43:12Z","type":"item","id":"Q2284173","labels":{"en":{"language":"en","value":"Propositional modal logic with implicit modal quantification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7150804"}},"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":"Q2284173$39F8295C-B6DC-497D-86C7-0EA683C72631","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cdf569d8395a8557d23f990f44531ca3c1f98ba6","datavalue":{"value":{"text":"Propositional modal logic with implicit modal quantification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2284173$908A0D5B-E327-41E9-8696-9B1D441CB0CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"10ca57b697112a9cc9e1e642c30f2b89d1459d46","datavalue":{"value":"10.1007/978-3-662-58771-3_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284173$5739D12E-8D1D-4980-B3FA-5423ED40AEE8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2284173$C9063E95-BFFF-4331-9FFB-CD8FBCCE55D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"945aeaf7c219820e626afa57f9ae821b0aa71dd9","datavalue":{"value":{"time":"+2020-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2284173$0705A095-2770-4A22-8FD3-600F6D625C61","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aacdedc32fd1c6c033ae09e5d5d0720391c6f906","datavalue":{"value":"https://arxiv.org/abs/1811.09454","type":"string"},"datatype":"url"},"type":"statement","id":"Q2284173$C7DF51DA-349F-4966-831B-1EBF25187262","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284173$ACBD5253-32AA-45CB-AEAB-815D66EB47FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284173$6C0D6446-FA9E-415B-83EE-962EFA5E77D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55c1c34a4d48daf228fa73df12dfa57adde7e2dc","datavalue":{"value":"7150804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284173$F708658D-EEB0-4156-9F8D-36C7C95B0726","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"622ac35bf5a9bbf8a98b523f538e00d00c2caa9a","datavalue":{"value":"term modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2284173$61302D76-EEC8-4440-AECB-26403E8834FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f69fd523b97036d5703dbc5ebaca0505c02d4341","datavalue":{"value":"implicitly quantified modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2284173$780EF116-1AD6-433F-9F98-FE5449F117CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bf200f42ee767590ef5a5488fe98149520d41f1","datavalue":{"value":"bisimulation invariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q2284173$30F29F7E-D477-4CE1-BDED-48B78010A015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"410ef65bcd19efd26015e78c4db7801445854bec","datavalue":{"value":"bundled fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q2284173$AEEC7405-7CE1-48A2-A7F6-E5A1D18B1F3B","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":"Q2284173$B7AC71B7-2142-457A-8007-FB73831142B4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd165c5fa25d97abaea7f17a05c1fadc3b4aa8a0","datavalue":{"value":"W2901238796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284173$38DAEB4D-3A20-462B-A795-F02EBDC2AE04","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51d03571aa9a2a45d545579db9ac057522d9a85e","datavalue":{"value":{"entity-type":"item","numeric-id":2001365,"id":"Q2001365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb77029adf118b369233161241715318b580de30","datavalue":{"value":{"amount":"+0.8119394779205322","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":"Q2284173$290F0393-32D0-48A1-9F7D-8BFD431E0211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fea8d3823b75837441bc90c7c911f782e8b72c26","datavalue":{"value":{"entity-type":"item","numeric-id":5897786,"id":"Q5897786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69f379f98a4b382e55ff36f39bbe458c12108944","datavalue":{"value":{"amount":"+0.7902763485908508","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":"Q2284173$05997FAE-AD7A-4BAF-A2D7-15E8AC906BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32d757875cf6351cd4776c2f4e4b255528dbafcd","datavalue":{"value":{"entity-type":"item","numeric-id":4796461,"id":"Q4796461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cb3381e994ea06180974b3df9d77b9204474134","datavalue":{"value":{"amount":"+0.7708220481872559","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":"Q2284173$A29D3F9D-EAE2-4A0E-BB51-425968D83A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4788060ada6b1e625b03c2972603ca51fca4554","datavalue":{"value":{"entity-type":"item","numeric-id":5092390,"id":"Q5092390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"947f73deeeca28d217f014502d8dbb85193f874b","datavalue":{"value":{"amount":"+0.764478862285614","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":"Q2284173$1690B27D-C531-4ADB-A3A8-08CBC58FF510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e6a0c6c4fe0575a508981bf3e7a50a9eeeecde3","datavalue":{"value":{"entity-type":"item","numeric-id":2055931,"id":"Q2055931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"510091180a6999a1e57f367545eb6a35a0570bda","datavalue":{"value":{"amount":"+0.7592015862464905","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":"Q2284173$32A9CC0A-08ED-4E77-8BF3-6B6BA3031973","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2284173","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2284173"}}}}}