{"entities":{"Q3612723":{"pageid":5642629,"ns":120,"title":"Item:Q3612723","lastrevid":50601776,"modified":"2026-01-14T12:59:56Z","type":"item","id":"Q3612723","labels":{"en":{"language":"en","value":"Removing dead transitions in timed-arc Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527537"}},"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":"Q3612723$7A17D8A8-EDF2-4CA5-B514-06BBC3CB184B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf364803b3d00d3ef8918029dc97aaef695ce458","datavalue":{"value":{"text":"Removing dead transitions in timed-arc Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3612723$3A3DDE74-0B55-4BD9-83E4-44F265B5371D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"89a85df0c3be7fd97780224baeeca3c9984d0f17","datavalue":{"value":"1156.93361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612723$032F25B1-7418-45DF-B5A6-203094FE9CDC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"319d6cc1787b0e60ff208ff6e51df3f50b968815","datavalue":{"value":"10.1080/13873950802416332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612723$2EEFA720-6A16-4260-BAF2-C2B942170FC1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"55f1b2be9732015562188617a574a6fc2c554f4b","datavalue":{"value":{"entity-type":"item","numeric-id":300303,"id":"Q300303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612723$C84580E4-CC65-44F4-AE21-13A3B8B38146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3214a89553dc064e5abd869148480fb96e64691","datavalue":{"value":{"entity-type":"item","numeric-id":1014567,"id":"Q1014567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612723$FD00B59C-3AA1-4933-9EBB-F39F46BDA0A4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1770c404e308b19f58d0b9f79c4c4f522edf44ce","datavalue":{"value":{"entity-type":"item","numeric-id":2709983,"id":"Q2709983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612723$5145B8AA-82B1-4051-92F1-0C414F24359A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a78c90783bcf9fdd01d3c043b3bd0817808259e2","datavalue":{"value":{"time":"+2009-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3612723$5CF89693-3F84-433C-9DCE-FF6C39EDF2F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"588523ad7a910d78898796929aa997f4bdc8d3ac","datavalue":{"value":"http://hdl.handle.net/10.1080/13873950802416332","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612723$436A3409-3CB7-4AA9-A94B-50D5672618D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612723$CF74C82E-F63F-4138-BC4A-5E0E20D2FA22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9bebb2f5015fb82845b748c674a6a24fd89efb27","datavalue":{"value":"93B11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612723$E844D0A2-B3A2-4654-AE44-EAF743B3281D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d5dc3147e9ddcc1b9a64b0837021349f5df1b49","datavalue":{"value":"5527537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612723$93070496-4D49-4790-B893-DF4CC35F046E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612723$6441E7ED-639C-4C40-85D2-710173EED937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3641d67aa9409aec2cfd3ec34bf67677960d72c4","datavalue":{"value":"timed Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612723$F5E13980-A570-46DE-8194-80BAB8FB7175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"562e980b84deebea10c48e69a014441e0cc255b3","datavalue":{"value":"decidability of properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612723$4F9CED7D-9025-47D6-B11E-BB81999FC525","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":"Q3612723$5D10CD31-7226-415B-BA80-B95711ED7551","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"225f21401e2f1eed26ec787b5ec1a033cab78ed3","datavalue":{"value":"W2056423370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612723$202EBB60-C6A1-4082-B343-2BC0D3965F34","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"009a5ca3a692774ce97c20172be0f86fd2904afe","datavalue":{"value":{"entity-type":"item","numeric-id":1597067,"id":"Q1597067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612723$2DED5DC7-C8A4-4275-8397-14B79B9AD75B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93cf0a7bbd5e1003c238e3ca40b433dbfd4b7fc5","datavalue":{"value":{"entity-type":"item","numeric-id":1285652,"id":"Q1285652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612723$C30D27A8-2801-4935-AF37-AED333DCA1E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25ba975079b1dcfaa43014b85ed3d3c0b3f028c3","datavalue":{"value":{"entity-type":"item","numeric-id":2766563,"id":"Q2766563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d30d6444132a88c616df770c041dca5e61d67cc","datavalue":{"value":{"amount":"+0.8746439814567566","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":"Q3612723$708AC012-7BB2-466E-AD3E-5FF5DF963526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da4d5eb5d654679ab864f5857887e8412bf7154f","datavalue":{"value":{"entity-type":"item","numeric-id":3075507,"id":"Q3075507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0516dc39f6145f4df821307557372b4e5413e773","datavalue":{"value":{"amount":"+0.8276928067207336","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":"Q3612723$68154F99-F579-4379-841B-0D242DA277DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c81821d48b77203c0c2a8782a87e85a6f67f44d2","datavalue":{"value":{"entity-type":"item","numeric-id":5713513,"id":"Q5713513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5644f69fe7f4a49514e6018c72eb9505997b93f3","datavalue":{"value":{"amount":"+0.7838206887245178","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":"Q3612723$19738946-8061-43C5-8F34-257D1E80AF12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f1ccfb65895041d10fa11399974452f895cc799","datavalue":{"value":{"entity-type":"item","numeric-id":2917313,"id":"Q2917313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40b4525716be6dfbb5be9fbc606c959e61032c6b","datavalue":{"value":{"amount":"+0.7797224521636963","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":"Q3612723$42345B33-B302-4C3D-9ABD-5ACBE97A64BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3bffa92a03d4b169ce6eebd87f95b9efa1ef873","datavalue":{"value":{"entity-type":"item","numeric-id":2848419,"id":"Q2848419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f2b41f5d5168a2e0664cf2402ab60584d8b1e54","datavalue":{"value":{"amount":"+0.7784347534179688","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":"Q3612723$5C64910B-69D7-4507-BB00-32A3EDA651C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3612723","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3612723"}}}}}