{"entities":{"Q3225720":{"pageid":3236428,"ns":120,"title":"Item:Q3225720","lastrevid":80107703,"modified":"2026-05-06T15:27:31Z","type":"item","id":"Q3225720","labels":{"en":{"language":"en","value":"Accelerations for the coverability set of Petri nets with names"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6017851"}},"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":"Q3225720$CBC185C1-736B-4FC7-B061-968A015688B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85c14540e63c7677551cca32d9f80a5decba2393","datavalue":{"value":"1248.68357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3225720$F05AE529-25CA-4F7F-9856-EB9E32AC7824","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af934de01236ff6769f9de152ad7c0dc72bd9980","datavalue":{"value":{"entity-type":"item","numeric-id":529042,"id":"Q529042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3225720$CD46CE4F-FB4B-4D4C-AA22-636959075C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4f36a5885f8ce120c82bc220dbd7680daa37c03","datavalue":{"value":{"entity-type":"item","numeric-id":714506,"id":"Q714506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3225720$F52095ED-5CCA-4655-AFAF-4E72046FCCAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcf6bf172b5d1200fcf3f7cb099da34bf819de36","datavalue":{"value":{"entity-type":"item","numeric-id":554218,"id":"Q554218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3225720$8B8E4D90-4C3E-4C4B-98CA-998401D79C70","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5851e3f5a92a2070ac5e1904345b7409fb2a9c02","datavalue":{"value":{"time":"+2012-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3225720$1A21AB8D-6876-4544-9B51-D39C8B6DD5D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a4d2c3509f8fc27de8ba6105437a25a75822e079","datavalue":{"value":"http://iospress.metapress.com/content/h730166n666n20nw/fulltext.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q3225720$DF9C01EA-3EBA-43C4-A8ED-FDDDA5759055","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3225720$C3318852-CBDA-4F86-9AB5-34FCE4E23912","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c526dea218011db6a408d297406c685f0002d25a","datavalue":{"value":"6017851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3225720$1E0879BB-C185-4CE4-A50D-BFC9AF2A9A6A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3225720$1F30175D-447C-43DD-A8FC-C2638D0C670B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0086def66c20051fe985608400cfd1a64287ea1","datavalue":{"value":"pure names","type":"string"},"datatype":"string"},"type":"statement","id":"Q3225720$FF7C2A1D-7C18-41FD-B436-0D184ED5FD47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3225720$90DDA340-4562-4C82-B4D8-40FA7053D398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f016c0d071b4010d1664d5be8646fabbc93307cb","datavalue":{"value":"\\(\\nu\\)-PNs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3225720$0A477606-91FB-408A-A381-AB8C74BA705C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fc14ab028edc68eb61083c6b8930ec64c1cef9e","datavalue":{"value":"forward analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3225720$1F93879F-B5FD-4A47-9EB4-2EF599E51C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cc5e4811c6954066eadc36fe36eba32cb318e99","datavalue":{"value":"coverability set","type":"string"},"datatype":"string"},"type":"statement","id":"Q3225720$A1705C2F-12C7-4E01-9C6F-788104C8F5BE","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":"Q3225720$B8A0AAAA-AA97-4F3B-9B33-0F961CC7C2B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49e8a71b42417c1dd2b20c9b00c5fcd7d27ea230","datavalue":{"value":{"entity-type":"item","numeric-id":3569867,"id":"Q3569867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0b4f776e5b6a341e19d672ac886e71320f80bf4","datavalue":{"value":{"amount":"+0.942602276802063","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":"Q3225720$00C95D6F-F6CE-4FDB-BB15-DFB50FF4030B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb67892c0dc3235988d2ac9398865ff14cfde6a0","datavalue":{"value":{"entity-type":"item","numeric-id":4635904,"id":"Q4635904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaa7b4541e879e75852766fad8c24fa9a0c78612","datavalue":{"value":{"amount":"+0.8280146718025208","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":"Q3225720$939FA01E-8874-4CBE-A487-75636F21A54D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7de6bc7e4746f0273edeb41b3853c35a01ecea0a","datavalue":{"value":{"entity-type":"item","numeric-id":3084987,"id":"Q3084987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46d6ab53427cb9184b028537bedabc51dfa14b94","datavalue":{"value":{"amount":"+0.824783205986023","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":"Q3225720$02E6DC1B-17A3-4ECD-ACEB-8D6A1287B054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4295ea0a437d062e570db60fd190030901697e8","datavalue":{"value":{"entity-type":"item","numeric-id":554219,"id":"Q554219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f523916e3f8fd4eff02c285f94ecab2456ea12dd","datavalue":{"value":{"amount":"+0.8225446343421936","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":"Q3225720$F0E93941-8F82-43DE-8875-E001981784BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2ac11be9298730c2273548fc20284ab4ba5f822","datavalue":{"value":{"entity-type":"item","numeric-id":2805418,"id":"Q2805418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ee10be6f90250d06113f07b43adb6f0dfbee184","datavalue":{"value":{"amount":"+0.8222179412841797","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":"Q3225720$3BF0983A-6021-4B8F-BE2E-4D7FA3225AAA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Accelerations for the coverability set of Petri nets with names","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Accelerations_for_the_coverability_set_of_Petri_nets_with_names"}}}}}