{"entities":{"Q1193656":{"pageid":1204405,"ns":120,"title":"Item:Q1193656","lastrevid":66456153,"modified":"2026-04-12T10:11:31Z","type":"item","id":"Q1193656","labels":{"en":{"language":"en","value":"A polynomial-time algorithm to decide liveness of bounded free choice nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 64941"}},"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":"Q1193656$D7070BC5-9895-4EFD-94EB-A572C005696F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53e69fcd0678ae8b2b34d890efe8c2ada2e04859","datavalue":{"value":{"text":"A polynomial-time algorithm to decide liveness of bounded free choice nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1193656$3F1FD74D-11DB-4DAE-B1A2-BFB4B45301E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f107d3ec49fc2478b70b0259d41f7a205f47bcc7","datavalue":{"value":"0776.68090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193656$F210AEA9-DE46-4766-82A8-0E4B2A2EEF7B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d36590b4c458391095f209624cc784fa7c5520f9","datavalue":{"value":"10.1016/0304-3975(92)90299-U","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193656$E57AA8C2-F32E-4BE0-905F-99CA25561324","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5b17683dd2eedd3f1d821a1087aa218b2b31d17","datavalue":{"value":{"entity-type":"item","numeric-id":1160451,"id":"Q1160451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193656$0428CC10-5731-4431-966D-233E7163A496","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":"Q1193656$FE9E7DB8-C5B7-4E29-97FD-B93764E8576F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1193656$68EF41B7-F3DA-42FC-92B5-E627E95A947D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193656$99799F47-3DFF-4595-9211-117D3F91A417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193656$B3F06118-B65C-488A-B49F-051407A34497","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3b8839bf400052da490fd2f0e43d5b37a640bb0","datavalue":{"value":"64941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193656$4764121C-DE8C-4DDD-A638-5B2F736876B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193656$E6121F2C-CB9A-48EF-8902-5B8B4D3DCC2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12e59fb54af921276c38159b488a32fd9720c27c","datavalue":{"value":"linear algebraic calculation of deadlocks and traps","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193656$3272B1DC-9180-46ED-9AC3-8E2F67F9FFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdde7b45dbb3f8df248ead9902e8db0fb791e374","datavalue":{"value":"polynomial time algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193656$128BBD33-582D-4A15-9F97-9C17A309742A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193656$0ED225C8-C8AE-453E-B19B-0D3CD6D6888A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8503a7802d94e8452237a186a3d2469c9bb70af","datavalue":{"value":"bounded free choice nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193656$44335A92-65F5-401F-8223-D8DDE55C2555","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":"Q1193656$97651D47-58A8-4DB5-B32A-1E0E378FA957","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"443678a3ef0d8b7def1fe3aa1ab433d1d063c010","datavalue":{"value":{"entity-type":"item","numeric-id":3683542,"id":"Q3683542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193656$C0C565C1-88EF-49E6-AA5A-24B86B2FADD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6f3400e4329de0b90335093abbd053e6d91ef84","datavalue":{"value":{"entity-type":"item","numeric-id":3771633,"id":"Q3771633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193656$A755845A-FCC0-4D99-81C9-EAF6D35D950A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db9cb3681cbec3087b5d04cfc8162fc676b04e3f","datavalue":{"value":{"entity-type":"item","numeric-id":911779,"id":"Q911779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193656$8D28ED45-9D4F-4437-8D4F-53594724A7FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b86300986c4ef6522adbc43072c9cd9f065453a9","datavalue":{"value":{"entity-type":"item","numeric-id":3773359,"id":"Q3773359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193656$574B73F7-E417-4B5F-9C9B-C2AC78125D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d4a4f4dd932bd775f3d25a9110ed67c05d2f39a","datavalue":{"value":{"entity-type":"item","numeric-id":1094330,"id":"Q1094330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193656$E3F46870-80A1-4C9B-8F83-93EED3B3B33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"990393bd70b90fd085a53f98d66454d70d95783b","datavalue":{"value":{"entity-type":"item","numeric-id":1238999,"id":"Q1238999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193656$3CECA21E-B047-4C01-B80F-1F856A8ACCB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c796eadd682297715f9583699f0f74be7d7d40b","datavalue":{"value":{"entity-type":"item","numeric-id":3782791,"id":"Q3782791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193656$7807D4CF-2178-4CED-BCC7-6688BF5ADC7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b9c1b249b6845b1507d96d39686d1537f26d55b","datavalue":{"value":{"entity-type":"item","numeric-id":3859263,"id":"Q3859263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193656$DDA3915F-25F9-4AEC-BCDE-3C992EDF8599","rank":"normal"}],"P1643":[{"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":"57fba43a820798985a1b6c78b81205873d959bae","datavalue":{"value":{"amount":"+0.8010013699531555","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":"Q1193656$6F0D2DAB-1864-415D-A78C-19B0F28A8282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"274d4fb28ec336d06b99f2b7bc06bb604072570e","datavalue":{"value":{"entity-type":"item","numeric-id":5096358,"id":"Q5096358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"249b7dbd33ca16da5d8e8c18eeeec4fa93cad750","datavalue":{"value":{"amount":"+0.7886676788330078","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":"Q1193656$6B57510A-7B18-4BAE-A042-CF3876D30084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3e3884cc77a44c8748f0bd1a2a08a46ff61a237","datavalue":{"value":{"entity-type":"item","numeric-id":2641226,"id":"Q2641226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0de4e0c866648d1256663fab39c20451153cc61b","datavalue":{"value":{"amount":"+0.7714715003967285","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":"Q1193656$298ABBC5-1D5E-4022-BA1B-F6FF733CD38B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d92472578382ccb9ddf4573d4c8675aea94569e","datavalue":{"value":{"entity-type":"item","numeric-id":1814835,"id":"Q1814835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8530db44b313408dd73b0713ce0c037e8551ee12","datavalue":{"value":{"amount":"+0.7687456607818604","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":"Q1193656$D9B328D9-A143-4A9E-83CB-341805D132C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d246024587735dac11d7f5877e0c5cb350e92d5","datavalue":{"value":{"entity-type":"item","numeric-id":4633174,"id":"Q4633174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8530db44b313408dd73b0713ce0c037e8551ee12","datavalue":{"value":{"amount":"+0.7687456607818604","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":"Q1193656$77D3FE46-0BC8-4860-8219-9CFE33725A8B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A polynomial-time algorithm to decide liveness of bounded free choice nets","badges":[]}}}}}