{"entities":{"Q3454119":{"pageid":5233519,"ns":120,"title":"Item:Q3454119","lastrevid":88240784,"modified":"2026-06-04T14:00:24Z","type":"item","id":"Q3454119","labels":{"en":{"language":"en","value":"Key-ABS: a deductive verification tool for the concurrent modelling language ABS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6515529"}},"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":"Q3454119$39A28846-E844-4D22-9880-6397F8297EEA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31ea3d0f86daae26edf932ded8668dc7e6c22b93","datavalue":{"value":{"text":"KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3454119$F92F2CCA-05BB-45D4-ABD1-CEF147A37E4A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3ed36853f119c3c1c9d1cd4c72a31a6b24b51e20","datavalue":{"value":"1465.68174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454119$4D7436D0-051E-4268-A661-E49ADC51FF58","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d3e821d1e5bcc3892fdf6ad1e00251d0e679ea1","datavalue":{"value":"10.1007/978-3-319-21401-6_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454119$320D30B7-F62E-4DAB-AEB1-2B00594397E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dabcf3605c699f76a9aba8bae944975d978d716","datavalue":{"value":{"entity-type":"item","numeric-id":444462,"id":"Q444462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454119$E01F5C35-4F1A-48AE-A9D7-E142DB03E1EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbc8ce92eca2e3c80d93d3d73f34c70e2fee7fb6","datavalue":{"value":{"entity-type":"item","numeric-id":1675814,"id":"Q1675814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454119$11FB41F2-A033-4213-BC81-6F17A2C7336F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7743279316f8ce0cdbb2e6d0842ac12b618ecbfa","datavalue":{"value":{"entity-type":"item","numeric-id":679246,"id":"Q679246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454119$9FA5768B-3C95-46EE-A191-0FC4C716A494","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3cc4c7edeb37e5e3024aeff0de74501df6e066e3","datavalue":{"value":{"entity-type":"item","numeric-id":3454078,"id":"Q3454078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454119$AE506AAC-0E5C-49CA-9F27-2537DE720D78","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f34c33daac76be2878f4eb0eeca7aa927e679a8","datavalue":{"value":{"time":"+2015-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3454119$267C6C9B-3395-4E11-BC46-AB36B8EAC051","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454119$C3103DEC-2A3F-40F6-B796-482E8AEE6F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454119$DF03005C-288B-4610-8BBC-5F6E569E51A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454119$18DFF6CF-B138-4BA7-90A4-DC3CC6AD439E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a7f4f160a324c86324c3d0445f8adffdaa7501a","datavalue":{"value":"6515529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454119$5913302B-FF93-4D3F-B56C-D48EC9ACB86D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0340d818b88d76c419264bcc31bf928307f3975d","datavalue":{"value":{"entity-type":"item","numeric-id":33022,"id":"Q33022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454119$01D3B546-B196-4690-9528-C44A5D8B3ABD","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":"Q3454119$DF7D87D5-8D4F-4D68-9160-38036C800DD4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f6ead6a1b764783c03652ba91aec0715193c63dc","datavalue":{"value":"https://doi.org/10.1007/978-3-319-21401-6_35","type":"string"},"datatype":"url"},"type":"statement","id":"Q3454119$F24E369C-0372-42D5-B5E6-21515AF021B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3be2fc4aefec8f0cb49b480884f0e25b1a643167","datavalue":{"value":"W1475796516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454119$767DE3EA-04A5-4EA3-A5FD-0ACC8739CB3D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1205185ebd4129a82d9a01a7492ecd463efbc643","datavalue":{"value":{"entity-type":"item","numeric-id":5175771,"id":"Q5175771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454119$FFBDB2C9-B7E1-4320-9757-D132925E2A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bdb19e4f6679e5e665ce3bf996e932965f0550a","datavalue":{"value":{"entity-type":"item","numeric-id":444466,"id":"Q444466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454119$3045A56B-4C5A-47B3-8983-8587C9F10BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9b024d71d3b3fcd9533977c307f2d56cc115d1f","datavalue":{"value":{"entity-type":"item","numeric-id":890481,"id":"Q890481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454119$773E20B7-2173-4223-843C-91255D3A5AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3528a4c6aa7c1dbb75517b1e32592cd5687df0c4","datavalue":{"value":{"entity-type":"item","numeric-id":4066584,"id":"Q4066584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454119$4991CE2F-0604-49AF-85CF-3BEF74FF35E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454119$D658FF6A-9E8B-4342-AE9F-1EE5A2329D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6e2944180a2f21b40345233cf80053a0cf51497","datavalue":{"value":{"entity-type":"item","numeric-id":796292,"id":"Q796292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454119$8E8B909E-2E06-4475-99BB-7BFE4C22E5F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd1badb9efcb9844eca06da02d800c989a5c50e7","datavalue":{"value":{"entity-type":"item","numeric-id":5175771,"id":"Q5175771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba1693425cd921fb0f48e83bd4c4b8c7ae40b89b","datavalue":{"value":{"amount":"+0.7457760572433472","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":"Q3454119$3F38542F-9D7A-4CB0-81E4-C0FC2C488DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44dbf6490536331b6c7652e189e765f1c07e4f39","datavalue":{"value":{"entity-type":"item","numeric-id":470007,"id":"Q470007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1355b3b1b5d7cbbd58ed02e5d6d9a18c5a8cff41","datavalue":{"value":{"amount":"+0.7202738523483276","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":"Q3454119$35DD8835-9EAA-46A0-8558-C7B15B54C56A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"012e94d1d08fa745e80594b67c89251eb17aebac","datavalue":{"value":{"entity-type":"item","numeric-id":4738337,"id":"Q4738337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb8a5f0010dd8d0edbc528b13135170f31c0f893","datavalue":{"value":{"amount":"+0.7040084600448608","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":"Q3454119$431CB2B6-8B72-4AE3-BC30-D94FBCED4E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c5523efd370165ac070a44a417b33b71f255e2a","datavalue":{"value":{"entity-type":"item","numeric-id":5403085,"id":"Q5403085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d779416a873711aefa78c15f8e5578d28d80e27","datavalue":{"value":{"amount":"+0.7037027478218079","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":"Q3454119$9C343CB7-8B59-4234-B20C-75B71EC435B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8722dc050f14276f2bb48a0dec8a70d5a94896a7","datavalue":{"value":{"entity-type":"item","numeric-id":4536314,"id":"Q4536314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99670d9b76b0366228e098f5c619131df4223a1a","datavalue":{"value":{"amount":"+0.7023276686668396","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":"Q3454119$AFA4B4A4-60A7-4206-92E7-96D1AD8D389A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Key-ABS: a deductive verification tool for the concurrent modelling language ABS","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Key-ABS:_a_deductive_verification_tool_for_the_concurrent_modelling_language_ABS"}}}}}