{"entities":{"Q644287":{"pageid":646135,"ns":120,"title":"Item:Q644287","lastrevid":51359288,"modified":"2026-01-17T22:18:51Z","type":"item","id":"Q644287","labels":{"en":{"language":"en","value":"Reachability determination in acyclic Petri nets by cell enumeration approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5967422"}},"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":"Q644287$DAD93823-8CBE-46AF-9777-5A0F1510A55A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d26ec75ba90542647371cc742c6ce05fcbf9695f","datavalue":{"value":{"text":"Reachability determination in acyclic Petri nets by cell enumeration approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q644287$D1768D58-E120-48CA-9B89-CDA58F8BE605","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"528b254c7ae55196d990d28907da4621ace8d921","datavalue":{"value":"1225.68127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q644287$D10AC03B-3140-4B5F-BF43-060016984263","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"560b081c758712ac1c2cdc8f5e41d1182130f9fb","datavalue":{"value":{"entity-type":"item","numeric-id":384211,"id":"Q384211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q644287$A952C16D-E9EE-4C73-869A-88DE6F5D9938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d794b58d90fb2966cb0c0e2532387e53d30f7187","datavalue":{"value":{"entity-type":"item","numeric-id":644286,"id":"Q644286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q644287$ED90F1D7-5487-4166-A785-E8EE85442528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"75897571940ab25c6b9c4fbeac7e6c34a6bf10ec","datavalue":{"value":{"entity-type":"item","numeric-id":162472,"id":"Q162472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q644287$A75AFEFF-68E9-4ADD-A155-1E7A945754E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"899d9776aae3a3fb9732b59bec83780960f67112","datavalue":{"value":{"entity-type":"item","numeric-id":1655927,"id":"Q1655927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q644287$3BCB0E5D-E431-4B86-926F-2408D74C8F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73d3643cf487e77c512e8a05c1c49b8e2f0f3066","datavalue":{"value":{"entity-type":"item","numeric-id":864721,"id":"Q864721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q644287$351088DD-DFAD-4231-A467-2F86FDE75980","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"69a11602bb4f474f716dc259849d1837f4cd9e2e","datavalue":{"value":{"entity-type":"item","numeric-id":161901,"id":"Q161901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q644287$B2FBA0CB-5595-46A2-A5E0-7C7A80594B14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a96d6bdb946ea07bc8a3c3dc0c12ef4683645ce0","datavalue":{"value":{"time":"+2011-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q644287$F8B37060-53A7-4336-92A7-1F6A0C689AF7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q644287$C4E7F583-9B35-47FC-8CC6-CCB70349A71D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff5b678e0dae1b779b6bd0b3a4ba0e2cc028d9d7","datavalue":{"value":"5967422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q644287$B4919AE2-87F9-4657-98E4-E1C95C3C10E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q644287$43A989A6-33B2-462A-BA02-0D2CC6314695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q644287$E1FF6332-C6C5-4685-9903-6B7395EB4BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05e06f134db099daf02ea743bba034e5b153534a","datavalue":{"value":"cell enumeration","type":"string"},"datatype":"string"},"type":"statement","id":"Q644287$FF4BE352-A833-435D-B488-EA5DBFF610A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f52dde497e6fdd0aefb275c9fa47b103761cd40","datavalue":{"value":"linear Diophantine equations on bounded integer set","type":"string"},"datatype":"string"},"type":"statement","id":"Q644287$668F2EA6-F5C7-4021-BC20-C305DF4AF693","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":"Q644287$4DC9C287-E483-4F7A-8E70-B0C1C27EC90E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d7c96aab5a12b7b4df0759d61ebc069b07a5b806","datavalue":{"value":"https://doi.org/10.1016/j.automatica.2011.06.017","type":"string"},"datatype":"url"},"type":"statement","id":"Q644287$761F3D46-4EA3-4E32-902B-2728D04373A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0260c461a983ad925e45bcc4c231ab45d11e2902","datavalue":{"value":"W2054538707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q644287$5D296D7F-D46E-4DE8-9CA4-16B3D27AC3DD","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"04d85ed5fb635507e95931835c69f9bbb517914b","datavalue":{"value":"Q57445452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q644287$B401668E-3F7C-4423-821A-89B0C91FEBDE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab2b699575b7c6d582f0030b9bd1b8c30abd7ee5","datavalue":{"value":{"entity-type":"item","numeric-id":2757645,"id":"Q2757645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q644287$80EF1D23-0E77-4BD2-B74A-386F335886BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e32a01f1d588f6d8c933d64e7a17325dbff022c","datavalue":{"value":{"entity-type":"item","numeric-id":1917258,"id":"Q1917258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q644287$5DCE3CC8-1C55-495E-B7F8-E0B8BFCD370B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25b026e498c7466f890693e678f90760ff4b1c4e","datavalue":{"value":{"entity-type":"item","numeric-id":3772828,"id":"Q3772828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q644287$9C82E3E3-2439-4F8C-8880-43A19AC8ED6E","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":"Q644287$ECF8BB0D-9393-4EE6-9154-8EE68365E5C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65f66ad2cd57c63bd4b22476385cb0645544c88f","datavalue":{"value":{"entity-type":"item","numeric-id":3907636,"id":"Q3907636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q644287$A184C30E-A86C-4015-B82C-6B277D0EFDB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f078c7573801221bb8bea810d926dafcc9c0e96e","datavalue":{"value":{"entity-type":"item","numeric-id":5266827,"id":"Q5266827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q644287$4F9CDFEF-2440-4CE5-B03A-C8992D9DECE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22edf150ae1978c45caae8e642bb75f6fdcb9116","datavalue":{"value":{"entity-type":"item","numeric-id":2501114,"id":"Q2501114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q644287$EDF185FE-FD63-43F9-AE77-A19C71D1AE85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90c143eb883825240f5cc61fb44abf21ad22bb74","datavalue":{"value":{"entity-type":"item","numeric-id":4126143,"id":"Q4126143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q644287$845E72B1-E27E-446F-BF08-02DBB08442CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f1e8c199d0a3738b5df7039fa423628b9c9f24f","datavalue":{"value":{"entity-type":"item","numeric-id":4040221,"id":"Q4040221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q644287$FBFE1E94-EE7F-4A5F-B6B5-5ED2524097B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce60928b2b307688ce0e9f59fbc721a67ced9c96","datavalue":{"value":{"entity-type":"item","numeric-id":5899250,"id":"Q5899250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q644287$677D169C-C410-4EF5-BB93-0EB3B970C65A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c6c299e15ddeb001671e573dc9a5439e5a86a0","datavalue":{"value":{"entity-type":"item","numeric-id":3818127,"id":"Q3818127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q644287$1A23F3B6-6BA2-4653-9A5A-C4E0E54364A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e0d01bca0337548c7608933bb2438133d032d92","datavalue":{"value":{"entity-type":"item","numeric-id":4719331,"id":"Q4719331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q644287$80750158-4734-4A8D-918A-A5FF5F3F1FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff38aeeaf71480e835ecd7f97050709986020c2","datavalue":{"value":{"entity-type":"item","numeric-id":2492162,"id":"Q2492162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q644287$47DEC26D-6634-4627-9E47-0B494EE38AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e217eb19922bad721b0b5615a5604342f25f3c33","datavalue":{"value":{"entity-type":"item","numeric-id":4049713,"id":"Q4049713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q644287$F21141BB-1041-4EE0-83E0-D72A16418E43","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a35fffb080ebce3b95ce7e8eb1685b72c33b68b6","datavalue":{"value":"10.1016/J.AUTOMATICA.2011.06.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q644287$DBE5585D-E4F8-4D53-989A-B67199641450","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6d320e89574876ab1ac892c2bd0df275d997cce","datavalue":{"value":{"entity-type":"item","numeric-id":4835904,"id":"Q4835904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"698933eab72e35ac6036375ae0da8c2bbe93437d","datavalue":{"value":{"amount":"+0.8448331952095032","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":"Q644287$238F23E1-35F7-4F9F-9532-2C582590316E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46b97a0ffecde032f3cf497744f901e6271492bd","datavalue":{"value":{"entity-type":"item","numeric-id":3677184,"id":"Q3677184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1e5df006ea768b9ba70338e95c211b5ed30b2bd","datavalue":{"value":{"amount":"+0.8054721355438232","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":"Q644287$6871E479-C131-4C4E-A70A-78CC343B1431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8e8265a21a53e16c25f8845900a25c6eb4d2a0d","datavalue":{"value":{"entity-type":"item","numeric-id":685410,"id":"Q685410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"316a8432276c201f65ee8cf22fe2435fbdcdc36e","datavalue":{"value":{"amount":"+0.8043094873428345","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":"Q644287$DABDA5DC-0491-4C3E-AAD7-0E39BBE62BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0c966eb4160bf20caf2f9bc177ad05cf41d2b64","datavalue":{"value":{"entity-type":"item","numeric-id":5959841,"id":"Q5959841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caeb66f1573e274e47a6010ae3e845ff0e1a204f","datavalue":{"value":{"amount":"+0.8015862703323364","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":"Q644287$9ACB2D16-1D15-414D-855F-76ED0B43FB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbbc9ba4180a6d2f6a294eaf1dba353bc08ae4cb","datavalue":{"value":{"entity-type":"item","numeric-id":4823615,"id":"Q4823615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"625453a5962f203f9492ad0fcf30707dd3a80f77","datavalue":{"value":{"amount":"+0.798809826374054","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":"Q644287$CA649DCD-4AC2-41E4-82A3-72C419FA2701","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:644287","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:644287"}}}}}