{"entities":{"Q5457672":{"pageid":7487231,"ns":120,"title":"Item:Q5457672","lastrevid":50336315,"modified":"2026-01-13T20:35:23Z","type":"item","id":"Q5457672","labels":{"en":{"language":"en","value":"Some applications of the minimal coverability structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5263422"}},"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":"Q5457672$C41A50BF-0EE1-44E9-AA3E-A9ECEEF41C0F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f355079af358b06895f91302189a06f9bdb16f94","datavalue":{"value":"1134.68452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5457672$21C580AF-1AAF-4432-BC16-B86B0D5C104B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ae03697e932062d9976a962d15b68510d7ee9c4","datavalue":{"value":{"entity-type":"item","numeric-id":1566125,"id":"Q1566125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5457672$1FA2328E-82BA-4399-B3E3-EB619605F848","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f9febd79edc09e0529544fa9ed79527a572db90","datavalue":{"value":{"time":"+2008-04-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5457672$C46DA80A-F905-48D4-BAB8-19ACC7FB906C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5457672$B62970A4-CC16-400C-A20E-4422600B535D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"977f8d7a17a468a73e01ad3f0e58bfaedb89a1bc","datavalue":{"value":"5263422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5457672$BFB64956-ED25-4A9A-ACC6-727138E26A4E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0774fa6ed93c0b9a0bdba81e72f26ca98cf0d31b","datavalue":{"value":"parallel/distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5457672$E11DBAC5-ABD0-45CE-8348-16B235AEADF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5457672$FCE10B8D-312F-46FF-8AC8-B2F0D82BFEC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64d236b283273abd478037e4b01fba6c2a2e3b28","datavalue":{"value":"jumping Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5457672$62B2F4C7-B93E-4BCA-BF64-2D8D77C8E9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"918f37a2ad256689506ad00fbf353effea3a6f78","datavalue":{"value":"minimal coverability graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q5457672$BAAE9BEE-5F52-41E5-959E-F6C4D0CC52B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5415298d82e889dbdb9dd845529a834517370168","datavalue":{"value":"concurrency-degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q5457672$93E01068-2E57-4B74-8FB8-4F1651479015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c81bcb66af213e97074519e81efa8116b63081a","datavalue":{"value":"compatibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q5457672$32ACA7F1-9205-4AED-B7E8-5503DFDDA03C","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":"Q5457672$258DF2E7-34B8-4EBC-96CF-94AA9A59CA6B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db68e5bdcf7d5d273ac8c6e3c720c7a161730b40","datavalue":{"value":{"entity-type":"item","numeric-id":5457663,"id":"Q5457663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"194930d967024a95c2acc3097a5cd3004c7eee88","datavalue":{"value":{"amount":"+0.8320217728614807","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":"Q5457672$FDCFBCC0-3E4F-4331-A19E-83A6A679407E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6e6fbf9c67774b7bb8ea3593d4576fdcfbbbd48","datavalue":{"value":{"entity-type":"item","numeric-id":3510790,"id":"Q3510790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51d0e25d13f3273dba0c3f20115ed6ecd532ceb6","datavalue":{"value":{"amount":"+0.8194998502731323","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":"Q5457672$9597DEA2-5A14-4F3F-9307-B25BA311B822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f6374a7fb172ddcedf3e9dbd8e6bd48439cc8fe","datavalue":{"value":{"entity-type":"item","numeric-id":2908208,"id":"Q2908208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6ee2b0c918d435cda2a7846afd217a3db43278a","datavalue":{"value":{"amount":"+0.8135876059532166","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":"Q5457672$CE490F91-F32E-42F1-94D1-266FD68B6603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df706a030a27cb7744986574e220a99464eb0e35","datavalue":{"value":{"entity-type":"item","numeric-id":5415298,"id":"Q5415298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcbc644e35ed86fe7fd910f4dee20d0f86c6842e","datavalue":{"value":{"amount":"+0.8130772709846497","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":"Q5457672$4DCC4130-E31C-43EE-9CA0-328F7417DADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fc16fd1110ca58adfd7fd7d432c39fe476c0a70","datavalue":{"value":{"entity-type":"item","numeric-id":3552518,"id":"Q3552518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c867f100a1e3387b0fd89f4ea2ec374805ea963c","datavalue":{"value":{"amount":"+0.8120123744010925","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":"Q5457672$D4337163-113A-4A93-84F5-5292FEEFA010","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5457672","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5457672"}}}}}