{"entities":{"Q5505597":{"pageid":7535157,"ns":120,"title":"Item:Q5505597","lastrevid":101382197,"modified":"2026-06-06T01:07:24Z","type":"item","id":"Q5505597","labels":{"en":{"language":"en","value":"Refinement of Kripke Models for Dynamics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5498384"}},"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":"Q5505597$876B1F6C-2B70-408A-A48A-C5BFBB9CF4D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e3392d1bb6479d5977f57b76635913b1ffef0a9","datavalue":{"value":{"text":"Refinement of Kripke Models for Dynamics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5505597$6B831CEE-4768-4014-A3BF-7B34F3FB91CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1534c0f9b6a8cd082a2d08370276089915fb166","datavalue":{"value":"1161.68616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505597$9316A7BE-E325-4399-A59A-9242326007FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3fafd922b891e0b9b1f06e19339e2b0678d48a5c","datavalue":{"value":"10.1007/978-3-540-85762-4_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505597$F5ED1E81-17AC-4375-AC35-4EE60ED070CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0965714bb4ce2cbea2205fc7fac7d959221ee2b4","datavalue":{"value":{"entity-type":"item","numeric-id":625716,"id":"Q625716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505597$4336E111-4B72-43F0-AE70-6DE4E36954CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2652922bfca31ce2044bca7ed71686d498c8b00f","datavalue":{"value":{"entity-type":"item","numeric-id":960853,"id":"Q960853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505597$98BDAFB1-730C-44E3-A894-811EB3204B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1561966e928a982508cd4716841e51c269ace7f9","datavalue":{"value":{"entity-type":"item","numeric-id":456974,"id":"Q456974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505597$6DD27265-6003-48DE-BFC2-7FFC39BA0A96","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ed248be93f2dea7fdfc2631642f97cdf031ba329","datavalue":{"value":{"entity-type":"item","numeric-id":5505591,"id":"Q5505591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505597$FE24C3FD-9B38-412B-BF0A-57AA9E3F1CA8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51e6c39ac6ec91b8381a06fe1e16cf5aca0f2bdc","datavalue":{"value":{"time":"+2009-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5505597$90C76CBD-6A6C-4E5A-99D1-74036AFFE5A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1a24db6aa6399f2d8496b1089994a97f9de7f04","datavalue":{"value":"https://ir.cwi.nl/pub/12691","type":"string"},"datatype":"url"},"type":"statement","id":"Q5505597$48151856-6C29-41D3-9D15-0C1B170F7FFC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505597$60A8AA19-44D3-46C4-863A-297B077DDABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505597$046F8887-7E59-4AD6-B857-AAF66662B2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505597$6C344BE0-7052-4C07-915E-302563A5953F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28fde3004828e23c7c74ae66de8f832627176b44","datavalue":{"value":"5498384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505597$6019CFF8-E5D9-461D-A772-6F0CA49AC0F4","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":"Q5505597$55C3E7F1-0D08-49E6-849C-17E493673F43","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"882045d1846982207b73afe6b2d97763e06bba00","datavalue":{"value":"W2148725542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505597$B8C5B994-2354-46BF-B934-30336E76F7D4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2f7c85c9158e540c7bf3bd33b6efb83249fde9","datavalue":{"value":{"entity-type":"item","numeric-id":2431873,"id":"Q2431873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505597$73F1EB4C-32B8-4621-929E-4A7094A0C3B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ed9a3df0fe6e59184c7ec28a20fc3c19007e4d6","datavalue":{"value":{"entity-type":"item","numeric-id":859825,"id":"Q859825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505597$191A589B-248D-457A-9D85-E56A75AA5538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ea5c7bfcd7d33e8177170c842fe7d83d5fbf89c","datavalue":{"value":{"entity-type":"item","numeric-id":4206382,"id":"Q4206382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505597$46FEC686-49AF-43B3-BF2F-C840A5A10758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8aeaa067eaf59eaa5b972ab9540d0bce174859","datavalue":{"value":{"entity-type":"item","numeric-id":3498468,"id":"Q3498468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505597$5570BF97-3F36-47F3-8FA2-41D91106FF54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505597$12140F8C-8061-4945-8583-90E87B04D606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06af39ba7611ce840efed59d15b9062e58635f61","datavalue":{"value":{"entity-type":"item","numeric-id":4804892,"id":"Q4804892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505597$09FA551F-0466-4CA4-9B60-8D10A8C280D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17202040f1bd9e289c29fe7f13c3f54f07551be","datavalue":{"value":{"entity-type":"item","numeric-id":4738471,"id":"Q4738471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505597$D0B18B3F-27B6-4AC0-8B0D-243D299056E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f13c25db087bdf674e29c2dc55122c172c3a69f","datavalue":{"value":{"entity-type":"item","numeric-id":2386105,"id":"Q2386105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505597$99AD0677-E581-4427-9BBC-88434984DCCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e07930ce4911f611d084d7578c97cdc8fb3f729","datavalue":{"value":{"entity-type":"item","numeric-id":2763694,"id":"Q2763694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505597$5D3E681F-5B1E-4913-A1AC-FCAB41576064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e81f1ba690a11e8176634e917feb344e5153c29","datavalue":{"value":{"entity-type":"item","numeric-id":5312997,"id":"Q5312997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505597$89661C52-EA3B-4B48-B788-898595A54B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff414244bf758d79edc5524153ce36d943ea298","datavalue":{"value":{"entity-type":"item","numeric-id":953926,"id":"Q953926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505597$C9DE4B30-945D-400D-8812-E765F45213CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec92436370c595b95fddd51996f595498ae0597a","datavalue":{"value":{"entity-type":"item","numeric-id":476194,"id":"Q476194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57daf7af44a60c161dde35bd7968175206ad17c8","datavalue":{"value":{"amount":"+0.780156672000885","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":"Q5505597$B09CB60D-8BD5-42F7-A526-FD21CAD5984D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e456e3d336924c568fa2b0fad86960a900024246","datavalue":{"value":{"entity-type":"item","numeric-id":5419886,"id":"Q5419886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e9f7e04a4ac54e25ee17e50d5ccb0f6215a0da0","datavalue":{"value":{"amount":"+0.7679592967033386","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":"Q5505597$8A9E65D6-7F5E-44E8-B983-48E00DD6F510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9471ea1242051a8f3c89df7e03b99536376b630","datavalue":{"value":{"entity-type":"item","numeric-id":393906,"id":"Q393906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86f8e12c3dae4bab4e441004d240d5e518f969f3","datavalue":{"value":{"amount":"+0.7616970539093018","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":"Q5505597$985EDCBE-2D97-48BF-8B68-68DB96493F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51d3e05057099d615d69c126e12868d2d4d21a70","datavalue":{"value":{"entity-type":"item","numeric-id":3457711,"id":"Q3457711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f01c82c9e7cb0bc8fe2325be5951e9a9e7185b2","datavalue":{"value":{"amount":"+0.7537044882774353","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":"Q5505597$58B119DB-E079-41DF-A4C8-F4831D3AB8C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32427d305ddef54839c3b7329aee15f5f050c510","datavalue":{"value":{"entity-type":"item","numeric-id":484925,"id":"Q484925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"896cb8cba76203175215554aa5676596e2c74bcb","datavalue":{"value":{"amount":"+0.7536547780036926","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":"Q5505597$24801E78-13DF-4D69-9C82-D060AE60FA7A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Refinement of Kripke Models for Dynamics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Refinement_of_Kripke_Models_for_Dynamics"}}}}}