{"entities":{"Q3613348":{"pageid":5643254,"ns":120,"title":"Item:Q3613348","lastrevid":88531943,"modified":"2026-06-04T14:46:34Z","type":"item","id":"Q3613348","labels":{"en":{"language":"en","value":"Infinite State Model-Checking of Propositional Dynamic Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5528218"}},"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":"Q3613348$77FA5AEC-9226-4F63-ABD1-A941A3C3883E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fdca1896f8cc7ee9b78a83b424175bc03b4b71fd","datavalue":{"value":{"text":"Infinite State Model-Checking of Propositional Dynamic Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3613348$02143F6E-E128-42FC-9EBE-F1016DB73D85","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b3ba4efd2b10b5129bda17bb9d06d50c4893c186","datavalue":{"value":"1225.68116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613348$73B9957B-23EE-4A86-85CA-0CBFCB652FF2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d795d2dd084f0fe904ed1e354249fcbe8bb083f6","datavalue":{"value":"10.1007/11874683_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613348$D8EB7C68-60FB-40C1-8EDB-42A74241204C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec1bc0849059b0a991d5eac196f85a97b908b21d","datavalue":{"value":{"entity-type":"item","numeric-id":959056,"id":"Q959056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613348$A394FB80-FD1B-465A-BAE5-FBEF2BB03A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db8f30a521e20eb0f40199bc337d407bb71223c1","datavalue":{"value":{"entity-type":"item","numeric-id":269346,"id":"Q269346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613348$5BD59DD1-D284-4764-9C36-4907AA0C1E2E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ce06ac78cec2c642b9fbad4cd2a2e4121754d54","datavalue":{"value":{"entity-type":"item","numeric-id":3540165,"id":"Q3540165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613348$0402F15A-054B-454F-ABE0-C7984918177B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5633353462eee310c4db3234ed97ea2c49f28694","datavalue":{"value":{"time":"+2009-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3613348$62930151-1A74-4249-A047-98A6104346AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"39f4a5b8c6770c805bdd80ca6f0facbdbffa8d24","datavalue":{"value":"http://elib.uni-stuttgart.de/handle/11682/2588","type":"string"},"datatype":"url"},"type":"statement","id":"Q3613348$6009BBA2-9A96-4280-8AF6-9D6525690A18","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613348$3A1A5F16-C897-412C-A988-BB175B3E3092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613348$2C92F806-9225-4A90-9A2E-23C85DE21251","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"343165eea5031da526f83eb7de40562fb2390549","datavalue":{"value":"5528218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613348$9389E9EB-09F5-4CEB-B506-325B5BAE647A","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":"Q3613348$1FD2872D-5070-4418-BD24-0074CEDD6899","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"93b0ff63ed80bf3c4296b21487ce95e4fedde7e7","datavalue":{"value":"W2101321886","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613348$644B60CA-1735-4440-92DD-E0B95B589A5E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2eb6ce98ae8317df1eb9b436c09a370a65180c27","datavalue":{"value":{"entity-type":"item","numeric-id":3616354,"id":"Q3616354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aefcde6a8f7f32cf5240ea27ad47915b74e052a9","datavalue":{"value":{"amount":"+0.8724099397659302","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":"Q3613348$DDA692B0-7524-42B1-9A0D-BC3D90B1D228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44c8fc67a7fcf4094f85c00218a1c310b257cf0e","datavalue":{"value":{"entity-type":"item","numeric-id":3393869,"id":"Q3393869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfa972a470e8a3cb46e974751410bc408fe76642","datavalue":{"value":{"amount":"+0.8552134037017822","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":"Q3613348$8C78C4AE-64A2-49BD-AB88-E28665CE652F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3c453744c49ca3054b0709c44051fe1b80bcdc4","datavalue":{"value":{"entity-type":"item","numeric-id":4234763,"id":"Q4234763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08e569cec90427ab8cdfb2ec33a215783edf9c94","datavalue":{"value":{"amount":"+0.8531463742256165","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":"Q3613348$451FD27E-C7F6-41D9-B33D-3C59952E7183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"119fd8add0a2bcf074e67b3a6564107ff3d97cae","datavalue":{"value":{"entity-type":"item","numeric-id":2494725,"id":"Q2494725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31f85daf7b8041e4139e3fb3e158ba7e46b02eb9","datavalue":{"value":{"amount":"+0.8482546210289001","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":"Q3613348$D7DF8A8C-B09B-4AE5-B991-4EAAFE0E1D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c728f909c4e661abf45de4d6d8c9c8a3995d64c6","datavalue":{"value":{"entity-type":"item","numeric-id":2757842,"id":"Q2757842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d40616d09ea8fcfede2f5741c2831ca1b56ff4f6","datavalue":{"value":{"amount":"+0.7941994071006775","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":"Q3613348$2D3F37C1-0AC2-4B56-9918-D70C03871B2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Infinite State Model-Checking of Propositional Dynamic Logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Infinite_State_Model-Checking_of_Propositional_Dynamic_Logics"}}}}}