{"entities":{"Q5955432":{"pageid":8132234,"ns":120,"title":"Item:Q5955432","lastrevid":47741728,"modified":"2026-01-02T14:11:21Z","type":"item","id":"Q5955432","labels":{"en":{"language":"en","value":"Automatic real-time analysis of reactive systems with the PARTS toolset"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1704500"}},"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":"Q5955432$DEEDF5FE-8520-42E1-980B-593E3A63EDCD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b33638faa03551518004b6ee88637e7b4654f30","datavalue":{"value":{"text":"Automatic real-time analysis of reactive systems with the PARTS toolset","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5955432$4AA1C373-B9A8-4417-8F6D-BB9F4A881722","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"130929db7299888467b7b6b32350d552b836d62b","datavalue":{"value":"1021.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955432$EB2006E7-E5AC-4E46-8DF6-97C51507ABA2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c114dede34941b784edf1c528eb8223c8da218bb","datavalue":{"value":"10.1023/A:1011235419951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955432$F1A31C3F-AE27-4D3F-A7E8-004160581E3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d449846a3ab7a8e90cb747a77c5ecf2bfd408322","datavalue":{"value":{"entity-type":"item","numeric-id":1924993,"id":"Q1924993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955432$404B936D-67F7-430D-96A5-3753F2F5A084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dc56eb764d76296dd86a13ead47a595216473de","datavalue":{"value":{"entity-type":"item","numeric-id":507536,"id":"Q507536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955432$E4F43A5B-1CE4-47D0-B893-CC8FEB7F873A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fcbe10a5fdb94bc84c83e33679ac5fc8287e6a8e","datavalue":{"value":{"entity-type":"item","numeric-id":185909,"id":"Q185909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955432$BFD7E696-345E-4F9E-96DC-1715049482C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e53d5fe2003f37e7673c4ddbbdb683b0d090f84","datavalue":{"value":{"time":"+2002-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5955432$14BC71E7-EFF0-435E-B3A6-5A02A8975625","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955432$0C676855-2EDC-4504-A87D-C3DF0222635A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955432$D00E54BF-CFA3-4BDB-89A5-5A7E1D278B6B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d07abcf84a25156b52389e00448d973a1dbe55f6","datavalue":{"value":"1704500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955432$CDA1C0B3-D412-4ED5-B372-4A1391A42E77","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5955432$035733CE-A4BC-4BB2-8040-80FCCF88A48E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0977d3bf76ee19c097b78bd30b8fb73214d6ebbe","datavalue":{"value":"simple time Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5955432$B3354BAA-3652-43A1-9D21-DC0003F8051D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c5d859b72f128c08f4d6da1b49fb4bea3878063","datavalue":{"value":{"entity-type":"item","numeric-id":14401,"id":"Q14401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955432$615240D1-1776-495B-B283-109D9E6C7ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"598cfcd12b541f88acb62f221fc93809ac81b820","datavalue":{"value":{"entity-type":"item","numeric-id":15655,"id":"Q15655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955432$B2BD22B1-43F3-43AD-AA29-291354696CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955432$DA7DB935-B78E-47DD-A3FF-9EF8DA0D9662","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":"Q5955432$52C1FF9F-0681-4630-A3C7-73471695161F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9919c22b68871cf869a65e85f57cf181d26aadeb","datavalue":{"value":{"entity-type":"item","numeric-id":5930930,"id":"Q5930930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faa96b27c5867ee293abf60f1836c140767d3d20","datavalue":{"value":{"amount":"+0.7422158718109131","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":"Q5955432$0EBA3442-3FE8-41A2-9393-07260EDB109C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1f5df4a94c821a4fb3cf532bdf48e46ed96c0be","datavalue":{"value":{"entity-type":"item","numeric-id":5055879,"id":"Q5055879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d017445dc226546068fd27b0bf5d55313d74340","datavalue":{"value":{"amount":"+0.7323241233825684","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":"Q5955432$E3289807-953A-4AD7-8B32-1C9BDC593022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65674946a0e1a03082e5b14588f878aa5f61e520","datavalue":{"value":{"entity-type":"item","numeric-id":880982,"id":"Q880982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d44db60ff213d86b38b7f57f184d9c1ad760ca0","datavalue":{"value":{"amount":"+0.7313365936279297","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":"Q5955432$DF116DF1-AC52-4E69-B09F-6D79021B345C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5427c24d015629f81f24cf668173efc6755e07c","datavalue":{"value":{"entity-type":"item","numeric-id":3510846,"id":"Q3510846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56f539f4ed6e063cd4ef3d6a7c4c08d8a5c4288e","datavalue":{"value":{"amount":"+0.7296640276908875","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":"Q5955432$1FE2DB87-C24D-4FBD-9C52-A46528C7EAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"583044c02d5ac3d05297a0e20ab42e6dcc0494db","datavalue":{"value":{"entity-type":"item","numeric-id":4009917,"id":"Q4009917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ebd0246a77ba5712c242683c730d8cf71571599","datavalue":{"value":{"amount":"+0.7214375138282776","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":"Q5955432$0F7501EC-2F9A-4B0F-B088-F2983EFD573A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5955432","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5955432"}}}}}