{"entities":{"Q3146249":{"pageid":3156965,"ns":120,"title":"Item:Q3146249","lastrevid":47983795,"modified":"2026-01-03T06:36:27Z","type":"item","id":"Q3146249","labels":{"en":{"language":"en","value":"Hypergraph construction and its application to the static analysis of concurrent systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1799478"}},"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":"Q3146249$6AAC9D01-4127-4B06-9789-1A5ACD15D2EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"84354a8c778914cbc889bb684a104ed11a582b51","datavalue":{"value":{"text":"Hypergraph construction and its application to the static analysis of concurrent systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3146249$41A6D590-F638-481C-B07D-A4C5F7ACA11C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e74a7b217101a27b5788fb960a488c073b66998","datavalue":{"value":"1007.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146249$21D40846-D3D4-425F-AA36-C973E7BFF437","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a6666a2e8a29ad2cc78a7189fb6dcb882c30d3ec","datavalue":{"value":"10.1017/S0960129501003486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146249$27D1A6D0-2124-44DA-B8F7-6BCAA0C7C908","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3a7b49c0fa0207c4126ab92ba9aba076a2f1895","datavalue":{"value":{"entity-type":"item","numeric-id":443727,"id":"Q443727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3146249$4125E30F-5F8C-420B-A168-686176105E4B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3146249$4C7D1D22-0D34-4A6A-B7DC-094CFABD78EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"adede6c64659911153b51575ccac2c91c8eb7fc6","datavalue":{"value":{"time":"+2002-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3146249$6587A1BC-11D8-4FEB-B553-C64C094B072E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146249$C327D601-2B34-4E47-8A25-DB36A91B2363","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84187c6311482a6027d5e840717bb38d048f555b","datavalue":{"value":"1799478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146249$CBCCAD63-E3CA-4C8D-AA06-7F699A27DC86","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"370afb08886d454ad02a3e32ab188f88b9fed55c","datavalue":{"value":"hypergraphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3146249$B2A8054C-D554-4061-85C3-48428FA25E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87c2e88f1ff3493066f8b573f5861a8c1effa7d8","datavalue":{"value":"process calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3146249$314E03DA-ABD5-4351-A57C-B3C741B1B06D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3146249$6E1CB8D2-AC41-417A-97EC-A9BCE4675D65","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":"Q3146249$0C7C9F00-1185-4303-B73E-02D64BA7F175","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f94c0ae40850628d8d82d2c9a5f93c1bdb334a7","datavalue":{"value":"https://doi.org/10.1017/s0960129501003486","type":"string"},"datatype":"url"},"type":"statement","id":"Q3146249$C4D6988E-7D5E-4D43-AB5F-570E56F36FFF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"40deffdae9e5a9e257a19d8ac3b6cbb1891d40d3","datavalue":{"value":"W2090686605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146249$D656FC87-510F-4009-9810-3E705E980575","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e3d70c216ab15b29ad3f61688cdd3db2f962761","datavalue":{"value":{"entity-type":"item","numeric-id":4270069,"id":"Q4270069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e733b1f48b6bc7810cafa556883c668f42973aa2","datavalue":{"value":{"amount":"+0.739296555519104","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":"Q3146249$E0469037-B667-4A7A-9727-CD3A70CA2CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31f1be9c450f4089bd4056700ae81dc4b3fc94a5","datavalue":{"value":{"entity-type":"item","numeric-id":4763987,"id":"Q4763987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e733b1f48b6bc7810cafa556883c668f42973aa2","datavalue":{"value":{"amount":"+0.739296555519104","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":"Q3146249$0EEFDEA9-E89F-4BB6-8117-6B1E6C7C0D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f99b197de59e0e05555c83c5f8d8d61c3a879afc","datavalue":{"value":{"entity-type":"item","numeric-id":4538859,"id":"Q4538859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2543c9d56079b15a7433b94cfbad1fe8613157a8","datavalue":{"value":{"amount":"+0.7273363471031189","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":"Q3146249$3DFE3EE7-A615-4BF9-A240-140FD7E7FE4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"133d95ab17f0c4bd52ac2244646d0c1d42be2f74","datavalue":{"value":{"entity-type":"item","numeric-id":5756599,"id":"Q5756599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2543c9d56079b15a7433b94cfbad1fe8613157a8","datavalue":{"value":{"amount":"+0.7273363471031189","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":"Q3146249$86729D40-84CF-4B06-A230-9262DF1A7E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1be902310cd8137c7f33949f8f42fa5bff229e2","datavalue":{"value":{"entity-type":"item","numeric-id":4358452,"id":"Q4358452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d747c46d9b220c19336954ba744f1e15792294a5","datavalue":{"value":{"amount":"+0.7258105874061584","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":"Q3146249$23CC2EE9-53AE-45A0-8BB5-D294EBB79BFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3146249","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3146249"}}}}}