{"entities":{"Q5353204":{"pageid":7382778,"ns":120,"title":"Item:Q5353204","lastrevid":41136734,"modified":"2025-04-18T11:13:49Z","type":"item","id":"Q5353204","labels":{"en":{"language":"en","value":"Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6771956"}},"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":"Q5353204$B8670DAB-7240-4E99-A112-DC430773D4F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c5054fbc493406b673e3a7a3b6da8c8f74e6456","datavalue":{"value":{"text":"Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5353204$974E8243-20D1-45FA-BB4D-B8430044B3F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1b137ab5e2be1cee7dabf2a697579cbdbe41635","datavalue":{"value":"1369.93194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5353204$B7A01946-8667-4AC7-AF66-0DE59DE3F709","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be1a4865dae2af85a024ecab67b58fdbb5329102","datavalue":{"value":"10.1109/TAC.2012.2230814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5353204$A9D1F8E6-1914-4C24-83B3-F4E9B38F8E5D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b68ee895fdd8edf5b6a7242589683f3645a2193","datavalue":{"value":{"entity-type":"item","numeric-id":2393137,"id":"Q2393137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5353204$166DC882-FA5A-406F-935A-DF082E601E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d89490944a0cf65c3919d65bf38beba776c368b","datavalue":{"value":{"entity-type":"item","numeric-id":243736,"id":"Q243736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5353204$7EB87A10-CBFA-49DA-B4E6-369D4947A57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1db77f7fe58513e6af6cff38a46f5f431615b652","datavalue":{"value":{"entity-type":"item","numeric-id":344787,"id":"Q344787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5353204$A8097121-D3CB-4CAA-B23F-60B23579C485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"861ba9963d9ded5808d3b14fabbc2e0cbe90649c","datavalue":{"value":{"entity-type":"item","numeric-id":1329101,"id":"Q1329101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5353204$9BAE7437-B821-4D5C-96A5-41CCEE88469F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4f1d6b422604681a1dec9879ec3d8d5f7ee0ad4","datavalue":{"value":{"entity-type":"item","numeric-id":1412281,"id":"Q1412281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5353204$F841AC20-A5EC-4F09-8931-2F96493CFEE5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"231075b9dab1b13e4c64992ef81666085035687e","datavalue":{"value":{"entity-type":"item","numeric-id":123639,"id":"Q123639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5353204$5079763B-3134-46D0-AC3C-EDEE3F5CCD21","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c67d8078e1a5d9d2033371c1c5369954e233b550","datavalue":{"value":{"time":"+2017-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5353204$3A943CE8-70A7-454A-BEB4-5AC6E2C278DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5353204$9AFBD33A-3861-4DA6-BDED-F71A2F5AD45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5353204$0F4F6193-274D-40C0-A724-17C52334B7D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cbecaf09d4149e143734b0f5481c59187d3f2f86","datavalue":{"value":"6771956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5353204$5BBBF257-DEA6-45C1-84A9-C3D9123FE501","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":"Q5353204$DD58F1C4-E80E-4E70-B03D-1DE6ED734273","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0566cc32ebbed0ab2abcebe49fe3d0b54e51b0d6","datavalue":{"value":"https://doi.org/10.1109/tac.2012.2230814","type":"string"},"datatype":"url"},"type":"statement","id":"Q5353204$5DFF6D91-FAB9-44AF-AFC3-E3DE55A0A377","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"261f222e0ce215a5be6bac9131da94fb5fa64169","datavalue":{"value":"W2024623468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5353204$2289DBD2-C4AC-4108-8EE0-A2F7023D6000","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c8afeeb572ad36061cc59b43713d7bf8d8b782b","datavalue":{"value":{"entity-type":"item","numeric-id":4535794,"id":"Q4535794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd5868701cb35c1fc47007427bc3ff2b96968c1c","datavalue":{"value":{"amount":"+0.8958338","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5353204$F35ACEBB-9544-4D95-88C2-E55AB6A04BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b067c6a36402f13bf69128c9a0cf0892cbf9d144","datavalue":{"value":{"entity-type":"item","numeric-id":4633154,"id":"Q4633154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd57edf973e45ed2d560ee00dda238a756ad29a1","datavalue":{"value":{"amount":"+0.89340717","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5353204$65753EF8-E2D8-4172-880A-C42C6728AE40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f4b4ca600123d7e0d1f78116da1a51d8f1d1021","datavalue":{"value":{"entity-type":"item","numeric-id":6056440,"id":"Q6056440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e2a9eff089da5ef874fc5e7fb378571a27b6055","datavalue":{"value":{"amount":"+0.89331186","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5353204$2B565E8A-D86B-4077-9CAF-3B42E1ECE41D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d298199178afd53226b65e6390377256a9c08a1","datavalue":{"value":{"entity-type":"item","numeric-id":3058342,"id":"Q3058342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d51629e822577682b9c390b56682167f23e53251","datavalue":{"value":{"amount":"+0.88861096","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5353204$EA58399A-E2D8-4274-8279-5F469072C219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b84858789ea8264fb291bb0bd19f7bc67550b233","datavalue":{"value":{"entity-type":"item","numeric-id":2663929,"id":"Q2663929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45c913490846dcd3ed3034554a01876e106b9543","datavalue":{"value":{"amount":"+0.8839962","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5353204$A2A12553-3640-4EB7-ADB1-4E66DE834898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e59ed5855629d4508779f511da6a4d4e3b79fe1","datavalue":{"value":{"entity-type":"item","numeric-id":2747757,"id":"Q2747757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"971e31daf5389612260065405154fe4ae7305ec1","datavalue":{"value":{"amount":"+0.88366234","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5353204$4D278CD8-416B-49F4-992E-CF89E3739EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba21197f2ffafe98c00628a0a28522a71b78bfb8","datavalue":{"value":{"entity-type":"item","numeric-id":5266683,"id":"Q5266683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a81bb8da54168c0e4b49849bf60be7c588102301","datavalue":{"value":{"amount":"+0.8830456","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5353204$4E6516A4-EC77-4E00-820E-68AD68564A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"155aa0637eb146bbda40a4e9bd4c0217d80da77c","datavalue":{"value":{"entity-type":"item","numeric-id":6052675,"id":"Q6052675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e560d6225f956ebd7eeb5facba8479ac56d2927","datavalue":{"value":{"amount":"+0.8816067","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5353204$B136799E-9D2B-40A3-A871-7FA7B25C49D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05a373947c25739357a1102054e39dab34960b43","datavalue":{"value":{"entity-type":"item","numeric-id":5352711,"id":"Q5352711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc40ee92cafe57783ab2cc8dc414cdd9ae4d1064","datavalue":{"value":{"amount":"+0.88143766","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5353204$BF00B54E-4A68-4DAD-8360-9C67FD946946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"360520d51c8484f31ee1a12151cbc006605a6031","datavalue":{"value":{"entity-type":"item","numeric-id":2350777,"id":"Q2350777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3159b28116f52b7e272cf6f1d248658cb92b2133","datavalue":{"value":{"amount":"+0.8811376","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5353204$8FAEB2A5-B73C-4D81-AA28-88ED86300CE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5353204","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5353204"}}}}}