{"entities":{"Q5740394":{"pageid":7769946,"ns":120,"title":"Item:Q5740394","lastrevid":40978199,"modified":"2025-04-16T12:54:22Z","type":"item","id":"Q5740394","labels":{"en":{"language":"en","value":"Liveness and boundedness analysis of Petri net synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6606307"}},"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":"Q5740394$0370684C-7A5F-49D0-8F45-F0994650FAE2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d42655a01dc4fe52b13ae2f6b467fa86a9e9b47","datavalue":{"value":{"text":"Liveness and boundedness analysis of Petri net synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5740394$47DA04A6-9A68-490F-A88C-25C193A6E9B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d88420d3cab77b4d113879439f4ae38b8c5ffde","datavalue":{"value":"1342.68247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740394$C39139C3-743A-40A8-A3D5-A373A5945C82","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7d59e3d5a8c2169cbbc2118206a112870ec0021","datavalue":{"value":"10.1017/S0960129512000515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740394$CC38096C-C641-4C64-9C51-2D686E3D54BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d1ceb7885d290e5c46e5be2411103dd5f97fdd6","datavalue":{"value":{"entity-type":"item","numeric-id":3431090,"id":"Q3431090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740394$B1358665-E060-4BED-A9E0-65DBEEF47D99","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740394$186768EC-4A4D-4FCF-9FED-03B50C9BB54B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1f68c40e94bd0774ffce1c64b5329d163d095033","datavalue":{"value":{"time":"+2016-07-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5740394$92F97556-93E0-4939-96AB-A7AFF60BC00C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740394$592486E4-C19D-4342-B32C-ABE44D9E640E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f260000afc50205f23959e6db94e80dd52c2f38","datavalue":{"value":"6606307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740394$BBAB1397-63A8-4076-ADAE-6531E8504B72","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":"Q5740394$4540F469-E5C9-458D-A816-3DAAA2B02C4C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eea418922ae67b0f813e6a8a6ceaf397950008ef","datavalue":{"value":{"entity-type":"item","numeric-id":4017746,"id":"Q4017746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740394$10F27766-3A80-43CB-BA86-167BCDC84082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10c433597ee221794b62cfd87b0a64abd91330d","datavalue":{"value":{"entity-type":"item","numeric-id":1882929,"id":"Q1882929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740394$0E80BDF1-7A92-4CEF-8F7B-ACE10E6A7D8E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"98df7a10b96f9ea347d98e247a0cdc52e555e94f","datavalue":{"value":"https://doi.org/10.1017/s0960129512000515","type":"string"},"datatype":"url"},"type":"statement","id":"Q5740394$D83489C3-F964-4BF8-97A7-4A1E1AAEC539","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"14d6c474ad12c9266840a7253751888e68360e7f","datavalue":{"value":"W2076019503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740394$908EA3E5-7E8D-48FC-9156-22A6702ED2D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff6de7cb48ecf28a934abdf1cdd2742f24c3a0e8","datavalue":{"value":{"entity-type":"item","numeric-id":4902320,"id":"Q4902320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3a0b2aed39922f71ef1cce774368cda26d5879e","datavalue":{"value":{"amount":"+0.9185456","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":"Q5740394$628A6DC2-64E2-4910-85BC-2856ECDA22CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4b2b8444ddb18c0d55dc0111625a69e88feafcf","datavalue":{"value":{"entity-type":"item","numeric-id":2971127,"id":"Q2971127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baff4ac4b3ff7d68a2dfaed0104e011148156a44","datavalue":{"value":{"amount":"+0.9169576","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":"Q5740394$63EAA8B3-6891-47A6-B913-3FA2A20BACBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6cf3b5333344ebc1c865fd1f02d48b919ad5668","datavalue":{"value":{"entity-type":"item","numeric-id":2340254,"id":"Q2340254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdb65c0be7e1b5f149fc5b3d1947c1bc398dcc6e","datavalue":{"value":{"amount":"+0.9143226","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":"Q5740394$7D056634-6230-4CE7-BA84-98DE7CBCA4DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e4fbda8c7429d0d1d5c91f23f00fd506daf3bfe","datavalue":{"value":{"entity-type":"item","numeric-id":1336048,"id":"Q1336048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f657610aa085e4c9e19e3cd4aaa323c31c6431f","datavalue":{"value":{"amount":"+0.91238177","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":"Q5740394$754655E9-381E-4B5F-9A39-09C7B57AEB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6db1f03c063783134d90a60b0427bff1f9309e2","datavalue":{"value":{"entity-type":"item","numeric-id":3746895,"id":"Q3746895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"543ae9a1035a48e0125160fda5ba362031f4186a","datavalue":{"value":{"amount":"+0.9076141","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":"Q5740394$E9796F72-E77B-4F81-B922-474139C70458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68fa337900164f40cfcf60e8b0b78fc5fef7a418","datavalue":{"value":{"entity-type":"item","numeric-id":4823854,"id":"Q4823854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3741511907000ac595938f78e384012a05769698","datavalue":{"value":{"amount":"+0.90755415","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":"Q5740394$32C1AF6C-5957-432B-B100-17B8C9E1BC2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36274df13f4d9d3c1f69a45b3ce132c167fc888b","datavalue":{"value":{"entity-type":"item","numeric-id":3045261,"id":"Q3045261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc897d98826785b56c8a630e4b6319aaf419127d","datavalue":{"value":{"amount":"+0.9045828","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":"Q5740394$BBE3835D-3238-41C7-BEA6-F26882277D8A","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":"660a70e0e6087952eecf617675980e2aad71e0c0","datavalue":{"value":{"amount":"+0.9031393","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":"Q5740394$E418CA59-0D95-4034-8FEE-D6023589610E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76ca1e47147d1969bafa2f046339a8323e0bd687","datavalue":{"value":{"entity-type":"item","numeric-id":6044494,"id":"Q6044494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0956cefdc0f53e608385f88307b8301c74fd3ca5","datavalue":{"value":{"amount":"+0.89981204","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":"Q5740394$7B790A2F-B53D-400D-8DC1-BC40AE076C9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5740394","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5740394"}}}}}