{"entities":{"Q5931382":{"pageid":8108184,"ns":120,"title":"Item:Q5931382","lastrevid":97626554,"modified":"2026-06-05T15:07:10Z","type":"item","id":"Q5931382","labels":{"en":{"language":"en","value":"Rule-based refinement of high-level nets preserving safety properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1591014"}},"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":"Q5931382$308313E6-A235-4CC5-A7DD-1F0C055F6E59","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf776f9bf3848391ca7d5119d1c75ddbaf439d04","datavalue":{"value":{"text":"Rule-based refinement of high-level nets preserving safety properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5931382$CDFBBBE4-2E09-4730-A29F-8CBD34497DC4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96e603669f29d6f6c49fee87e0262a8ef765064d","datavalue":{"value":"0969.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5931382$1A0A06FD-8DC8-4FCB-914D-82DBA60F2629","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ee6734d56df39d3727a800ec3e453ff301273a36","datavalue":{"value":"10.1016/S0167-6423(00)00022-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5931382$6EC60583-6E44-4000-BE99-C41FA2507A6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70dcdd837c695e2999b9fce42d4c830da146ad0d","datavalue":{"value":{"entity-type":"item","numeric-id":934667,"id":"Q934667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5931382$9B1FE4C8-F67C-4F00-AF2C-637EFA32874F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d8d7ed49fc002ceb99488b1cd40f4ffc8cf4f2e","datavalue":{"value":{"entity-type":"item","numeric-id":175415,"id":"Q175415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5931382$1ACEB83D-DA71-4943-A0BC-943E359D3A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1237031691dec4661018a932137aa253f6f01389","datavalue":{"value":{"entity-type":"item","numeric-id":973048,"id":"Q973048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5931382$9B9448CB-EB51-4381-B2D2-C5A9A24D620A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5931382$C6046C3D-80EF-44BD-B8CA-336500349379","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d72f604f7985985f27aa01bc9ceb3f36d76ba5e","datavalue":{"value":{"time":"+2001-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5931382$30F11877-EA0B-43D4-B569-52FD76E64445","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5931382$761F652F-1C3C-475F-A358-B41ED75D93F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b34c1fd480b190e1143f4143842d8d5c692c2b8e","datavalue":{"value":"1591014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5931382$802E0E26-1D9B-49DD-8213-B6718E5377EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67abc304c97a71d6bbde2f350dddd1d9e86b3543","datavalue":{"value":"rule-based modification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5931382$C04AB0FF-96F7-4CCB-B295-2BC4776FE14F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38a65b7dc381ed5fbc299d969e8b6b9d3e3c2382","datavalue":{"value":"vertical structuring of Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5931382$9EA90C92-D52B-409D-AAEF-9383B514D2B2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"32f6b67f636d3b4ff87f78d227dd0cfe2d2c4d39","datavalue":{"value":{"entity-type":"item","numeric-id":14500,"id":"Q14500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5931382$8469BF3B-B4CF-4906-ADC8-C865257EA096","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":"Q5931382$2E160CDA-41FC-49A7-8749-625CE4D4CFC1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc87e534010060bc32f604aa90615c5288b7a2a7","datavalue":{"value":{"entity-type":"item","numeric-id":4502819,"id":"Q4502819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c08d30c1bfdafdf157b7c883ba72758cef5211b1","datavalue":{"value":{"amount":"+0.8480527997016907","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":"Q5931382$85FCC464-74A6-4B71-81C4-1B088C547F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d3e3c727bf844481dff2b25fc099e0e0ba35f3e","datavalue":{"value":{"entity-type":"item","numeric-id":5392161,"id":"Q5392161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"664c0799c16e64012405d2178cdbb487081b7f56","datavalue":{"value":{"amount":"+0.8126060366630554","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":"Q5931382$BA8C5C58-890B-420F-B9C1-407F423D734A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a37bd6934d4a3c46c795131d895e18918a9bf7df","datavalue":{"value":{"entity-type":"item","numeric-id":5900836,"id":"Q5900836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe4e347cab0df99e03fc627ae6fcdb4fc9ab8693","datavalue":{"value":{"amount":"+0.7860989570617676","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":"Q5931382$012D7719-960B-466B-8E31-CFE1824F4C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18781f83c88b46ccee03b3fe9017d19dce4ea300","datavalue":{"value":{"entity-type":"item","numeric-id":703482,"id":"Q703482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8dd3d48a2e3ad0df79ce77107382938ad7a7c11","datavalue":{"value":{"amount":"+0.7854856848716736","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":"Q5931382$35947AA6-858D-44B3-AB4D-452F1669B60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99223720c8dc75f1875f9e1a729c106783ae05ba","datavalue":{"value":{"entity-type":"item","numeric-id":5451165,"id":"Q5451165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cf1bd79df77f255495354eda3df79bbfdc16f1a","datavalue":{"value":{"amount":"+0.7550561428070068","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":"Q5931382$6B2758F6-4A6A-4985-96C6-B51FFDE98C65","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Rule-based refinement of high-level nets preserving safety properties","badges":[]}}}}}