{"entities":{"Q2917313":{"pageid":2928033,"ns":120,"title":"Item:Q2917313","lastrevid":85003349,"modified":"2026-06-03T05:30:48Z","type":"item","id":"Q2917313","labels":{"en":{"language":"en","value":"Undecidability of coverability and boundedness for timed-arc Petri nets with invariants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6087928"}},"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":"Q2917313$E371FE22-EC6D-4EF9-908C-C2A2D5B993DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"582e76a0920c5d79b4444544083bc782510bed7d","datavalue":{"value":"1247.68186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2917313$2DC132A9-1D48-44D5-B377-2138DF6DFAD5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c13c3fb60bdc7146a27ffade49dfc8fee7a3b46","datavalue":{"value":"10.4230/DROPS.MEMICS.2009.2346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2917313$8FF6CA1B-E61D-4365-8599-B5543650FBEF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24a8504df190b491b5c060df59caf06691213704","datavalue":{"value":{"entity-type":"item","numeric-id":2453529,"id":"Q2453529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2917313$06D00327-D30D-4369-9931-3B9ACD03598D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8cb7360e8737b42b5a6494c096cc2c7ef7a3a34","datavalue":{"value":{"entity-type":"item","numeric-id":2453528,"id":"Q2453528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2917313$ED6A6BCE-8176-4805-A4D7-9B1B108BA991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f772bf5d41d59f360c0cc0d87c9a253ae4ff97e","datavalue":{"value":{"entity-type":"item","numeric-id":2340258,"id":"Q2340258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2917313$00507E56-B076-4748-9CBA-93E1866DA025","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b12660c8353469274eab0e82d679e86cc344acf2","datavalue":{"value":{"time":"+2012-09-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":"Q2917313$476FA96E-166A-4761-BFFE-D6879961A6E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2917313$BBB362E2-95D1-4EC0-BEDB-9327B9468D36","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a75e192ff9af57c50d0fe8a075229e541a3e1c57","datavalue":{"value":"6087928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2917313$73DCB5E7-020F-4E66-8088-CBFDC4AE42BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2a0507e4b0af7a6bb6e0a98bf10e44570ce22d9","datavalue":{"value":"timed-arc Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2917313$F1C88E17-27CD-407D-9412-DCFE998CA613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2917313$783B93BA-D8EA-4B7C-9F86-3E04958FD644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97378df6857232915fa2b1f482014a0c8c4a538d","datavalue":{"value":"coverability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2917313$0A266CDE-DA60-42C1-8338-804B6A1B5ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b179b5c72afc1f0ac5c224a3752d2cbc897655b1","datavalue":{"value":"boundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2917313$AF26527F-93A2-4390-A96C-5B2CF7829252","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":"Q2917313$3C7D6812-674F-4479-9437-1B7751584A96","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f3a2f28d97501498b81d16d7f05ed82f0c807faa","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2009/2346/pdf/09006.JacobsenLasse.2346.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2917313$C429B321-CE14-4E5A-A28C-ED85D6AD91B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"44de79efb679d74d38b2a3c270f7638068b8f1c8","datavalue":{"value":"W2141017018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2917313$BFA709E4-560D-4A4E-B7E1-AABCA38DBF0C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c6f487f228c0db24a03c5f096cfa5f3db88047f","datavalue":{"value":{"text":"Undecidability of coverability and boundedness for timed-arc Petri nets with invariants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2917313$61F85BE2-4554-4925-8236-F8598ABF8F2D","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":"8b87f2dd9ed35d0b772fef572b32038de2e58bb4","datavalue":{"value":{"amount":"+0.8609472513198853","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":"Q2917313$DE07C837-F3CB-4B22-B9D5-3822975F47EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4af20968324e039ab045af9523eefc29a9507138","datavalue":{"value":{"entity-type":"item","numeric-id":2822660,"id":"Q2822660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c558b845b719ce917765611f01b4e508b8fce9bb","datavalue":{"value":{"amount":"+0.8294938802719116","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":"Q2917313$55B9AA33-B67F-4881-A348-0FC835689671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22f648732555068c3c8d77d4347525c29f6837a3","datavalue":{"value":{"entity-type":"item","numeric-id":3612723,"id":"Q3612723"},"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":"Q2917313$1A384233-8931-4F35-A9A7-79C011F29E30","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":"f04f41242a66d2ca5e07f35e51331425838c4205","datavalue":{"value":{"amount":"+0.7715654373168945","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":"Q2917313$5C6D53E2-2689-41F0-A20C-DC6EB9CBACE0","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":"ef4a4dd09c2c9f57b110964e048c20cc3ed92af0","datavalue":{"value":{"amount":"+0.7578726410865784","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":"Q2917313$216DD93D-EEF3-463E-900D-149BFD531BD5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Undecidability of coverability and boundedness for timed-arc Petri nets with invariants","badges":[]}}}}}