{"entities":{"Q1326587":{"pageid":1337337,"ns":120,"title":"Item:Q1326587","lastrevid":70149375,"modified":"2026-04-13T12:46:28Z","type":"item","id":"Q1326587","labels":{"en":{"language":"en","value":"Model checking for action-based logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 569333"}},"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":"Q1326587$AB0FF6D4-85EB-40AF-9037-E96CDDB426A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1327154af6a2c0e6cdb15f78b96d9b19ff6240a6","datavalue":{"value":{"text":"Model checking for action-based logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1326587$D79A97A2-09F7-4866-B031-57155C9B7BD1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29ba9fd86c56cb97179fb2b508376ca03f7a16b7","datavalue":{"value":"0804.68086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1326587$619E39FB-9C52-4A85-BBFA-93122189D1D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"08df2f6c137a2198a94c0d0bda891d7598f56165","datavalue":{"value":"10.1007/BF01384084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1326587$70962C17-A616-4474-9DE1-30CE6B33B050","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"558370a88e7c439ba7e3c3eadd7c0f5c89653110","datavalue":{"value":{"entity-type":"item","numeric-id":246444,"id":"Q246444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326587$3761CC0B-78C2-444C-893A-EB53FC19F9F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdd2984005ce562423e705837ece60ae424b1f13","datavalue":{"value":{"entity-type":"item","numeric-id":246445,"id":"Q246445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326587$B1ED87C3-572E-4FAE-B75A-0B2A14434688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3927d10c42bcd78f1e24a3195293011b1a3f8470","datavalue":{"value":{"entity-type":"item","numeric-id":1182129,"id":"Q1182129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326587$1F95DDC4-5F4A-4099-B7F7-BB1C0B50C564","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326587$7D2F581D-ED0D-4B17-952E-9225C5D5D0CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"133b71b0fc92d3601506c5d1957ecbd2cc63c2ae","datavalue":{"value":{"time":"+1994-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1326587$A59D61EE-BD02-4F8E-BA9F-3B7955B4DBA6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1326587$B2024AB9-78C8-4AEC-81FF-707AD38457C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1326587$1636E235-BB71-4378-A119-94256F65AA69","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc245521b6a147c8ced4d34779abfe685d6f9eaa","datavalue":{"value":"569333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1326587$BE3F0E4B-234B-4C76-AD0D-EC1A21F7538E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1326587$CA9E1C76-4748-406A-8426-44A622D8EF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9167a59c8d49921167589861f612919ae086907f","datavalue":{"value":"action-based logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1326587$78726AA7-3561-4E1E-9FCF-D00F116A3612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ed9d7e915456bbb5f7509634877eda454bb9454","datavalue":{"value":"concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1326587$F9E535E9-C520-4555-9734-EA8BBF4538DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95b0e297a6f226b0435a8c654a2bf65209433692","datavalue":{"value":"abstract specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1326587$0D1B7D9B-2B0D-46B4-B40D-29505864FB4C","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":"Q1326587$920D59E7-0F56-4827-ACC2-53D097268183","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326587$C2D5AB82-7DBB-46C0-842F-52CF8227FB1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326587$92A41F29-03C7-4971-B9E9-80346B9CD81E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21ba3964561c6339cb3ba43543aed014dc7a60d0","datavalue":{"value":{"entity-type":"item","numeric-id":1123183,"id":"Q1123183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326587$E0E98A07-F900-43F5-8EEA-F89D252D5FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326587$85251777-8241-4401-A9A7-A3EE3F34F2B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd44e81af77baad910c4a8b87e7a0a1bfcec8eaa","datavalue":{"value":{"entity-type":"item","numeric-id":912592,"id":"Q912592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326587$A5834155-47DB-4100-BF2E-5CB846824F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f66c7d72619968555f7b4841da4946c8d914c16","datavalue":{"value":{"entity-type":"item","numeric-id":1801498,"id":"Q1801498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326587$139A3C36-CF68-479F-8F35-801CAA9F862B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326587$740D70A4-1876-47AB-9143-1F633D4E1694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326587$C3A74B19-4D3C-4E00-B955-B43B7215DBB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326587$B72C7AE9-D566-49FF-B76A-75F4F2D271DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f8fff6d2653f5e55d025371ea7a7334e5537a8c","datavalue":{"value":{"entity-type":"item","numeric-id":4697197,"id":"Q4697197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326587$E12C312F-E900-4E18-8424-90D5FCED7651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326587$9A31D8D0-B9FF-4112-A288-802784CCEDF1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2654bd68a14f85c4682fbc643aa1bc798c85b4f6","datavalue":{"value":{"entity-type":"item","numeric-id":4697197,"id":"Q4697197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9a810f5e671b76c0a7faa2e4064ef85396f141a","datavalue":{"value":{"amount":"+0.830693781375885","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":"Q1326587$AAED82F5-8145-49F4-932C-3020A764D891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebfb906a9656037721472a56ba99dbe61d2c330","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de985662db4de765a3ffe81dc6a7e24e6c96673f","datavalue":{"value":{"amount":"+0.7831008434295654","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":"Q1326587$160053D4-CE73-48B2-8EA2-95BCE54D619C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f96bf2bd8b24f252d99dec95b9737efabe62e17d","datavalue":{"value":{"entity-type":"item","numeric-id":4952318,"id":"Q4952318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef0c6ee501085382b2dca67c15123188286dc137","datavalue":{"value":{"amount":"+0.7766901254653931","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":"Q1326587$4F9353D2-E7F2-4484-BC38-5EB6A6FB222B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bdfc92de7b5f495391a8840b4667c62f02a1d7d","datavalue":{"value":{"entity-type":"item","numeric-id":5452711,"id":"Q5452711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d0ea25e447887998a4d6a81fb6ec52e3e657bf7","datavalue":{"value":{"amount":"+0.7736016511917114","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":"Q1326587$DFEAB28D-1ADB-40BF-98AD-3E325E508596","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking for action-based logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_checking_for_action-based_logics"}}}}}