{"entities":{"Q1389765":{"pageid":1400505,"ns":120,"title":"Item:Q1389765","lastrevid":68603583,"modified":"2026-04-13T00:51:58Z","type":"item","id":"Q1389765","labels":{"en":{"language":"en","value":"The synthesis problem for elementary net systems is NP-complete"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1170402"}},"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":"Q1389765$060BA8EE-CD63-4789-968D-CB9CCB841EB0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d94c042357274c9332791b1099ce105676bfbbe","datavalue":{"value":{"text":"The synthesis problem for elementary net systems is NP-complete","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1389765$6BC83311-8E9A-481A-A7B2-F29624DB2D64","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d32ac86ce0d7b6502cac421e7e43e28f958100e9","datavalue":{"value":"0893.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389765$702F638A-F979-4F2B-9EB9-586EDB6E20A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f2140425566f8ae1c1755e602a423eaf9c21af5","datavalue":{"value":"10.1016/S0304-3975(96)00219-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389765$D79B5A2F-5F19-4640-AD91-4F2839AA650D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"676bf375f547cb28c0bec5be0d58668c6af73045","datavalue":{"value":{"entity-type":"item","numeric-id":805245,"id":"Q805245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389765$70D0A56E-9D91-4358-AFAE-787D3017B265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f886e76b72f69f48c0aeda0366ae3d6bc952beb4","datavalue":{"value":{"entity-type":"item","numeric-id":897108,"id":"Q897108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389765$FA44544D-1947-4C56-B5AB-795B3394D72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"271829170669ce43b1b4f10856578a74e1f3e05f","datavalue":{"value":{"entity-type":"item","numeric-id":557785,"id":"Q557785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389765$80C17857-E36F-4442-A9B7-47125622FAE6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389765$996D1CAB-0CCC-4DC6-911C-A04E282938D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98f219d7d1f0a69180d363f24f243049839e281b","datavalue":{"value":{"time":"+1998-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1389765$FC1AF659-6961-48FF-AD70-CB84827EBA53","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389765$EF86641B-794C-44D1-8C0A-3D67C54D5915","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e4b9f939b7f3adf74f5fd2d473b4ce09aa3418d","datavalue":{"value":"1170402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389765$03B0B457-CB74-4B0D-B06B-EC1A213795CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4469fef9eccc45873e24e8d4f73948d8015dd53c","datavalue":{"value":"Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389765$90F16E03-D322-4E50-A668-BCBA3F447FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3f5ca00839a220b69f87a47056e07f0ef1552ec","datavalue":{"value":"synthesis problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389765$FC44A8D4-55B8-43D6-B2AA-DC551EB90770","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":"Q1389765$9E5D6D98-C833-4DEB-B931-2DB1A761CB5C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b8a9169dc1f5c4729c297a1b5ed2fd1056fdf0","datavalue":{"value":{"entity-type":"item","numeric-id":5096743,"id":"Q5096743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389765$B832498F-3B75-45BC-9F23-1968F8A7C9A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2087a53324bee5e78d4ce1a9934edb2635d45ef5","datavalue":{"value":{"entity-type":"item","numeric-id":3510859,"id":"Q3510859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389765$E9E54CAD-65BB-4B37-8AF6-8174475FB8C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e2d4b37d6810ae77089fff7efee41289ab16ce","datavalue":{"value":{"entity-type":"item","numeric-id":1901703,"id":"Q1901703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389765$56BD6455-1F8D-46C1-99EC-5FD6A4840C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"079e9e78b985ab6b382e356ff5804967eb351b43","datavalue":{"value":{"entity-type":"item","numeric-id":4288284,"id":"Q4288284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389765$C536F547-8EE0-47B8-8D80-37CD76867478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aca06766684d6875f2b6c3dc42b2014a90381129","datavalue":{"value":{"entity-type":"item","numeric-id":911308,"id":"Q911308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389765$73321DAE-90E6-4AC2-A6FD-FE91ED420743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389765$A2B27FBD-9E9A-4155-A7A9-BB963EE64EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"273e96f3fd191a1c748a335432845ba0076495c5","datavalue":{"value":{"entity-type":"item","numeric-id":3960718,"id":"Q3960718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389765$148B2A7F-05F8-4089-9FA0-BF36C1DC8973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dfc5a8930cfe07bbdb494e21c3c78aa14a91853","datavalue":{"value":{"entity-type":"item","numeric-id":1346631,"id":"Q1346631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389765$A3448C4F-664C-40FB-B3C0-86E119AABFA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81e0a238584099d45d56494a58bf9fa6829124b3","datavalue":{"value":{"entity-type":"item","numeric-id":4032923,"id":"Q4032923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389765$D4A9B478-C739-4CC5-B015-9B5F50E1F906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"199feef90d2926927d682ba221e633df52be4491","datavalue":{"value":{"entity-type":"item","numeric-id":4593957,"id":"Q4593957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389765$A994C220-65BC-407D-A29C-DF2DD557A99F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4d45746a8dae07ecf560e6578ba1143dc646576","datavalue":{"value":{"entity-type":"item","numeric-id":2280178,"id":"Q2280178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d128d69df2090f821343f2e64c52c1c998994524","datavalue":{"value":{"amount":"+0.8824965953826904","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":"Q1389765$58882253-E871-4015-8366-B28BAF5AA678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83a00f55fa62d86e7759052a22b6ca774d1243fa","datavalue":{"value":{"entity-type":"item","numeric-id":1901703,"id":"Q1901703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d93f86ba907a141ae4a01cb7a7ff1d30a0edd6b","datavalue":{"value":{"amount":"+0.872833251953125","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":"Q1389765$644B14AC-EDC5-4E5A-A873-680E771262A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b585be8189643ff9b3ecd9698d2a2616d56e36b","datavalue":{"value":{"entity-type":"item","numeric-id":4281514,"id":"Q4281514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d2b4e14a1abf5fec5753f63c666b73e644df755","datavalue":{"value":{"amount":"+0.8714014291763306","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":"Q1389765$8E1B8E35-2186-479A-A7A1-47DEF633BA1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10ed7b9769f6b162bf6b2842f4dd2f453aef6777","datavalue":{"value":{"entity-type":"item","numeric-id":5096743,"id":"Q5096743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e55147eb33624a4afaeeeae686e77ed43553fa6d","datavalue":{"value":{"amount":"+0.8566482663154602","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":"Q1389765$DE0426FB-113B-4FD8-96E0-9540AE145884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8aae37184290a432a3619019451934bbab32daa","datavalue":{"value":{"entity-type":"item","numeric-id":4593957,"id":"Q4593957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51b9e4efb3d1576b7dd5f5a1bb4eb3babeda43be","datavalue":{"value":{"amount":"+0.8483105897903442","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":"Q1389765$1456F1BD-CAF5-47A3-B462-D53385F5F952","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The synthesis problem for elementary net systems is NP-complete","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_synthesis_problem_for_elementary_net_systems_is_NP-complete"}}}}}