{"entities":{"Q6184729":{"pageid":13319617,"ns":120,"title":"Item:Q6184729","lastrevid":102478241,"modified":"2026-06-06T04:33:31Z","type":"item","id":"Q6184729","labels":{"en":{"language":"en","value":"Saturation Enhanced with Conditional Locality: Application to Petri Nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7796231"}},"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":"Q6184729$A41271B6-E750-4BF1-953A-9D69746F78A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"920cba6029cd86906c79ea44918119c7feda416f","datavalue":{"value":{"text":"Saturation Enhanced with Conditional Locality: Application to Petri Nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6184729$1DBECA9D-0AC9-41EA-9840-AC4C69C6B718","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6d68a24dedb1d3c3570e25fd2f6b8fa711596c2","datavalue":{"value":"10.1007/978-3-030-21571-2_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6184729$5E2A7707-19B4-4F4D-B10A-295A941192A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e2eb36f5a43e442ad030de533939226ef3ebc66","datavalue":{"value":{"entity-type":"item","numeric-id":510889,"id":"Q510889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6184729$335B00E8-034F-4C11-A7CE-A4F521688F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32dc381fd422071be3266824655b7cf0738e9e6c","datavalue":{"value":{"entity-type":"item","numeric-id":510893,"id":"Q510893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6184729$2E946B53-8BF1-4631-AEF3-F7F268078F20","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":"Q6184729$F3950DE2-2482-4871-B88F-55B18B74DC43","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8c788422623dc13be5c58b3af34b36d9b5d5b260","datavalue":{"value":{"time":"+2024-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6184729$B6B56080-5296-4042-9EBF-A34F7427E9AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6184729$FB59C270-6F09-4CFA-BC43-247A5510F58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6184729$C3151617-CB5C-444E-8CD4-B870B939B547","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd24c61e5d9169590b9d55f715e158b8ce8d039a","datavalue":{"value":"7796231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6184729$F8818A36-129F-4418-9930-65D6749A61B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"943368fae06b861c3f19f7f871396d7f4216d400","datavalue":{"value":"generalized saturation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6184729$CA96FBDA-4A87-4E0B-AC71-F00EB72760C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"261888da12e497343a706346470f9845c915722e","datavalue":{"value":"symbolic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6184729$01448EF3-8C90-4F29-A125-32701FD3CA83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6184729$90BC3AE0-4A1F-4E01-A28F-ACB0F4BB19D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"580a5edf267d6fc52a8db288cfa95cde8b0b63e1","datavalue":{"value":"conditional locality","type":"string"},"datatype":"string"},"type":"statement","id":"Q6184729$2680113A-533B-4E43-AA17-39C51D1D8CFC","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":"Q6184729$1DD5C241-2CCB-4324-B20C-19327A416473","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6184729$CA2E3D38-9D84-4F17-8B36-8AE4ED4E7372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4ffa9af707a9034e194333cec43fea04e458a9c","datavalue":{"value":{"entity-type":"item","numeric-id":2769596,"id":"Q2769596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6184729$945108F4-FBD8-47D2-8004-5BA6A4E8D003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c896b4044b299c66680bcf8adebfbdfb1fea310d","datavalue":{"value":{"entity-type":"item","numeric-id":5493224,"id":"Q5493224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6184729$836AE4A5-70CE-4D1D-8E21-C462C6F9514D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"620d94a1093e4cd656bc9bfe1977cd89859a0c26","datavalue":{"value":{"entity-type":"item","numeric-id":3510869,"id":"Q3510869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6184729$CED82BF1-E2E3-4A5E-BF63-039365E73B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"741a2eaff7c1c949ee0fd876a42b2c9b5f56b43d","datavalue":{"value":{"entity-type":"item","numeric-id":1662541,"id":"Q1662541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6184729$FF66A757-F916-42CC-BAC2-7EFE9B313787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8be1d4fa8329384724fcfc30aded56f02f850b2","datavalue":{"value":{"entity-type":"item","numeric-id":510894,"id":"Q510894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6184729$DACF2350-9DEE-4AB9-87D9-ECBBBC1B60D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"100047719ba051c283c85f317d40aebe3e26d6a7","datavalue":{"value":{"entity-type":"item","numeric-id":3648712,"id":"Q3648712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6184729$301DDF67-7963-4EC1-B09E-7E1A6D567B6B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71b0093b2d20b1a12f28e95a14d7825e6b930755","datavalue":{"value":{"entity-type":"item","numeric-id":4417940,"id":"Q4417940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9265e069ca9978e50ec3c9f5dec91ffb035c3f3b","datavalue":{"value":{"amount":"+0.8430821895599365","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":"Q6184729$36AFA085-81E1-4BF0-AEEE-6127E1D082B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cef618344d3a9613d63552d649db4feadbfd239","datavalue":{"value":{"entity-type":"item","numeric-id":2769596,"id":"Q2769596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30073ce4ee3907c4d564cd5348920b79393d5470","datavalue":{"value":{"amount":"+0.8200368881225586","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":"Q6184729$85B0B263-9799-46A6-8C04-304B9E6B92B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f07a362b1de0c6e4b50f4544d982bf6bbad87100","datavalue":{"value":{"entity-type":"item","numeric-id":5493224,"id":"Q5493224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45f00a0dd0e869a06aa1f2039c717230f2dfbade","datavalue":{"value":{"amount":"+0.8077869415283203","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":"Q6184729$C9C8448F-231F-4217-A5DE-8132930F6662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"070900cb1ccf70941d6282e43613f19432877cff","datavalue":{"value":{"entity-type":"item","numeric-id":3648712,"id":"Q3648712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c850ea8f539c9f9ecb3ee15efaa1835f701a3c1","datavalue":{"value":{"amount":"+0.7875108122825623","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":"Q6184729$E9D33A95-E953-4FD5-AD9A-B1FA30F834A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b05d1f3472f0b93b3f29b1c12d8f76bdcbdf31d3","datavalue":{"value":{"entity-type":"item","numeric-id":2889608,"id":"Q2889608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fc8ae51fe0d579f6edb0e8fd68525520c5c5cca","datavalue":{"value":{"amount":"+0.7780815362930298","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":"Q6184729$CEE6D65A-1A70-461F-911E-C65E51B94A5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Saturation Enhanced with Conditional Locality: Application to Petri Nets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Saturation_Enhanced_with_Conditional_Locality:_Application_to_Petri_Nets"}}}}}