{"entities":{"Q2941150":{"pageid":2951870,"ns":120,"title":"Item:Q2941150","lastrevid":85266122,"modified":"2026-06-03T06:33:22Z","type":"item","id":"Q2941150","labels":{"en":{"language":"en","value":"Nested-unit Petri nets: a structural means to increase efficiency and scalability of verification on elementary nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6476317"}},"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":"Q2941150$16FC8400-9FCF-4F63-8C7D-32D023AF9534","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"22599d036adc5972c39ed3e2cc0d1266338cba22","datavalue":{"value":{"text":"Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2941150$1E1C27D7-0743-4734-8EBE-F753DA343909","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"defc0d8e97f185c3ab4fa4c5065e09449bdad6e2","datavalue":{"value":"1432.68306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941150$44657950-E51C-4A70-A75C-36BE73361D55","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5640fb2e7cac45af64cddd5853ce5d22bd5af7b9","datavalue":{"value":"10.1007/978-3-319-19488-2_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941150$9986F888-681E-4707-BB80-915B27111EA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cccd04a7daa317f08c60e9ebec591f148c2e473c","datavalue":{"value":{"entity-type":"item","numeric-id":225071,"id":"Q225071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941150$94325CC9-64DF-457B-BC74-004138EF2DED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f13fd0901135ebf0e2b5744f50cafda14949457e","datavalue":{"value":{"entity-type":"item","numeric-id":2822648,"id":"Q2822648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941150$BDC8001D-C446-424C-88AE-F3F019E08F94","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f5d7e575ce06abec1e01331d693d8d1b08ceff3b","datavalue":{"value":{"time":"+2015-08-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":"Q2941150$6BBA25BF-E8DC-44DF-BA00-3D953077878A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"248442b0be1f2390adc111629022b421db383c88","datavalue":{"value":"https://hal.inria.fr/hal-01142198/file/main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2941150$90B9F27F-10E8-4D69-B0DE-F3F98154924E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941150$71299902-EC81-4AA5-AD02-B188AF0989F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941150$2A91757F-0588-4B03-AA9F-72457E965865","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"362ba1f8c3f2b8d0b7c520f3e3c7a30aa3beebd5","datavalue":{"value":"6476317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941150$C2AD157F-9490-444B-8AE1-85FB69211B7D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1b49c7816be9d68a8d85d6b40841db32181e4547","datavalue":{"value":{"entity-type":"item","numeric-id":40851,"id":"Q40851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941150$0AC4CEAE-B803-4B8C-9211-94DB8B9D69F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c8ee0c38de2d7a41d8c3525ff09d54d1c4bb7879","datavalue":{"value":{"entity-type":"item","numeric-id":40855,"id":"Q40855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941150$7577F9E4-416B-4CB7-8593-C17370B6C784","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":"Q2941150$6BBFCA1C-C41E-4506-ACCD-B0C38F3FB8E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2caf4fb2b7fdb778c988d2e3b233939c07db5793","datavalue":{"value":"W2180231313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941150$8ED41545-0E3C-47D8-B1ED-C35E4993DA16","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"780e6b41c7647d692a811e1fc733b7b4c0a5664d","datavalue":{"value":{"entity-type":"item","numeric-id":2760251,"id":"Q2760251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941150$13082E04-0E5F-4E2C-97FD-BCCBE79E121E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7935b7c126f1c85d08838cf0c792c6abfe0e9fda","datavalue":{"value":{"entity-type":"item","numeric-id":1573598,"id":"Q1573598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941150$179F46F1-2F7D-4DBD-850E-3E349DCE9010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c81846d599e5aafc9ac644c4f1c37d53b1e708c1","datavalue":{"value":{"entity-type":"item","numeric-id":1854558,"id":"Q1854558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941150$D57CA8ED-7A65-44CD-928E-6CDCD2DD25BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cd1b6978b5470297511f81d96560a5875694495","datavalue":{"value":{"entity-type":"item","numeric-id":1341775,"id":"Q1341775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941150$7F719D3A-A537-4EF9-B8BC-ACCE80A518CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f757500753e059939f578f6160f5717014d75525","datavalue":{"value":{"entity-type":"item","numeric-id":2889608,"id":"Q2889608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941150$EAF8F906-0B36-4721-AC75-0D958615F129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"979342d7472e5ce4e91edec79a102f7f54b957a2","datavalue":{"value":{"entity-type":"item","numeric-id":3670577,"id":"Q3670577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941150$3C620740-9678-463A-8E5D-8957B6B382FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309cd5277e5cb8338dac79fd8b3c7be52bb6ab94","datavalue":{"value":{"entity-type":"item","numeric-id":1110338,"id":"Q1110338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941150$67C3EDB8-6976-45A0-BD15-18E0A87ED90D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a9e971b028837fea5239b953a8e93a0d8a1323c","datavalue":{"value":{"entity-type":"item","numeric-id":1894677,"id":"Q1894677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941150$BDE29ECB-D0A1-474B-A308-E1E196B9A7FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9ceff4b04de39c08ca29f9f7317c67217543557","datavalue":{"value":{"entity-type":"item","numeric-id":2996143,"id":"Q2996143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941150$90157B9A-2E52-46B0-B9D1-D07B431A61CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4c06333267748c7d7cddfe9c85c654f8c7daa6","datavalue":{"value":{"entity-type":"item","numeric-id":4461748,"id":"Q4461748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941150$78B2711B-14C6-4EB5-A17C-72193A92AC7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe9b452322d2e43149b05e7a6bfe88f7c0afc79","datavalue":{"value":{"entity-type":"item","numeric-id":1314538,"id":"Q1314538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941150$475C90A4-812C-42A3-840D-FB6FBCAD130F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5d04efe2bb7a3ba846d8362c8253576775f83a3","datavalue":{"value":{"entity-type":"item","numeric-id":3000666,"id":"Q3000666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941150$4BDBC032-0D55-4C01-9D39-6709A0CF72C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0deb6114c04503db98816f3295868d4e75ae06","datavalue":{"value":{"entity-type":"item","numeric-id":820124,"id":"Q820124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941150$ECF44B6C-6DAA-48E9-A220-7195A60C16A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46f67c1e63f57083d3ae4a372ffffc556fc42611","datavalue":{"value":{"entity-type":"item","numeric-id":3795192,"id":"Q3795192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941150$3CECAC87-2878-40DB-AAFF-7F0F9AA175F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb7f699b4a74cb07144ec83c8a61ea5234c35a95","datavalue":{"value":{"entity-type":"item","numeric-id":3675536,"id":"Q3675536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941150$467231A7-CD53-413A-8F9A-27B48AA5EB96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a60b5062978988eb0a1792a9f6482a32bfa32aae","datavalue":{"value":{"entity-type":"item","numeric-id":673785,"id":"Q673785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941150$987EA126-9317-4CE6-9CCB-DB31330D5554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d41f89a6b995963090b723db50e54107e2b0a3e","datavalue":{"value":{"entity-type":"item","numeric-id":3647367,"id":"Q3647367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941150$4520A998-03C1-4A3F-BAD3-A14B9295CBCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d697f8c5e4458004e0d7d920f3fd25ded909df","datavalue":{"value":{"entity-type":"item","numeric-id":1098612,"id":"Q1098612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941150$9E3ED99B-82A0-45C6-BE61-B8B0499B7F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c70bb296ab0908f9bebbe4b9636c477fccc31623","datavalue":{"value":{"entity-type":"item","numeric-id":4633163,"id":"Q4633163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941150$91875012-DCF5-4E8E-B594-F6F965D42FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af50059e8e1b6fd884ee17d2bf5d3eea2af941ff","datavalue":{"value":{"entity-type":"item","numeric-id":4023496,"id":"Q4023496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941150$56191F22-B175-413F-A1B5-1BBE37AFE875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40349c1f9a0848ea6e4d7409a98de3d7d0eb3378","datavalue":{"value":{"entity-type":"item","numeric-id":4162645,"id":"Q4162645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941150$B2BFD29F-D94B-4C30-822B-DF1EA7DA2CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61e4497165d8d93ad61316b92cf2d2494ab1dadc","datavalue":{"value":{"entity-type":"item","numeric-id":3692883,"id":"Q3692883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941150$BD2456FF-4212-4BB1-9303-8337701B7B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0c65b6d584ecabfd2f016b3cbf3a0bdd162d967","datavalue":{"value":{"entity-type":"item","numeric-id":5712355,"id":"Q5712355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941150$0DB66C48-4406-4BB3-B9C0-4C3174704565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99a35c4e6b2faa3a81096a9e50caef3080637a60","datavalue":{"value":{"entity-type":"item","numeric-id":4507821,"id":"Q4507821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941150$7EBF4392-8D83-4A3E-B51D-DA75A00163F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f76a7fe9d19f0bad3a5315867989089adf3c4717","datavalue":{"value":{"entity-type":"item","numeric-id":2775865,"id":"Q2775865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941150$B0AC3AAD-654C-4D28-995C-58BDA84C291C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b13e0bec66a822a33b2e0f3f7b9c2598fa52d17","datavalue":{"value":{"entity-type":"item","numeric-id":4296304,"id":"Q4296304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941150$B8712CC5-6D83-4AF0-B8AD-60F4D1F76603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"553778b847593a7bf230ec8ab55ccdea437c656d","datavalue":{"value":{"entity-type":"item","numeric-id":3030241,"id":"Q3030241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941150$2479253E-09D9-4EB3-8057-FDEBDC72ABF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fad09a2261565b34fdede6bea63ddea85f7474c","datavalue":{"value":{"entity-type":"item","numeric-id":3776645,"id":"Q3776645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941150$9E4358A7-66B6-417C-9ED7-2E05BA5796AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a91fd66543d31c1344e0c099c5a84fd36bec7bf1","datavalue":{"value":{"entity-type":"item","numeric-id":3997896,"id":"Q3997896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941150$83EA9F27-82C8-4C02-BED9-D044A0644A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2d5dd2ea6e934c488ff6606e63dba48446e71df","datavalue":{"value":{"entity-type":"item","numeric-id":4133144,"id":"Q4133144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941150$BC811C2F-EC7B-4DE5-B59C-363AC1569B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81b4f7becbf698a8ab3e25ac05450f080c64a02c","datavalue":{"value":{"entity-type":"item","numeric-id":1052100,"id":"Q1052100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941150$28B09971-38EB-47CF-81D5-76C8624E79E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"368880da66f2cee1a9756309e60d0751982ecbb9","datavalue":{"value":{"entity-type":"item","numeric-id":1187659,"id":"Q1187659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941150$5A164183-DE0D-43D5-AFE4-897AAA65C13A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ac2c287be2bf8358b997a30aeb96e43c9aa3730","datavalue":{"value":{"entity-type":"item","numeric-id":1122360,"id":"Q1122360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941150$1F57D9E0-D421-4B3D-9F3A-9C74AD7AED92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58fc185177e28d994f8be6138e0d39e30fa75870","datavalue":{"value":{"entity-type":"item","numeric-id":1255320,"id":"Q1255320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941150$B8C2B611-EA9F-4AA9-9610-65B46099347E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ced99b794cd9aaff55225dff3508ba9f79132ab8","datavalue":{"value":{"entity-type":"item","numeric-id":5055702,"id":"Q5055702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941150$0C51B942-4C39-48D7-AFA0-2968AE2E54E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2935748a8d161b0e9ab93caa51b86d61e4ff3bb1","datavalue":{"value":{"entity-type":"item","numeric-id":5712293,"id":"Q5712293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941150$5C88159A-9EF4-416F-98E6-93320E42E3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f069a555dad2c65107609610875dd9596320e501","datavalue":{"value":{"entity-type":"item","numeric-id":3771632,"id":"Q3771632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941150$47D16049-5C64-4DE3-BDEF-1B1B5C8BE521","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e170067e6ad72fd379d3db3794794ce66d2b382a","datavalue":{"value":{"entity-type":"item","numeric-id":2423743,"id":"Q2423743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b879cbd55ebdf89088758eb07bbba41abaf9c603","datavalue":{"value":{"amount":"+0.9602712392807008","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":"Q2941150$48A5F934-798D-4947-BD50-C15CA5706EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47ac4ddbc676461b305fe51e054e29ba10caafb6","datavalue":{"value":{"entity-type":"item","numeric-id":3427180,"id":"Q3427180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58f152fee5676cab67e9985b4cea492ab3604ef5","datavalue":{"value":{"amount":"+0.8891549110412598","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":"Q2941150$AB156E46-0206-4F7E-9DD2-28EC5A1BC74E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b4dcb952fc0a32e3a86bfc799d22a8787689e18","datavalue":{"value":{"entity-type":"item","numeric-id":5452192,"id":"Q5452192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3caf85cf74a8909e28ed4add43e8e50fafe12cf2","datavalue":{"value":{"amount":"+0.7993903160095215","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":"Q2941150$1390D665-6499-4417-B8A1-86BF394D0A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0d755097178aeaae16e6f74fd61743f3531eaff","datavalue":{"value":{"entity-type":"item","numeric-id":4511269,"id":"Q4511269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b723e1c14cf9bd96165d590b7cbc4ae3a42a071","datavalue":{"value":{"amount":"+0.786788821220398","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":"Q2941150$BB826C29-7CA2-4798-BD5E-E1C26E6742D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a271ef6c3abafb73500061015691b1cd9b4862b5","datavalue":{"value":{"entity-type":"item","numeric-id":4507821,"id":"Q4507821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6e6a8f8a4bb93a5d1155b5d5249e940082b79ea","datavalue":{"value":{"amount":"+0.7760519981384277","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":"Q2941150$A734050F-BAF8-4087-B83C-DA0D17D93D20","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nested-unit Petri nets: a structural means to increase efficiency and scalability of verification on elementary nets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Nested-unit_Petri_nets:_a_structural_means_to_increase_efficiency_and_scalability_of_verification_on_elementary_nets"}}}}}