{"entities":{"Q5262486":{"pageid":7292054,"ns":120,"title":"Item:Q5262486","lastrevid":100666037,"modified":"2026-06-05T22:43:21Z","type":"item","id":"Q5262486","labels":{"en":{"language":"en","value":"Logics for some dynamic spaces. I."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6458862"}},"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":"Q5262486$264C687D-FECF-4C98-BCBE-E97433FE92CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28e7c706e3111f5d71274c1f0e09c457dca8d852","datavalue":{"value":{"text":"Logics for some dynamic spaces-I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5262486$18834097-5B49-4632-8716-74987081FAC9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c3d52640975f560da86e2d31bde9b528709e1b36","datavalue":{"value":"1334.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262486$66DD47CC-4307-4A07-8378-CAEA6D24953E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31c52c47ef2dfd655550067833a8c4c40335a633","datavalue":{"value":{"entity-type":"item","numeric-id":763467,"id":"Q763467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262486$9B859740-2489-4AF6-BC69-B8A88FFB52FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e2f73914b1c8e20d0fdf9934d53aad8dc79ea86","datavalue":{"value":{"entity-type":"item","numeric-id":763468,"id":"Q763468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262486$8007E7F6-3A15-408C-8BC5-A51B2D16DC44","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3d4604287d09c54eee9e2f817efbc91cbdb51d79","datavalue":{"value":{"time":"+2015-07-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":"Q5262486$D84BED9C-8733-4F84-88D2-918D664E6036","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa26d74b0c7b8acae10a02e2fba416bd536089d7","datavalue":{"value":"https://semanticscholar.org/paper/426c722fbe632a9dd2838dedf9999b1c8be1bbf6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5262486$E2A2CCB2-5206-414F-BB00-1A91D0329D14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262486$F4620FEE-9D99-41F5-A7ED-67586F3D06BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262486$E39B5081-2307-4BA8-BD2E-8C8FFCF3631A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c251cc1357b5c9131ec28462dccea51e9efd07f","datavalue":{"value":"6458862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262486$CA6F70A6-C8E1-4AAA-9724-28C7ECE7C649","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b6d81377bb9fe493e0b31a63d9717069578b5b3","datavalue":{"value":"normal modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262486$6EAD57D4-0706-44C4-B0AB-2807B7E9843B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262486$C1F20473-6B67-4080-9837-FBA86C60E80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9fbca3db8ff6c6a010b7d5e9827644aa99f5b0a","datavalue":{"value":"tableau-based proof procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262486$5FB8EDF4-B6F2-498D-B5CA-9FE3722E5681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d3d998511d73d2841e9a134888e3c3d9c9c5211","datavalue":{"value":"combination of modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262486$8945F90F-893E-4CB8-B2CE-E3F04E7FAF7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97fea2aeeee4d0858ea637bc0aa4f895360a5a36","datavalue":{"value":"rough set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262486$35FD28B6-75A4-4CC2-A01E-DE65E1FD31FD","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":"Q5262486$1D719D90-DF8B-421A-B654-1E5A1CE48FB6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc36936677a72149fc091a407aa8d949c8cd40b3","datavalue":{"value":"W2140653223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262486$13399827-D3BB-452D-B4F4-7E793B47FD4F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb92f5ff2e43f45c4b618a47290c944cb9a0c2ac","datavalue":{"value":"10.1093/LOGCOM/EXU055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262486$6A0EC3C0-9E93-4E61-B5AC-8AA364543969","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":"Q5262486$D04B5DC9-FD01-40CD-9DAF-697259E5F618","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34b5c833d4aaaf1178f9b519a5e4464a51fd5515","datavalue":{"value":{"entity-type":"item","numeric-id":5262487,"id":"Q5262487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fddc15ebdb1bc6880676c5f627dca2fc2e1be08","datavalue":{"value":{"amount":"+0.8881182074546814","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":"Q5262486$A1B10BD6-B734-46E4-9FCB-8C4C3D03D828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2d175ee426ce7605a385b28c6951372897b490b","datavalue":{"value":{"entity-type":"item","numeric-id":3000097,"id":"Q3000097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57391111ec4222523e807e1fab6d14a1692f4eb0","datavalue":{"value":{"amount":"+0.8310302495956421","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":"Q5262486$E32DD866-4373-4CA9-B3C5-40AAD9D69FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3c7fb62c0d3fde9e22a649e6bb58082e88f7714","datavalue":{"value":{"entity-type":"item","numeric-id":3647263,"id":"Q3647263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31910272328685948b05e2a63d78e4ce28dffc3f","datavalue":{"value":{"amount":"+0.758634626865387","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":"Q5262486$8774D4C4-D4BE-4760-9016-F5BF2ECF2DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85476dc5fbe5b0910caa0051180d744c0b7d2134","datavalue":{"value":{"entity-type":"item","numeric-id":1960421,"id":"Q1960421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e635792499025d04ff9560c026c0f08c17508e97","datavalue":{"value":{"amount":"+0.7469746470451355","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":"Q5262486$781DCFAE-2163-426D-9934-11C06D787209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46f3ccdc964a85d8f5a55c3b3176f909dc1f36e6","datavalue":{"value":{"entity-type":"item","numeric-id":2946648,"id":"Q2946648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35a1267b7c13563c77ddf574ab14c47d924f9f84","datavalue":{"value":{"amount":"+0.746696949005127","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":"Q5262486$9848C47E-408E-403D-B40B-595F24355DBD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logics for some dynamic spaces. I.","badges":[]}}}}}