{"entities":{"Q2556329":{"pageid":2567072,"ns":120,"title":"Item:Q2556329","lastrevid":79024745,"modified":"2026-05-06T12:58:34Z","type":"item","id":"Q2556329","labels":{"en":{"language":"en","value":"On the finite model property for Kripke models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3394123"}},"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":"Q2556329$10A9D838-5325-41A2-8A4F-3C753BCE159A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97f268559fe9ccba7ee53578fef6b67111356ff4","datavalue":{"value":{"text":"On the finite model property for Kripke models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2556329$22790A82-CF2E-41F8-B6E3-897ED34FCFB3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e7ea9dc67c94b2feddc7d07681c011c2f9852b7a","datavalue":{"value":"0249.02022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2556329$3DDCEE07-FDCF-4C21-BF42-18C7F5041087","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f946dfe6b3be96d34da1ef7b14a483222b37bfb9","datavalue":{"value":{"entity-type":"item","numeric-id":190257,"id":"Q190257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2556329$FEDA7307-4D2D-4A13-ABC5-162E11D233CC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c56c33ef3e883cbe56a171d93462893c540cb008","datavalue":{"value":{"entity-type":"item","numeric-id":174692,"id":"Q174692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2556329$5A79484E-704C-4D72-AEE7-D085B631DF59","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"652ad65ffdd573691be68fbfe67aa0cdf6812549","datavalue":{"value":{"time":"+1971-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2556329$032C1B3E-4B93-418A-9424-29B61F6AFB0F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2556329$16A98791-B8EA-4217-B3C8-78D29FA474FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2556329$6E3B6BF2-010E-44D9-87A7-58BDA4F2D3C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2556329$1459504F-97E7-433B-BCC2-990F5E0CA1B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd04a47a39838a66eae8a951fd0abd532f5e93ae","datavalue":{"value":"3394123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2556329$AF547BE2-A1C0-4469-B7D5-774699661977","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":"Q2556329$48F806A2-2657-4B21-8E39-9252877687DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8776fcdea93aec82e7cd3048591b90856bd40a43","datavalue":{"value":"https://doi.org/10.2977/prims/1195193783","type":"string"},"datatype":"url"},"type":"statement","id":"Q2556329$6415F27F-063C-4F3E-AC39-25149B54425C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"273aa51ea4cbf840cb1ef986b05025ef703a94c8","datavalue":{"value":"W2055566308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2556329$E86FAE98-BFE5-42A1-98A9-1E7CCFF7D431","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"96cab77cfdf602d1aab7b2856b4482a0f4f22e59","datavalue":{"value":{"entity-type":"item","numeric-id":3247123,"id":"Q3247123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2556329$54ABD697-1128-4C8E-81A9-9DD379C71100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37e02197a1430e09eb6e4954a3307176638f7614","datavalue":{"value":{"entity-type":"item","numeric-id":5509710,"id":"Q5509710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2556329$EB505097-27C7-43CE-A77F-F6A84A0225DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18acd13838cbd2b8d817ea9459757c3a0df03ef0","datavalue":{"value":{"entity-type":"item","numeric-id":5525332,"id":"Q5525332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2556329$AE586FA2-7A8E-4D57-A27A-D57820F2F7FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d14d473b17b76e9069e2128d7a1079b30d8eac4","datavalue":{"value":{"entity-type":"item","numeric-id":2548955,"id":"Q2548955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2556329$77423CEA-BB88-4804-AAF0-6B8A76DF5464","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e4d7cd72718801f6f71eee928d9e1335918cd50","datavalue":{"value":"10.2977/PRIMS/1195193783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2556329$973B31CE-E377-479C-98B4-2B767A8B2E33","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the finite model property for Kripke models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_finite_model_property_for_Kripke_models"}}}}}