{"entities":{"Q4583952":{"pageid":6613537,"ns":120,"title":"Item:Q4583952","lastrevid":53187077,"modified":"2026-01-24T10:15:14Z","type":"item","id":"Q4583952","labels":{"en":{"language":"en","value":"\\textsc{NorMC}: a norm compliance temporal logic model checker"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6928586"}},"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":"Q4583952$27FA8CC0-3E79-44C2-8128-1BE945F229EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b634cb322b2b82ebbdcee1c073f4b1cc5c70585","datavalue":{"value":"1394.68232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583952$E0D06654-6055-4EB1-9615-8A9855E52C25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b895f7d735a4a30f921439415eac35d06f1129a","datavalue":{"value":{"entity-type":"item","numeric-id":3388744,"id":"Q3388744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583952$B9D48C52-0C44-4BE0-852A-67EEFA780CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e50761180c013676c083d46f3d47f48a9a577e9","datavalue":{"value":{"entity-type":"item","numeric-id":2092508,"id":"Q2092508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583952$57CE1C0C-B15E-4ED7-A03D-0CA8A43CD187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da62b64cd1c8c2ff37c51f3dd8f1d7613bed7066","datavalue":{"value":{"entity-type":"item","numeric-id":542136,"id":"Q542136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583952$BD544F0A-9EE8-45DA-B873-BC4C752B4F7A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d467f198e8cd5f81e8828c7ef265401fce8f32ba","datavalue":{"value":{"time":"+2018-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4583952$2AA59DEB-311F-4DB0-8967-1322575CC481","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72a15babe3e2b4a9947f61511631aa8b9078cc95","datavalue":{"value":"http://ebooks.iospress.nl/volumearticle/6913","type":"string"},"datatype":"url"},"type":"statement","id":"Q4583952$3FE4678B-849F-4377-B612-4500F1FA13A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583952$341C5EB8-1B27-4ACA-B632-77C0ADC6CFBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583952$A1F41541-2BC4-4E71-8C25-1B320D7FA14E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583952$E9DDD3FE-06EA-44F4-8049-38A83FC20DCE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d6761745c5c95eff0eeb6f654833baf9e755cd5","datavalue":{"value":"6928586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583952$AF3AD81D-4C9E-4228-8935-465AF634A4B2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65c3b98487eb404131cfd6dc457f97f412fed996","datavalue":{"value":"multi-agent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583952$98945131-3EFA-4FC2-A830-415629D5E836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4118bd1086a9b4d0ee63eb5182e87e567acfcb58","datavalue":{"value":"normative systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583952$9FC04C0B-2D9B-4289-A224-8CC50B330A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583952$27E83CB9-C368-4D01-98BE-EDB103C4F0C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940efae7ca985ca50dfde820ae89474e72d365df","datavalue":{"value":"Haskell","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583952$F5C3F918-E7F7-4791-8295-4C0FAEC72868","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583952$6C2D78DA-FF87-464C-97A0-B7A111E38BCC","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":"Q4583952$804BD472-5DEF-4C0F-B396-B981B05C087D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6832e0ac87fd8d78faa2a2562e2a9a2a8de08db5","datavalue":{"value":{"entity-type":"item","numeric-id":3600564,"id":"Q3600564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0ac7fa287b1505fde5bc707f0cf5353790c6b50","datavalue":{"value":{"amount":"+0.7844696044921875","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":"Q4583952$383BEE69-2ED7-456A-AEB3-5A4326FC4B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f0283b845178c6f1b9185aa4115eb3ae4d3d4fa","datavalue":{"value":{"entity-type":"item","numeric-id":3055672,"id":"Q3055672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2c8bb6538847304a8fff810d5f7a0af5abf4c2a","datavalue":{"value":{"amount":"+0.7600975036621094","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":"Q4583952$95123159-774A-484C-AC5F-89BC4B004128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd5cd6e7fdb56d0efd9a84443591ce4929148315","datavalue":{"value":{"entity-type":"item","numeric-id":3550951,"id":"Q3550951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cf60a73817b572e3be84942d74c33bfd5849af6","datavalue":{"value":{"amount":"+0.7523321509361267","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":"Q4583952$C27BB42C-52F6-47D3-8094-5CDB900610E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95c80cddb6e959b85dcb0d73bf6d9ca1bb6c5489","datavalue":{"value":{"entity-type":"item","numeric-id":3433724,"id":"Q3433724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"326d56476cdd1179212dcc175ff387cc2d789a7c","datavalue":{"value":{"amount":"+0.7331908345222473","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":"Q4583952$8D42C4A3-5EF6-4FAF-B914-0F7F273B0ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a050fec29498797f6dbdc55427b93cb8174e5bf6","datavalue":{"value":{"entity-type":"item","numeric-id":3092308,"id":"Q3092308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4300df8c3fc2de415e8b62fb1e35d3ce7298e07","datavalue":{"value":{"amount":"+0.722589910030365","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":"Q4583952$60B8AED4-BE6F-466A-82A8-FEF1CE32FD9E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4583952","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4583952"}}}}}