{"entities":{"Q5930988":{"pageid":8107790,"ns":120,"title":"Item:Q5930988","lastrevid":47606023,"modified":"2026-01-02T05:07:35Z","type":"item","id":"Q5930988","labels":{"en":{"language":"en","value":"Two decidable classes of formulas of the modal logic S5"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1592275"}},"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":"Q5930988$54332FE7-B639-4B58-9DE5-07B1FEB507DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bee44a2d02f39ab2f8a5e97357ada527949318ba","datavalue":{"value":{"text":"Two decidable classes of formulas of the modal logic S5","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5930988$723D2A25-C52E-484F-9BE3-5298AE41F204","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e5d2a7b05abbf195b07f9d88cc2b0251399b607","datavalue":{"value":"0969.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930988$C55D1CC0-3E41-4D2C-A224-6D4C1A66E729","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b9714f716f030a75e3d42b451b2e3c4413d7e91","datavalue":{"value":"10.1007/BF02465136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930988$E21C668D-9B3A-474A-A04F-C1AEAB24B251","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6eae2a8f4ab11bae8edce7ff6ed79c3ee5c09211","datavalue":{"value":{"entity-type":"item","numeric-id":90731,"id":"Q90731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930988$8C4C80F3-06A2-4E33-8D5B-F0F9C52361C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"01025e4e0db5ed45cddb918946199fe4c9ef64ac","datavalue":{"value":{"time":"+2001-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5930988$A45938C3-94E9-494A-841B-0B668DADCE71","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930988$AA6041AF-5A8D-46E0-BB32-087FBD845FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930988$34C9355A-A3B9-4A12-ABC8-03F7ABE27F0B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68f4f1f1e82c70e02c11035b6e2052b777d4ed15","datavalue":{"value":"1592275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930988$61F0FDBF-BC14-4ACD-A324-3A211067172F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab53a3eafcb701aeb5fc32dd7514119028b4388c","datavalue":{"value":"decidable classes of formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930988$00BCB5C4-5096-4D37-8FB6-235B4FA9110E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60fa4cd184cf34533614a94abcb76bed81015810","datavalue":{"value":"Maslov's inverse method","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930988$194A9B28-6191-4E99-8B7D-7C1D2009D9C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930988$AA2B13DB-552E-46DF-9751-373E086A6912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97afa1741079db9668b24cfe4f3a768ccc3824fc","datavalue":{"value":"derivability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930988$3815AAB3-7500-4ADA-BE0B-DF7888E70135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29bc47da3cbc8cd9d4d9dd1fe691b242773f06fa","datavalue":{"value":"quantifier modal logic S5","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930988$8ABB2FD4-0CEF-4CA5-997E-E58654D624D0","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":"Q5930988$DD4F1491-C512-4205-9533-A383F5157F86","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3286afd2ff8ad0f6092c744870cbedcad0d8e31","datavalue":{"value":{"entity-type":"item","numeric-id":5534212,"id":"Q5534212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930988$5807C3CA-1151-4039-B7C5-507EBA70D1E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c74fbfef69ae5ee2001acd34a40ab230e1ff815","datavalue":{"value":{"entity-type":"item","numeric-id":2543322,"id":"Q2543322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930988$115014EC-DB7B-4D39-9C00-530E828A0FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eeb5037f851962569191306a95268775e451fe6","datavalue":{"value":{"entity-type":"item","numeric-id":5335309,"id":"Q5335309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930988$7B95934D-80B8-4D34-A9EE-FDA503A3824B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b7988a3870dc84b1a83d265422d6eb0fa6c1ff0","datavalue":{"value":"https://doi.org/10.1007/bf02465136","type":"string"},"datatype":"url"},"type":"statement","id":"Q5930988$16A0882C-24B8-4794-81ED-8C03995B4793","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"99519b069d46a00a70965c683c55a8a7f647098d","datavalue":{"value":"W2158806800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930988$9A64F729-D330-45FC-AC9D-58A0D4202A2C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0d55341eec6c282e4b66dbde2572687394e3f46","datavalue":{"value":{"entity-type":"item","numeric-id":2791894,"id":"Q2791894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930988$E2C9220E-5638-47EF-A800-9751944BB38C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a07c9712f59fa6d965aeb3d830723db6ecacc63","datavalue":{"value":{"entity-type":"item","numeric-id":1873248,"id":"Q1873248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e694c8b12c937ecb9d6cd893d0d96807afc5423","datavalue":{"value":{"amount":"+0.8249220252037048","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":"Q5930988$11566C9A-C50C-43E3-B54F-79F9ECF809BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b60987f4308e6d760c738e339de34391092a3b0d","datavalue":{"value":{"entity-type":"item","numeric-id":3586019,"id":"Q3586019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2abfbb8ae1acb59dbac6d030b98638d6f380bc11","datavalue":{"value":{"amount":"+0.815300703048706","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":"Q5930988$B27DBAC9-C83C-4E08-ADA2-AB8E895CE1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0286684136b6b9a0d522f8cd1ac32e5399b558a9","datavalue":{"value":{"entity-type":"item","numeric-id":583187,"id":"Q583187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f5042a5a12b3d6f9ad72014c6bb8507a860fd00","datavalue":{"value":{"amount":"+0.7904205322265625","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":"Q5930988$9A1829A3-5476-4AE8-9BE0-04D836115344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3566294723f47781d52fdbc8a14e9820ae95eed","datavalue":{"value":{"entity-type":"item","numeric-id":3680806,"id":"Q3680806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ec04ef91a2f3eb230ebfe9ea0799390279f7d6d","datavalue":{"value":{"amount":"+0.7772623896598816","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":"Q5930988$8BC09527-4E77-4EB3-A1AD-9858CD85877A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d6d1040edd6cd9a9539e650c1cdf126db456f46","datavalue":{"value":{"entity-type":"item","numeric-id":3409447,"id":"Q3409447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c47a2de94975f4ed79ace0bde43d1cfe08ebab37","datavalue":{"value":{"amount":"+0.765892505645752","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":"Q5930988$B5417EA3-D1E7-439E-BAFD-DEB81830C3AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5930988","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5930988"}}}}}