{"entities":{"Q5082324":{"pageid":7111900,"ns":120,"title":"Item:Q5082324","lastrevid":91343723,"modified":"2026-06-04T22:55:54Z","type":"item","id":"Q5082324","labels":{"en":{"language":"en","value":"Modal logic with non-deterministic semantics. I: Propositional case"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7542736"}},"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":"Q5082324$33DF1BAA-32A6-425C-89F0-C2D1E9F3345D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7321cf64eb44504c702d602e1235359c0aa392f9","datavalue":{"value":{"text":"Modal logic with non-deterministic semantics: Part I\u2014Propositional case","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5082324$B6CBB2FE-4987-400D-94A8-6C35AD6A0876","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41d85818976d96dd036ac82822b1dfe876e0b834","datavalue":{"value":"1494.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082324$52FCD0C0-3D02-456E-8CFA-8179D58A2C6A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"abb72aee385d3c375008fbb213dbc232938cad53","datavalue":{"value":{"entity-type":"item","numeric-id":186027,"id":"Q186027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082324$8BAC51F9-BD36-48DD-AF7A-F638869EE0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c75bcc72e91ce2be54b15b80f8087875119be7c","datavalue":{"value":{"entity-type":"item","numeric-id":2326720,"id":"Q2326720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082324$FC98E483-D788-49AB-BB40-40202D47432D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64f9a509d01fdcf90197890b2b90647471b02f5e","datavalue":{"value":{"entity-type":"item","numeric-id":5082323,"id":"Q5082323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082324$03C048B2-69E8-4ADC-B7DF-33F733A89538","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082324$608E9BDC-2BFA-4B0C-B45C-3A959D6F11D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"580f0f96aeb8ad5d0ecf7e4b543854571d06dea8","datavalue":{"value":{"time":"+2022-06-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5082324$043E5E76-86DC-431C-AB99-14410DCB44AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082324$40AC3F62-06C8-47FB-B1FE-68B06DB56E2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9fe99b23b4fef2688f665f8480d4c54570ef902","datavalue":{"value":"7542736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082324$EC695754-6986-49B7-8F01-2C81EEC56FD4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2ac2883b93bc6d38f9b54353e42de243081356","datavalue":{"value":"propositional modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5082324$4A7C889B-6484-4DBA-B39E-523B4CCDA1FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"496b9973e3b06473381d8df2748e6ea2128b03fb","datavalue":{"value":"non-deterministic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5082324$D68B32D0-ED11-45E7-AD62-6D8CEED371F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"689f737bf0772b33922e3e4d2fac7f3fbdedf2d2","datavalue":{"value":"finite matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q5082324$745CDEE2-4DD0-4A76-A2EA-5A82431C2EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20e4777d0f04f0ebf3150e6b7b743d9629cdeddc","datavalue":{"value":"recovery operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q5082324$E2C98825-483A-4CC3-AB7E-708A10D63F44","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":"Q5082324$6126D1F5-471E-43A5-B366-8B9DD6B9D408","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e1e58414e38fc7a67db73488d402c9d95bb1e39b","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzz027","type":"string"},"datatype":"url"},"type":"statement","id":"Q5082324$6353579A-8588-4569-89F8-F21CBC6FC52B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3cdc70ec97e8faf1b6c4a572061bee60eb72838d","datavalue":{"value":"W2977350810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082324$0882DA66-ED44-4388-8034-B935047BD663","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"133a4509a36fe1f0e568a047003aee74ac16e976","datavalue":{"value":"10.1093/JIGPAL/JZZ027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082324$CAE2FE0C-EDD1-4709-B2BA-F1F9D5FB0E34","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e22b20d61e6cc64bf4106d7e0db1caaa0984a4d","datavalue":{"value":{"entity-type":"item","numeric-id":4586135,"id":"Q4586135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a04362f8fcdd2bb7d96f51f006607ecf9c47ee85","datavalue":{"value":{"amount":"+0.9055464267730712","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":"Q5082324$F6A001D1-F25A-4C17-8CDC-8053BA8C8DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11de348693e72ee51cfb6aa2e95b862e239e3f00","datavalue":{"value":{"entity-type":"item","numeric-id":3007244,"id":"Q3007244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"641d2c614111182d9fcbcb9881bf1abcce959b88","datavalue":{"value":{"amount":"+0.7960618138313293","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":"Q5082324$4B9D1D76-819A-4486-8B8E-7163B88E6310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d64e01b9eed7f26d06c4aeb6ff1a45e88713e31","datavalue":{"value":{"entity-type":"item","numeric-id":4303543,"id":"Q4303543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb6477f6cde96e43b8823f59237ae5b6a95d9f10","datavalue":{"value":{"amount":"+0.7872816920280457","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":"Q5082324$FD3B746B-59AC-4DEA-B68B-24DC3A3FE534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc6d0fce0fc261cfdf46470d7df13d05daba6162","datavalue":{"value":{"entity-type":"item","numeric-id":2317515,"id":"Q2317515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e60dcfdc65e09394e58bb751a4d1a40026639628","datavalue":{"value":{"amount":"+0.7870854139328003","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":"Q5082324$D5FEDDFE-E602-4F96-AB6D-92EC8E7681D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"826c5697af1008ecd9ce3bec15eb36d6b323db91","datavalue":{"value":{"entity-type":"item","numeric-id":2254571,"id":"Q2254571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"720b7cda01edf1ce9ac393c00a4f6cdf6fb8627a","datavalue":{"value":{"amount":"+0.7865042686462402","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":"Q5082324$3F259A09-F677-455C-84EF-0782A4B063C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modal logic with non-deterministic semantics. I: Propositional case","badges":[]}}}}}