{"entities":{"Q1019017":{"pageid":1020865,"ns":120,"title":"Item:Q1019017","lastrevid":69431034,"modified":"2026-04-13T06:57:08Z","type":"item","id":"Q1019017","labels":{"en":{"language":"en","value":"Model checking action system refinements"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5558113"}},"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":"Q1019017$23D5A2B9-B34D-4554-994E-847BB97DD3D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"964d6e5ca009435c63bbd4529623fe8e2e2ccc10","datavalue":{"value":{"text":"Model checking action system refinements","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1019017$F8DE94F5-B7B2-4322-AD44-A78474D33D48","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80b129de5b3a1a120a67b2b233fca88dcbe9eeae","datavalue":{"value":"1165.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019017$E9963DE8-944D-43B7-8AFF-97FA33E5BC98","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a643bb4d6b134508bc8c5fad926d147e7d14ff57","datavalue":{"value":{"entity-type":"item","numeric-id":202498,"id":"Q202498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019017$D40F7F17-BB16-4858-957F-815DC2FA2213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2d84d126ac5623b4ecfba5f198b112731dcd9bf","datavalue":{"value":{"entity-type":"item","numeric-id":782493,"id":"Q782493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019017$47F16065-D2B3-46BD-97F3-C53D3D2E457B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019017$0391A6CE-963B-4BB7-9B6C-2F3FCA53CCF6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ce65d071e7340c2588abccb76c05f02030105cc","datavalue":{"value":{"time":"+2009-05-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":"Q1019017$B969BF09-EF53-4F80-9093-BA60AF31EEA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019017$914246B5-CBF6-4746-8988-945712D9EF18","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13d2abd72324ac3dc786889cfb925f768faa7dff","datavalue":{"value":"5558113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019017$678E20FA-4F21-437B-8FC3-37CDF381D63A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q1019017$951EF016-E32D-41C1-BB12-20B337CA434A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1019017$5B88AA75-EA41-4386-AE75-67DA12C2C5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e4add0db1a8ab19b74e76855d51fa728fd3774e","datavalue":{"value":"action systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1019017$8A66A792-5586-4F9A-AAB4-D084A1C269C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af948ab56df44408fff2ba197f928e63c9954960","datavalue":{"value":"CTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q1019017$9A488365-A2E6-46FD-897A-0ADF1C73F045","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b09b080527cf0c7be3719338f59c9e92adea2d20","datavalue":{"value":{"entity-type":"item","numeric-id":19142,"id":"Q19142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019017$32337E25-1074-44BD-A261-52AB6A2745B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56183f18c1b7292025f517695163436751950f86","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019017$9D129280-A3A1-4012-912F-4EB99B9946DA","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":"Q1019017$B5E2747F-6842-41AA-B4FD-5243CA23598B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"415ad5352e26828795c6e8cbeb2da3cb892b48f8","datavalue":{"value":"https://doi.org/10.1007/s00165-007-0053-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1019017$6B3F93F5-1D0E-41B9-9E35-9F934EA9F9F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"040edb32d4e1640bf18bfd4d94011ab5de890d70","datavalue":{"value":"W2089250473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019017$D486E331-3FCA-4747-922B-58EE4112B083","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019017$0CF6950A-2A60-4D92-A02A-9120C51BAA2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d11cbc4d4003e49ca99cb3d08bb2917d2bc8f5d","datavalue":{"value":{"entity-type":"item","numeric-id":2863830,"id":"Q2863830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019017$61A5ED0A-F03C-48A3-A263-15310754B27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a391224903bcc05aa0957fd51168c79b7b870f96","datavalue":{"value":{"entity-type":"item","numeric-id":4028640,"id":"Q4028640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019017$C50EB950-CC65-4D1B-BEF7-D46BD4CEC5E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56a73e45d8a02c02a1a7e4eee577edcddc70f907","datavalue":{"value":{"entity-type":"item","numeric-id":2724177,"id":"Q2724177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019017$2B8AD3AE-B1A5-485A-A6F3-C1E151E12A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"702236ce90537f2f0fb84795fd7f56a0ecf73bc2","datavalue":{"value":{"entity-type":"item","numeric-id":4494252,"id":"Q4494252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019017$21423D22-9D03-49BC-87AF-039A45D007B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61688f3057dea46c184688c59e5d28895fd3100","datavalue":{"value":{"entity-type":"item","numeric-id":911322,"id":"Q911322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019017$C75E5300-00EA-4CAA-8ED4-A825EC306E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b990987646964abac11e3e2c0c4b5cc7c7b0913","datavalue":{"value":{"entity-type":"item","numeric-id":1112600,"id":"Q1112600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019017$64EE7DA3-877F-40A6-953C-6E8BD394CF17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91574372770ea76eaf0ee07fcc0ae07675aa2d51","datavalue":{"value":{"entity-type":"item","numeric-id":5931381,"id":"Q5931381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019017$FA06C3BD-9D80-409A-8976-BF32CA789C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12d59af1307a8104519d467d3c3a059bc52b3201","datavalue":{"value":{"entity-type":"item","numeric-id":4472176,"id":"Q4472176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019017$3D3DF0A8-C8E9-4B47-AD70-D9BD8AFFC679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87bc8d5b727b0e2c73b7a9151226637f3d1e23bc","datavalue":{"value":{"entity-type":"item","numeric-id":851129,"id":"Q851129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019017$4A61946C-4512-4512-9585-6741655D51FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2185699a6442c395c0dc5c871eedf78d99a845ad","datavalue":{"value":{"entity-type":"item","numeric-id":4940107,"id":"Q4940107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019017$4A632F89-8188-47E0-8800-C5B66F5B067E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf3096f3b55b33b76cebce261f05008f6363ff82","datavalue":{"value":"10.1007/S00165-007-0053-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019017$76EFBF8A-3C7E-4A67-833A-2C7FADD27D71","rank":"normal"}],"P1643":[{"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":"1effa5f252816a0157a3bdb5e4ae2601b2711404","datavalue":{"value":{"amount":"+0.9225361","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1019017$2D82A1D5-6D59-4567-ADFC-02DCE6E49C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bce857befaecd6296176f332d1fd10bc35c53b61","datavalue":{"value":{"entity-type":"item","numeric-id":1326587,"id":"Q1326587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0701f6276bb05cfea958962867e06e22f7ff359b","datavalue":{"value":{"amount":"+0.9148421","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1019017$0F2B760E-3D1D-415D-952C-B2D7C19F5286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aa0e7852ab101fb6f6103db9f9f8c8dbb8cef39","datavalue":{"value":{"entity-type":"item","numeric-id":2226724,"id":"Q2226724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f04febb26915827c814fcfe9ddeeabfff53c5c7","datavalue":{"value":{"amount":"+0.9035914","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1019017$94488C41-E19D-4271-BD77-003178970463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1debc73f59d7957908a10af5ac6821cb91a082ed","datavalue":{"value":{"entity-type":"item","numeric-id":4865944,"id":"Q4865944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85ef5402030d964e8ae8e010f8fea5028a19b66d","datavalue":{"value":{"amount":"+0.8911069","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1019017$33580366-46D0-43A7-A284-5414EB68E381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0657a1160e5de4ee7c269ded027f976c1aca8fc7","datavalue":{"value":{"entity-type":"item","numeric-id":1868165,"id":"Q1868165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1deb9e1dbd6f9080143f1674d0054703b9b9a89","datavalue":{"value":{"amount":"+0.8896284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1019017$CBA9EE44-89CA-4C17-8065-CB06A9966F83","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":"08283039642c31336471ee7104a881077ef71616","datavalue":{"value":{"amount":"+0.88900906","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1019017$036E9E4B-5DA1-4129-80B2-3441ABE98C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c11753742197e9a080c8b4505e422225d0862fe","datavalue":{"value":{"entity-type":"item","numeric-id":5227061,"id":"Q5227061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08283039642c31336471ee7104a881077ef71616","datavalue":{"value":{"amount":"+0.88900906","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1019017$2FC7CF03-8F7F-4A22-86D5-89AE4239387D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b2e0aff707e14711904e4306b8c631806584f7d","datavalue":{"value":{"entity-type":"item","numeric-id":3176379,"id":"Q3176379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"963995ed917e7238d35dc670a28ef75c408922be","datavalue":{"value":{"amount":"+0.8878044","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1019017$D512885D-BE5C-493B-95A7-D7A15C1FAEC5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking action system refinements","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_checking_action_system_refinements"}}}}}