{"entities":{"Q1433941":{"pageid":1444681,"ns":120,"title":"Item:Q1433941","lastrevid":70393896,"modified":"2026-04-13T14:28:50Z","type":"item","id":"Q1433941","labels":{"en":{"language":"en","value":"A graphical \\(\\mu\\)-calculus and local model checking."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2077744"}},"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":"Q1433941$9F5ADAF7-A949-4A84-8BAE-2D7FB386AA97","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"461a90069026b6b0a84554f0cb1d2d073775ed8b","datavalue":{"value":{"text":"A graphical \\(\\mu\\)-calculus and local model checking.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1433941$82FE1225-774A-4D87-BF5B-75191E71694A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf667b1a3082d3f4f520e1d553cf7ba385eb5a45","datavalue":{"value":"1094.68578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1433941$6B195CF2-1716-4116-858B-6F7C4F213585","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c378493b447349829d0b108a43db84e8d10b28ae","datavalue":{"value":"10.1007/BF02960756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1433941$5F1B721C-EC1E-42B1-9336-CA87D021A6F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"109a2c1db1a35b8bca53c181e382a5e53b01a8c0","datavalue":{"value":{"entity-type":"item","numeric-id":348725,"id":"Q348725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1433941$E34EEEB5-10C3-424E-AE57-6337D3CFDB86","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1433941$8F4CAC7C-FE65-422B-8413-345D12F1F532","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f1c91819e1068c0617e66c7ecdafdccd99ae8ff","datavalue":{"value":{"time":"+2004-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1433941$7B80D209-44EB-4C7E-B308-B636DCE00F2A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1433941$D403CA4C-F9E3-4992-AABD-3B4343C56851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1433941$F977643C-3C8F-4086-A976-0B4BF9B40318","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"415af8083fe704007f531956e3ccb53373b0f5cc","datavalue":{"value":"2077744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1433941$ECD45F61-5E9E-4E32-A845-BDF894BD437D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44e399ffa4e03ea8bd4323d252e8b97259689a67","datavalue":{"value":"local algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1433941$2777C583-62EB-4733-BFFC-CB3DECAC57D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"125cdc45e89b60384297432385159966475b1071","datavalue":{"value":"modal graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1433941$ED9819A1-1842-4BD1-A357-5445F30F8434","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":"Q1433941$A1383324-C817-4623-8B72-B500C3778D47","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"26b89896d12727ad637f84067fae27b2c42f93ee","datavalue":{"value":{"entity-type":"item","numeric-id":2760241,"id":"Q2760241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1433941$CFBA2B1B-7308-4AF5-8823-7B02F210A020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4261c45eb0bdc31b98abbe6dbdb3be8211dfa8","datavalue":{"value":{"entity-type":"item","numeric-id":1122572,"id":"Q1122572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1433941$003CEC98-7370-4A37-8492-1A4B9D2B9196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89136b2861aee80a28bb632c30d89c0ce71953da","datavalue":{"value":{"entity-type":"item","numeric-id":1325844,"id":"Q1325844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1433941$27DDC896-B277-4040-9D10-38CAC8280308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa4614c3d7786f0db16d6ca3adbca9b075e1b1ff","datavalue":{"value":{"entity-type":"item","numeric-id":1177939,"id":"Q1177939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1433941$24BB2FC2-09E8-43E0-82F4-ED789545D3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1433941$F2BCAE12-CDD5-421B-8B75-BC07856DAEB8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f80f0c0fda23968a7cf162e021f0fba0ad757824","datavalue":{"value":{"entity-type":"item","numeric-id":1325844,"id":"Q1325844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e667301111582731cd3e1da918bde0a5b14eda9e","datavalue":{"value":{"amount":"+0.88160240650177","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":"Q1433941$92DCD71D-63DB-4E09-9554-61ACDEC6EF95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc8d5813c096418c5750c749cb37351f8f536c10","datavalue":{"value":{"entity-type":"item","numeric-id":4472245,"id":"Q4472245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"509a2706acb92ab11cd1eba69ed5940149ba9c30","datavalue":{"value":{"amount":"+0.8787240386009216","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":"Q1433941$5D2F55C9-006A-4692-B18C-C80A8126CA6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eb6256bad2c2f5fad3d464a16392ea9b77d5c24","datavalue":{"value":{"entity-type":"item","numeric-id":1177939,"id":"Q1177939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6550b460202969196c0715b0dc5d69584ed1f77","datavalue":{"value":{"amount":"+0.8446235656738281","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":"Q1433941$0E88770F-F58E-47D0-98B6-7A599D22A817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"418cdc3167d6ee27ce49db1b448e034364c485d0","datavalue":{"value":{"entity-type":"item","numeric-id":4738473,"id":"Q4738473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04a899efa5eb8a655d090431a79c3870e3d82b3f","datavalue":{"value":{"amount":"+0.8251305222511292","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":"Q1433941$BB0322BC-4BEA-4DC2-9546-0945A7A47D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14396cd9bd793a2ddf8fa5ff64e5c9589086b357","datavalue":{"value":{"entity-type":"item","numeric-id":5941205,"id":"Q5941205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a196f95d6c3ea6ce42562bf49d61b0912b4b808a","datavalue":{"value":{"amount":"+0.823152482509613","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":"Q1433941$C23062BF-B123-4255-8832-1F5DE510B063","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A graphical \\(\\mu\\)-calculus and local model checking.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_graphical_%5C(%5Cmu%5C)-calculus_and_local_model_checking."}}}}}