{"entities":{"Q3612361":{"pageid":5642267,"ns":120,"title":"Item:Q3612361","lastrevid":50600777,"modified":"2026-01-14T12:58:09Z","type":"item","id":"Q3612361","labels":{"en":{"language":"en","value":"An Incremental and Modular Technique for Checking LTL\u2216X Properties of Petri Nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527106"}},"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":"Q3612361$E0179E62-10DF-4573-AC32-B79F9291198F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb199e859d162137a010da341124976225c033ee","datavalue":{"value":{"text":"An Incremental and Modular Technique for Checking LTL\u2216X Properties of Petri Nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3612361$75F1EC5D-1963-4B0C-B021-B4403FC86EC9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68b3b09451bd5d7d1eee90093d0f12c9dbcd71fc","datavalue":{"value":"1215.68155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612361$4F5E0FAC-990A-48D3-8F34-8B8CA5A21CBF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94ef9fc9a5a02420e1fb03c514843f0549f80dfd","datavalue":{"value":"10.1007/978-3-540-73196-2_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612361$A0270669-C24B-4A78-8BEA-17C08242585D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7eb113fd9a0c3df850e383c645074e0fac067ce8","datavalue":{"value":{"entity-type":"item","numeric-id":2672456,"id":"Q2672456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612361$E2044812-3C9C-4E96-88BE-99427A18A440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4872af84a584556ac338a1ed7d0fa0ccf3730535","datavalue":{"value":{"entity-type":"item","numeric-id":225085,"id":"Q225085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612361$334046DB-859C-48A4-B17F-41F55BE9395E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"245cb7082c223752c880c91a9a6b04a10554bd9a","datavalue":{"value":{"entity-type":"item","numeric-id":835034,"id":"Q835034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612361$BB4A2709-8330-45D5-ACF3-A17E528D6EA2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612361$53A38971-956D-422A-9CCD-788603AB7A32","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a78c90783bcf9fdd01d3c043b3bd0817808259e2","datavalue":{"value":{"time":"+2009-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3612361$CC519967-2B52-4BDE-A63F-27AABDE75EC4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612361$929F908E-439D-4679-861F-9A1126EDD42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612361$03410FA5-A15F-4BF3-B85E-979F0310055F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8d23bd1ff25693ff01148342550a3d156d6dbf2","datavalue":{"value":"5527106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612361$68FD046E-6F02-49D7-B94B-2635FA118DC4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3ad725596f99b531ed67c340f4e5db7fc66fe2c1","datavalue":{"value":{"entity-type":"item","numeric-id":19812,"id":"Q19812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612361$06998F4E-AE0F-470F-841C-CF2024705D68","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":"Q3612361$CEA7C93D-C531-4AB3-B0BE-6632EE4A71B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"47dbdd199e38ed9f7763ef6f8f343797636bf552","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73196-2_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612361$8D2C65B9-D23A-4C2C-B9FF-1C87EB734AA9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b4fd7985f458f9f0598c6e89b1ace71b1a910ca9","datavalue":{"value":"W2154434220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612361$03C13044-56CA-44E8-AF60-CFFB131090F5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"906b396f70b404480b2d2013083c6d78c22e0cf8","datavalue":{"value":{"entity-type":"item","numeric-id":4264097,"id":"Q4264097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612361$9AADAC00-67D1-4611-8703-E20F19FE08D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cb048978dd4b95d32ee7d1b472d5fb14a2c9fd6","datavalue":{"value":{"entity-type":"item","numeric-id":4509344,"id":"Q4509344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612361$471AE80C-A079-4D36-937D-174E92FA4476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"600d8a1514e6fed4e4c66ebeb9b62bee4bc86b61","datavalue":{"value":{"entity-type":"item","numeric-id":4417936,"id":"Q4417936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612361$3F28E70D-7FAF-4752-BE18-E73C3AA5BE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25b1ca4463eaad5e2b392062cef8e5e6abde5678","datavalue":{"value":{"entity-type":"item","numeric-id":4493881,"id":"Q4493881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612361$3F758A9B-116F-4C4E-98A9-1791404E01B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f7538d4e19fdbfcbfe076cbd2c635ea89e5545a","datavalue":{"value":{"entity-type":"item","numeric-id":5463994,"id":"Q5463994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612361$63452009-99DB-4CF0-92E7-2C162C7227C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b50fda6e2ebecf8554157d944d45d52de45a5b70","datavalue":{"value":{"entity-type":"item","numeric-id":4791838,"id":"Q4791838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612361$0F7B006E-881B-4618-911A-F9DBF7BBF410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7b094efedfdf29c1b127061b8f59d797031b9f3","datavalue":{"value":{"entity-type":"item","numeric-id":2740516,"id":"Q2740516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612361$14CC234C-4EDF-4DF4-AF38-A153A53E41C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4268a8510ce4675aa6a2550c2788f434a0fca994","datavalue":{"value":{"entity-type":"item","numeric-id":5394189,"id":"Q5394189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612361$62CD7AAE-E716-40B1-9EC6-C6CF8BAC1713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c93aa020cf5800686368016dc4e9788d9ccc306","datavalue":{"value":{"entity-type":"item","numeric-id":4348471,"id":"Q4348471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612361$1E39AD20-82A6-48DF-A564-AB7D38571344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4a161372bd1c5c7812733fb6073f0fae9ef67a5","datavalue":{"value":{"entity-type":"item","numeric-id":5479156,"id":"Q5479156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612361$A3B6C0B2-3FEB-46F3-BA44-9AAA4BCE30BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c87aa93d3c232eefd15d07ccef6641147bf93d9f","datavalue":{"value":{"entity-type":"item","numeric-id":5712335,"id":"Q5712335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612361$44401AAA-42CC-41CF-915C-291B8F2BEBF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09f47ba5a8717a6135d365567dad11f6bd81cea5","datavalue":{"value":{"entity-type":"item","numeric-id":2754093,"id":"Q2754093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612361$AEABF285-1BBA-4EC8-8E8D-A4C8774CBEB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f11e8548165a301d01a241362bcf1efce79d1f4b","datavalue":{"value":{"entity-type":"item","numeric-id":3746875,"id":"Q3746875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612361$5CB175E8-72EA-43B9-A33A-AD1F5B090B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4fdb8e4a2fdf5458b7800cfcdabf92018c2fe43","datavalue":{"value":{"entity-type":"item","numeric-id":685106,"id":"Q685106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612361$AC74F24E-24C2-4BF9-9600-9658B14BD416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04d907f57670597589a698e6144c2745a07ca061","datavalue":{"value":{"entity-type":"item","numeric-id":4532076,"id":"Q4532076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612361$4C361C43-0E37-4CF3-A124-A3A0372FB5A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83f0bf57245873ed04e7ca17af47b5f23528a8b3","datavalue":{"value":{"entity-type":"item","numeric-id":5712335,"id":"Q5712335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9271a58812661b975dd8dcb8bfd9bf13f3fe0246","datavalue":{"value":{"amount":"+0.8620096445083618","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":"Q3612361$D9572470-09A9-4E52-95FB-1AF223D6DCDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de71b8a87d2582cf7c01210699eb1bb2b29c7b0d","datavalue":{"value":{"entity-type":"item","numeric-id":5479156,"id":"Q5479156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a68b1622af4392a0db9f60f9e7e5e954c952279a","datavalue":{"value":{"amount":"+0.8484618663787842","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":"Q3612361$FFEE923A-03B6-4201-843B-DB765475E898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d340f00aca2025aba9494201a5aa82e4c364ca0","datavalue":{"value":{"entity-type":"item","numeric-id":3605479,"id":"Q3605479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaf2fb16cd96fad48744bb316ab91c18f870af02","datavalue":{"value":{"amount":"+0.794946551322937","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":"Q3612361$A8EE423A-3EF2-4A7C-AC47-E66F03D2E623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90086a4ecc0ee0c45722b37a0726f63fe403d3d7","datavalue":{"value":{"entity-type":"item","numeric-id":4825884,"id":"Q4825884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e085e0475f126fec274c72b588cf4bf0cc76a832","datavalue":{"value":{"amount":"+0.7884736657142639","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":"Q3612361$507F83D1-77BB-4AA2-BAB3-9FFC6D28B96F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c046a6d4f27c665983efafbdc1666188d1fd21d3","datavalue":{"value":{"entity-type":"item","numeric-id":4509344,"id":"Q4509344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb6687a0e563f532af5a05a39b9e314b1434f9ca","datavalue":{"value":{"amount":"+0.782581090927124","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":"Q3612361$2AAC8019-4042-4912-9250-101D9DE1DE04","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3612361","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3612361"}}}}}