{"entities":{"Q5884956":{"pageid":7914508,"ns":120,"title":"Item:Q5884956","lastrevid":101997416,"modified":"2026-06-06T03:16:54Z","type":"item","id":"Q5884956","labels":{"en":{"language":"en","value":"Submodel enumeration of Kripke structures in modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7668107"}},"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":"Q5884956$9A44DC97-805B-4557-8233-AE476B821011","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32a71876d244bb925d1353a77f1ce9ef5b0103c6","datavalue":{"value":{"entity-type":"item","numeric-id":2031040,"id":"Q2031040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5884956$D229AC60-EEE5-4648-B241-AC0331055C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"686a3fe5d11b6343bdc23cbf052aabbee263958a","datavalue":{"value":{"entity-type":"item","numeric-id":393135,"id":"Q393135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5884956$7B6B75FC-0BBF-41B3-A48D-831D011F5092","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e79fb0f81a13e01e2adb5a30058c546d3cd532","datavalue":{"value":{"time":"+2023-03-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":"Q5884956$2D3E52C8-C8FF-4B82-83FA-62C6E0D297CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5884956$E6F36E33-8F99-49D6-BA81-F3CB9424C66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5884956$9A88635C-620B-4429-9C02-1A26430E0CBD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e49b0d1c17a8bd0633224c969bdf0573c0fffa8","datavalue":{"value":"7668107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5884956$F3BEDF7F-FD45-4A5B-9733-3C4FE9F4ABBC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c0a14f4fb7847f582cbd3323a21f51bc1fe91f8","datavalue":{"value":"enumeration complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884956$3E948CD7-3A4F-4FC5-A52A-268953833207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1fa1835d517e9044c8988447d757c57f9111a93","datavalue":{"value":"DelayP","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884956$777036A8-B0DB-4EC6-90DD-F69BF11DA86E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000d054838ba79f1c83227281d29722f07d85a76","datavalue":{"value":"Kripke structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884956$B660195A-4614-418B-A0D2-C1F79E5A2B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884956$7C3EBCDF-816E-4D8D-834B-3AAFDD98878C","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":"Q5884956$5B0A8810-DA7C-40F3-A7C1-7B7929537C56","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9136090cf2c93ab26d3758d7db20fc1cde2b952","datavalue":{"value":{"entity-type":"item","numeric-id":2870111,"id":"Q2870111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc03e860f0aeefeedf9c9f0bf55ffd590675e8c7","datavalue":{"value":{"amount":"+0.7459836602210999","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":"Q5884956$00173422-F441-4D00-BE52-402421684849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54e5bebc3de9950a22d231776dae0a28e9c34a0b","datavalue":{"value":{"entity-type":"item","numeric-id":6657245,"id":"Q6657245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e62f827473f120fa57b96622e6b3b69f0fec3c75","datavalue":{"value":{"amount":"+0.7385578155517578","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":"Q5884956$C665DB0D-EFAA-42F1-92D0-424EDCE0DB15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99075a29069e8b9ccf7b53999493389a3a9d6061","datavalue":{"value":{"entity-type":"item","numeric-id":4584892,"id":"Q4584892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42316e2e002426ddf15b2e64e1c0df80d6fbb5b7","datavalue":{"value":{"amount":"+0.7352030873298645","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":"Q5884956$7F72AD4D-22D6-4ADE-A7AE-302BE8914F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d9ba789f00e2366082f3a69b02d55dd3da42eed","datavalue":{"value":{"entity-type":"item","numeric-id":2848047,"id":"Q2848047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1058f65167b6c18ba43033570688ee27f72c272","datavalue":{"value":{"amount":"+0.7326563000679016","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":"Q5884956$3D68475B-39E4-446F-BCCC-F545FB6F93AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b4990db875ebedeb67c47a3b5b5e484754f891a","datavalue":{"value":{"entity-type":"item","numeric-id":5207888,"id":"Q5207888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e14f6fe5016d1fdf3ff2f11e7a9013620feb62ae","datavalue":{"value":{"amount":"+0.7294771075248718","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":"Q5884956$7CCE8B5F-8EA5-4AFD-90C7-6AAE59F3A31C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Submodel enumeration of Kripke structures in modal logic","badges":[]}}}}}