{"entities":{"Q3172863":{"pageid":3183573,"ns":120,"title":"Item:Q3172863","lastrevid":51341840,"modified":"2026-01-17T20:25:27Z","type":"item","id":"Q3172863","labels":{"en":{"language":"en","value":"Formal language constrained reachability and model checking propositional dynamic logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5954742"}},"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":"Q3172863$A574FD95-FDA3-4D39-8613-26E06890A1E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ea2e6cbbbf1e2dfd903c9e3b81c5fe998ab9778","datavalue":{"value":{"text":"Formal Language Constrained Reachability and Model Checking Propositional Dynamic Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3172863$EB7F8DED-4F6D-4DB2-A96C-9176A62F6D3C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48c98706d135da8ca0e54249e08b1c08a837534f","datavalue":{"value":"1348.68090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172863$A50E6C2C-BA23-4EA4-84A4-2F25BF13CEC3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74148baf756c1fc09fa9a6a07cdcd0009fe66c0d","datavalue":{"value":"10.1007/978-3-642-24288-5_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172863$15CDABC7-0C77-471D-BA9D-F0187C9A5E9B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d663d8d042ad059afec50267b30fb7ea3a7627e","datavalue":{"value":{"entity-type":"item","numeric-id":3083625,"id":"Q3083625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172863$D825F329-D6D9-4ED5-A3B7-B6C128049AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e9395c4897e056d54eaef255c0b18eeb46bea27","datavalue":{"value":{"entity-type":"item","numeric-id":386036,"id":"Q386036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172863$F22F5CA2-3D42-4B03-A18A-941B2D59BFBA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172863$130C58EB-EE71-4CBF-B427-1401984708C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d9bd2d9b28ae12e022b2e08f4abf17c1216ac47","datavalue":{"value":{"time":"+2011-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3172863$75307591-368E-4012-888F-AC961D57265C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172863$65094542-FE18-4C1D-9C9E-F3C3E1CFF2AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172863$5AD6D9F5-9FAA-4D0F-A3D3-77F2E088192B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172863$16107AC7-934A-44C3-AC51-CBFA2F289066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172863$90CF9A19-A01C-4A00-AD8D-E9CBC92390A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"706449e92733bf50a5ca7ba0dc4a4f9c0dd07442","datavalue":{"value":"5954742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172863$00DD3ADA-C18D-4C21-A6B6-E384D5635BC2","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":"Q3172863$81E27C30-622E-44A3-A60D-4C6F825DF84D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6674b616db0cf0c5c24a79bcab29607d34eee16c","datavalue":{"value":"https://doi.org/10.1007/978-3-642-24288-5_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3172863$4D0CC007-13E2-4C98-8941-80E21A92CDB9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7735b7dcc1338c3b38b7f1b9a213ac449758c33f","datavalue":{"value":"W132154402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172863$B793CA90-85A7-4EA1-99D6-1B05C9C06255","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beb974bc2d605da6e61f3a345b56bfa334ee03d2","datavalue":{"value":{"entity-type":"item","numeric-id":3613348,"id":"Q3613348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40bef2c22cf42cacf6593724038997a06baa91e8","datavalue":{"value":{"amount":"+0.7709606289863586","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":"Q3172863$257B81AB-539B-49C5-90D2-72F223623527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8870abfd7ecccab2b6035f918ecaf8a0fcd3b2a4","datavalue":{"value":{"entity-type":"item","numeric-id":5199972,"id":"Q5199972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3b2b583b09ddd9702506f196bf1c3f2003374a8","datavalue":{"value":{"amount":"+0.7648978233337402","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":"Q3172863$AC42C3D0-F533-4B2D-BFB5-A06B58A81DD9","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":"1796d7760532537f7e2d0078d3a64a43521223f1","datavalue":{"value":{"amount":"+0.7563959956169128","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":"Q3172863$6779FE96-C817-4556-B31B-C0406855D232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b3a553b62a3c27868d99f6be9eda412ce9504e5","datavalue":{"value":{"entity-type":"item","numeric-id":5496194,"id":"Q5496194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a0188b76ac7c7c2e720f2c1324c3f76542c381f","datavalue":{"value":{"amount":"+0.7533384561538696","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":"Q3172863$3DBC2744-630D-4F8A-B97A-CFACC3AF3CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e10daf4a2f969c91a9a69c446122704635e5c5ab","datavalue":{"value":{"entity-type":"item","numeric-id":4976380,"id":"Q4976380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"652c6a3cee37d911ba503ba6b8bdaea815cc3a2f","datavalue":{"value":{"amount":"+0.7511491775512695","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":"Q3172863$A1DD5284-298F-4F7B-A0EC-529FD34DFC54","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3172863","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3172863"}}}}}