{"entities":{"Q5483004":{"pageid":7512564,"ns":120,"title":"Item:Q5483004","lastrevid":55946989,"modified":"2026-02-21T10:07:52Z","type":"item","id":"Q5483004","labels":{"en":{"language":"en","value":"Decidability of IF modal logic of perfect recall"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5046358"}},"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":"Q5483004$F2900725-47D7-4A26-B731-C6ECA7ECA598","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2af0a40562dd3798b2ca813fab436ad846310494","datavalue":{"value":"1102.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5483004$0AC9E174-4413-43BC-B30E-532D62D2691A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bea1d0142d11d1c2ccc74930bc0b7645a3b45e9","datavalue":{"value":{"entity-type":"item","numeric-id":169439,"id":"Q169439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5483004$E9D22076-7368-403C-84D5-BAEE71717B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4fdee91c38391aeb9065dfab736680a56bfca37","datavalue":{"value":{"entity-type":"item","numeric-id":514034,"id":"Q514034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5483004$B966BFFB-F731-4CF0-9E5B-DA1ED058D6CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3cbb3254b31442e822e7981595599f2c0a13db67","datavalue":{"value":{"time":"+2006-08-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":"Q5483004$0FD2307A-E1CF-47D9-98CB-674EDCF34C02","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5483004$D1396692-1ADF-453A-960B-76905B5637CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5483004$586C3374-7BDC-4227-A95A-46161E9C20DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36b086d0544e6efd2c7603ec0a224e00428c931d","datavalue":{"value":"5046358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5483004$07F27B0A-0AFE-4B91-83C1-55CB6520115C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5483004$F4E1B995-63C0-400B-BA95-477D32E93081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b57c832f4b21b0ae9151495d8a971f39ac6c1824","datavalue":{"value":"validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5483004$7F4FDF0F-AFFF-4C2E-8AE7-BE51A63BD04E","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":"Q5483004$11AD6ACA-4550-4AD9-B06A-FE082A146623","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c87dd66e300a0dd95f3d9f97d7abf8f5954e1d02","datavalue":{"value":{"entity-type":"item","numeric-id":3718681,"id":"Q3718681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c3d02a524567d4b242f701ee3ac02bbeab5ad3d","datavalue":{"value":{"amount":"+0.7925888299942017","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":"Q5483004$C09EF43D-B4C8-4BB6-83D1-FDD863B93F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b98ba21cf33c2f3a387bc04d072055415a132d3","datavalue":{"value":{"entity-type":"item","numeric-id":4966494,"id":"Q4966494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b9a141c71bade9c65266ac5aeb1467eea2cede7","datavalue":{"value":{"amount":"+0.7908846139907837","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":"Q5483004$0C924B41-D1BB-4016-8E8A-3B3100C59E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7927de452d0f527d42b9014ff1f5bf7e80b3f766","datavalue":{"value":{"entity-type":"item","numeric-id":3509069,"id":"Q3509069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9a8180c20ca6f6386e066663b69869ca0370c29","datavalue":{"value":{"amount":"+0.7715537548065186","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":"Q5483004$66D49E0A-3441-4D1F-91B7-2633587484DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35464d71951e45be763956f480e2c20953eb1dfc","datavalue":{"value":{"entity-type":"item","numeric-id":3085172,"id":"Q3085172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef4ef258382490c044fd1fd83e4eedbb15b4576a","datavalue":{"value":{"amount":"+0.7682344317436218","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":"Q5483004$48F768E9-18C6-42DF-B4F7-D200C659EBD2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5483004","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5483004"}}}}}