{"entities":{"Q1786561":{"pageid":1797303,"ns":120,"title":"Item:Q1786561","lastrevid":72954843,"modified":"2026-04-14T09:00:08Z","type":"item","id":"Q1786561","labels":{"en":{"language":"en","value":"Towards reasoning about Petri nets: a propositional dynamic logic based approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6942948"}},"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":"Q1786561$561F63C0-605D-4A92-852E-DC8926D98059","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6e84f0b488a541c8c2790ca7363894c54f191b9","datavalue":{"value":{"text":"Towards reasoning about Petri nets: a propositional dynamic logic based approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1786561$69938638-7385-4AB0-8C51-E54754F86E32","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f143eb9b1399597daa71c3a60f3218ddbdfdead","datavalue":{"value":"1401.68220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1786561$A31BA3DF-85E6-4481-BDD3-51A5A297CA63","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"523eb1c9f92e29e52a82edbd2df5947e22806cd3","datavalue":{"value":{"entity-type":"item","numeric-id":281153,"id":"Q281153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786561$0C5BB68F-001A-4B4C-BE4B-16A6CA3584B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9faf035fd863b205682c8dda962765b1be375dd4","datavalue":{"value":{"entity-type":"item","numeric-id":281143,"id":"Q281143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786561$CFC1DA33-C872-4005-84C3-646582ED22CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"63d9233b42254158160c8d5be21064a25b66fbf1","datavalue":{"value":{"entity-type":"item","numeric-id":489209,"id":"Q489209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786561$02661505-1D1B-4A4F-A594-3A05CE39E086","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":"Q1786561$58F01A70-EA06-4EB5-A1AB-FF768DF56361","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7ed40e224e7b432b4f548a0bdc7aa3f47cf4ebf6","datavalue":{"value":{"time":"+2018-09-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1786561$AB3510DF-5832-42B0-942F-FD1CFFB74173","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1786561$9F7A2DAC-C11B-4F9E-BFAE-4C1D23A35CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1786561$15CF9919-7B92-44C8-B680-3D98D30F6FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1786561$99F254B3-81B4-42DA-978E-28F3ACD66139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1786561$AF05CE82-9FEB-4AC9-BC26-12A7DB479B03","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b5fd4bf8f89a00c6b2b9715c7937fde1719f5b5","datavalue":{"value":"6942948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1786561$9A4FE3C8-D066-4F1A-A22C-CA00E91CAF82","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1786561$470423F7-C357-44EF-AF99-1AA2F645DE14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1786561$D0DBEF00-0C61-491C-8895-E95AAFF756C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1786561$69E278A8-A121-4830-A45A-0566D45E21B4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc4ca1f0251ce41d51aab35917b52c65e3758b69","datavalue":{"value":{"entity-type":"item","numeric-id":26975,"id":"Q26975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786561$226CADF5-3F31-402B-8254-98934DF44626","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":"Q1786561$B4EAF421-B665-4473-89FF-B5CE75C06D24","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ac0dcaef622e08146cc4faaa48ffea74a881fa6","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2018.01.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q1786561$0AE07A8D-B8F2-4060-A1EA-CCC8342B22C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f0f7f944999323a0c137938827463c14228f8e79","datavalue":{"value":"W2784333464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1786561$1888CB6D-D08C-4890-A706-06508B870CA8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e23100ee15abd5423a393a8fc786da512b3eb97","datavalue":{"value":{"entity-type":"item","numeric-id":3643256,"id":"Q3643256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786561$27889C79-3269-45FB-AA28-C2DD862E0289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9b78e5cb84485f9815bc0326cef83c61d97bce1","datavalue":{"value":{"entity-type":"item","numeric-id":3511450,"id":"Q3511450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786561$B2A04665-D6A9-4000-A76A-D69F86B68429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc63a38d2dee844307edd9a0d2a0432ffb6858fa","datavalue":{"value":{"entity-type":"item","numeric-id":3179415,"id":"Q3179415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786561$C866468B-0162-42E9-9FAE-5180D83E7E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786561$9477E36C-0DEE-45B8-816E-73B80D08DDAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed87277ae731c132ab208b93d82b5f409042581a","datavalue":{"value":{"entity-type":"item","numeric-id":2798046,"id":"Q2798046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786561$FC282F98-830B-494C-8AA5-BEEBD3B05769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26397b126545fbfece88c979577fd04b9673081d","datavalue":{"value":{"entity-type":"item","numeric-id":1058847,"id":"Q1058847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786561$957F8740-D054-4ED7-B911-F5B992DFA5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786561$7F7DBAA7-0D5C-40E4-9B2F-A83CD122D023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786561$CF084B39-FAB0-411D-930F-CB4D21B03DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b533b2bc04d6033c9636f1b8a0113dc5a63f8746","datavalue":{"value":{"entity-type":"item","numeric-id":4694250,"id":"Q4694250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786561$64B9917D-0B5D-4A64-A6AA-A85D4CCD9FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c828766f544d12c1b296a8e13167a15c2a6b818","datavalue":{"value":{"entity-type":"item","numeric-id":1207436,"id":"Q1207436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786561$5EA9A1C8-4BFE-47A0-A28F-3EF0357F10A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80ab2d8390145c5151ca35ad49ab39837a18a8d7","datavalue":{"value":{"entity-type":"item","numeric-id":3137712,"id":"Q3137712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786561$AB2C6B89-F439-4042-9534-8D86E2A3F563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786561$8644A373-6364-40FD-B15C-BA4EBA830F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06d570659bbdd39689a0f1f75198c748317e7669","datavalue":{"value":{"entity-type":"item","numeric-id":1903081,"id":"Q1903081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786561$6A6FA093-D3E8-4136-A2A1-438623C789FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efea0cb6fd0b89c60672609cf98a61fcdf693a9d","datavalue":{"value":{"entity-type":"item","numeric-id":2643333,"id":"Q2643333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786561$EA14554D-49D6-4854-A8DE-52CA90A2C673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a05c1c764e320d90b71261293e1ae058c1b71128","datavalue":{"value":{"entity-type":"item","numeric-id":4644609,"id":"Q4644609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786561$36DF2BBD-31E5-41D2-A4D1-7116DA10F1E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b760176cd64eb25e121f74c62f381a07ab10480","datavalue":{"value":{"entity-type":"item","numeric-id":281154,"id":"Q281154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786561$CF2B698F-8958-4635-80BA-7F62F8B8C4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bc04b441aa9601b246021f0a8e69e8277ce6359","datavalue":{"value":{"entity-type":"item","numeric-id":909653,"id":"Q909653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786561$2C82DD85-2CA1-4C94-8BF6-3AD387074A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98303962c5d0df53d7b0da3efe47e756e2d60e72","datavalue":{"value":{"entity-type":"item","numeric-id":3957925,"id":"Q3957925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786561$4455C07E-6C1C-4A4B-969B-18986206C340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2857e2ccf7c4a647101d2799fa5b5bcb5648fc35","datavalue":{"value":{"entity-type":"item","numeric-id":3787981,"id":"Q3787981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786561$38493342-8EDD-4DFB-87A9-B337F0FB75D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35b8dc51fead714b2181fe77a23d97d81b23def7","datavalue":{"value":{"entity-type":"item","numeric-id":1095653,"id":"Q1095653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786561$206AB4ED-D484-4200-9D56-326C8F215D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"288b54d551ffd067e778b04ad80f093ed7ac77dc","datavalue":{"value":{"entity-type":"item","numeric-id":3475251,"id":"Q3475251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786561$9BB646D9-6602-432D-8BD7-FA94C2561B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46e8651d42ea7152b26ae0b9910092681b17dfb8","datavalue":{"value":{"entity-type":"item","numeric-id":4325792,"id":"Q4325792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786561$F1CFEF3C-04BC-4C0B-B314-94A703AC95A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10679e44ab5aef37cd61d6607c1f37da1544de50","datavalue":{"value":{"entity-type":"item","numeric-id":1183595,"id":"Q1183595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786561$C1CC35F4-18A3-438E-8895-5E55D3A1D358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48e851c5380a2b1703132dffe3ce2f30a1f0b9e3","datavalue":{"value":{"entity-type":"item","numeric-id":2782498,"id":"Q2782498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786561$A2EE8A82-6E71-4C3F-A347-0EC7BBFF2F8D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"78ac477bc78cc52e69b0b5bd3c2b44e212b84112","datavalue":{"value":"10.1016/J.TCS.2018.01.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1786561$CAAF43C8-8B10-4763-A4D5-467AC63D3062","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9196921b2f767400fd8e135a2d1aa1284207a3b","datavalue":{"value":{"entity-type":"item","numeric-id":4644609,"id":"Q4644609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd2ea936ae5690c6ad3cc4849ace68cbd6b75b8a","datavalue":{"value":{"amount":"+0.9617849","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":"Q1786561$9AEBBE93-E731-4294-B029-A3C3436BE8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"855e1b494e2774dfb64132dfd52837c9100b87ce","datavalue":{"value":{"entity-type":"item","numeric-id":281154,"id":"Q281154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1572e8fd57e3ce0a27658d9ac3a4bfe0389ddba6","datavalue":{"value":{"amount":"+0.9552157","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":"Q1786561$248E2633-95E8-44CB-8CE2-D84C3C44FD02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f14ba42db8022d87272013c5724dbba6ab287541","datavalue":{"value":{"entity-type":"item","numeric-id":3179415,"id":"Q3179415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"146a1d0b17a4cb399cf2feeca326c595fb93d57a","datavalue":{"value":{"amount":"+0.94093466","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":"Q1786561$51A4694E-89F8-41AD-8A77-BCD77F561040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe2bd70a62caf2ba59d9f3c3c81b0c85d1fb5c23","datavalue":{"value":{"entity-type":"item","numeric-id":2798046,"id":"Q2798046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f269c70b295881ddd460777d834e08d52d79178","datavalue":{"value":{"amount":"+0.9187622","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":"Q1786561$BB1645A4-0048-4EF3-8418-6C2CDDF0BE67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5ec6a1b6caa0ca50578ac89ee4f4f22bffed202","datavalue":{"value":{"entity-type":"item","numeric-id":1083861,"id":"Q1083861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"338ab66ac6c341a81801410c8599d146d99ef6ac","datavalue":{"value":{"amount":"+0.9173829","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":"Q1786561$44B8FFB3-EF95-40CF-8107-E7B8F6DB4C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88112f18e6f083eb02f6981776b9c06a58912fcd","datavalue":{"value":{"entity-type":"item","numeric-id":3538157,"id":"Q3538157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bc2b4abb8f39fcef2ba08dad0703dabcd5e0667","datavalue":{"value":{"amount":"+0.9076187","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":"Q1786561$15A48F4E-6BEB-423E-B60F-0CA756A21246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe21da4bdb9647555fc6a4e9d3b37dadc50232d4","datavalue":{"value":{"entity-type":"item","numeric-id":4720790,"id":"Q4720790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd2486305da0f9c974168067dc03d3d2a8f5e611","datavalue":{"value":{"amount":"+0.9025362","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":"Q1786561$320F1C16-FB4E-4755-AD82-01A6B3E61F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d82986f4543a8b3cbd292a6d570e9b86223d3dea","datavalue":{"value":{"entity-type":"item","numeric-id":4263305,"id":"Q4263305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b28c49691a6726f7c8f77353ebd8f5c234a08514","datavalue":{"value":{"amount":"+0.8995764","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":"Q1786561$4E05DF56-0EB1-4D68-B70C-8F0A520CA3F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ce885881e12020107549ef432056027800608ff","datavalue":{"value":{"entity-type":"item","numeric-id":3830981,"id":"Q3830981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5af390734bf651296e876a6a8a06705ae514a60","datavalue":{"value":{"amount":"+0.8974795","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":"Q1786561$68D984AF-A35F-4D26-AD8F-B8BA7D8042B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1929f5785aebf2d97a012f7b4238ba5c0c4598cd","datavalue":{"value":{"entity-type":"item","numeric-id":530854,"id":"Q530854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"627f355e35db0801ab5dff982f5d200dcd346afa","datavalue":{"value":{"amount":"+0.8969173","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":"Q1786561$BCB634F2-7120-4425-A9EF-60FBB9059019","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards reasoning about Petri nets: a propositional dynamic logic based approach","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_reasoning_about_Petri_nets:_a_propositional_dynamic_logic_based_approach"}}}}}