{"entities":{"Q5300880":{"pageid":7330454,"ns":120,"title":"Item:Q5300880","lastrevid":92104943,"modified":"2026-06-05T00:52:51Z","type":"item","id":"Q5300880","labels":{"en":{"language":"en","value":"Faster verification of partially ordered runs in Petri nets using compact tokenflows"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6182484"}},"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":"Q5300880$8997D878-662F-49CF-A8A6-61D69F354CFE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5edef4fa096859a148d19b13520fa150a61bba16","datavalue":{"value":{"text":"Faster Verification of Partially Ordered Runs in Petri Nets Using Compact Tokenflows","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5300880$48ADA8B9-0636-4B5B-A8B4-C55FB6EAB127","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6821b476b659ef055b12d061f962c99693f037d3","datavalue":{"value":"1335.68163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300880$A5537CC5-6F9C-4FF6-9E49-CB126D39A21E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"07c3007d5aa44e8d6a1cafee7176313a292e6f8b","datavalue":{"value":"10.1007/978-3-642-38697-8_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300880$71C64AFB-8D98-4B1E-A196-F61E1188A685","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"084f840dce6c143a2206fc38b3a8939f034c0252","datavalue":{"value":{"entity-type":"item","numeric-id":1006645,"id":"Q1006645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300880$87C1B774-1F03-430C-BCB8-D973AE51D419","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f13fd0901135ebf0e2b5744f50cafda14949457e","datavalue":{"value":{"entity-type":"item","numeric-id":2822648,"id":"Q2822648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300880$CA7B34B5-1FBF-4941-B799-E5496ABC8750","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3abb5fb4ae7972a30f51c8d6a09a9ae6d81d017","datavalue":{"value":{"time":"+2013-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5300880$6E0A8942-6E75-4997-8E3E-B9E9E15A3E94","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300880$93B61362-D99A-40FA-B0EA-2BCE5B6A9B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300880$2CC3F6BB-EF36-4B3F-AD8D-9AA7B1D1CC38","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4bc1fc3aec0942ec063d8665306874367ddc9d9","datavalue":{"value":"6182484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300880$DA678E01-E0F7-40D4-BD63-394BEB8909A6","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":"Q5300880$9B7ED99E-670A-4FE8-B93A-2C99526886A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a216d943a5e26650042d5c7c70243f7a0bc20a91","datavalue":{"value":"https://doi.org/10.1007/978-3-642-38697-8_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q5300880$2480476A-9C48-462B-B8BA-4C90A08CF947","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e5660d119a965f79c65cea09142529dbe0f3b2d3","datavalue":{"value":"W1759765785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300880$727DFE5F-3BA0-4EAD-B2F6-2D3EF7EE75CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fec4f8da202271acfdfe9241dedaacc9fb0eceb4","datavalue":{"value":{"entity-type":"item","numeric-id":2805422,"id":"Q2805422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70a83d8edd5387171fec5c49e747483ac91b4ffd","datavalue":{"value":{"amount":"+0.8955003619194031","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":"Q5300880$9DE87117-6F8A-401B-AAEE-148DABDB94B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"556cefa6a3fb02561e11431eb3ad0c1d7a56a6bb","datavalue":{"value":{"entity-type":"item","numeric-id":1183595,"id":"Q1183595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41fab4013fd4530c815cb5691ea243675fa451a1","datavalue":{"value":{"amount":"+0.8716455698013306","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":"Q5300880$7FC16741-4EF3-4D40-97D9-4086394BED70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8cf74827a6dd2c25421e5e84684a1266a59b949","datavalue":{"value":{"entity-type":"item","numeric-id":1006647,"id":"Q1006647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"021e043d2145be42038712f9c1fe2cfc6cbc5e94","datavalue":{"value":{"amount":"+0.8037825226783752","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":"Q5300880$98C573BE-4399-4CF2-A179-D04524EFA81D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77618bddb94c6c3b5d9dab71b9928b70c6e95204","datavalue":{"value":{"entity-type":"item","numeric-id":2117188,"id":"Q2117188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5abb196e6275d3978abeb7dc436fed877a473cc9","datavalue":{"value":{"amount":"+0.7922567129135132","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":"Q5300880$69F721AE-4B50-43B0-8F4F-284ABD318D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0abc0f6807a21ae68077664474d5750e11cc117","datavalue":{"value":{"entity-type":"item","numeric-id":5713507,"id":"Q5713507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3462a5e62222fba06e241a9cf5c08c8ce657652","datavalue":{"value":{"amount":"+0.7760885953903198","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":"Q5300880$FFB35E8C-28E7-47AA-A7EE-156B445D84CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Faster verification of partially ordered runs in Petri nets using compact tokenflows","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Faster_verification_of_partially_ordered_runs_in_Petri_nets_using_compact_tokenflows"}}}}}