{"entities":{"Q2336364":{"pageid":2347107,"ns":120,"title":"Item:Q2336364","lastrevid":57313452,"modified":"2026-03-30T09:32:31Z","type":"item","id":"Q2336364","labels":{"en":{"language":"en","value":"Unified mathematical framework for slicing and symmetry reduction over event structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7131542"}},"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":"Q2336364$FEFDC846-CF2B-44E5-A4E4-AAB877F18FEF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e319de816cec0ae7a5cf9d5e79811261d4627b3a","datavalue":{"value":{"text":"Unified mathematical framework for slicing and symmetry reduction over event structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2336364$0BA9E9FC-FEE3-42DB-8AEB-776BDCEE294D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d32da8ce93c95f0087e10ba67a20fe4c1aa122d7","datavalue":{"value":"1442.68141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336364$FD81B1E9-8ABB-4754-AA2F-AFEAF66D0645","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e910a3472d3cfb80b550265b3e35e8dfba3dbe6","datavalue":{"value":"10.1155/2014/352152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336364$C938B507-0A3B-492F-9642-9B3853B628BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a3e615336cdaa5e3472dc05b54acd5b74a7b1ba","datavalue":{"value":{"entity-type":"item","numeric-id":364506,"id":"Q364506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336364$311048D6-09BF-48BD-A375-4644E5B28B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f396dd7486ebf4fbd662a481e00e038876e5eb9d","datavalue":{"value":{"entity-type":"item","numeric-id":2336361,"id":"Q2336361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336364$FE2442FB-76CC-413A-8F5B-D40334AF5DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cc4b7e406395ed163ad4e8da5b76e82ee07e0b7","datavalue":{"value":{"entity-type":"item","numeric-id":641627,"id":"Q641627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336364$0BF29740-2496-4E15-98F0-E90152D6D8E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"67dc20350a532626dd039fdb98a01a6d9046e12a","datavalue":{"value":{"entity-type":"item","numeric-id":2336362,"id":"Q2336362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336364$7A243C50-4C09-4320-9A42-9F2577FD26C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"12affc6d5b075cb238a29b1092d910b47b16c517","datavalue":{"value":{"entity-type":"item","numeric-id":2336363,"id":"Q2336363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336364$9E592858-45BB-4B86-A14E-0A1D0C9368A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8d938d3d91898b59babbd2432dfa2a5678221bd","datavalue":{"value":{"entity-type":"item","numeric-id":364507,"id":"Q364507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336364$A8442E3F-E178-487C-A77A-BDE4C3AA4398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9819329e5b611f7aa2ee679391345a631414b8ce","datavalue":{"value":{"entity-type":"item","numeric-id":364508,"id":"Q364508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336364$B4B58460-5AA4-4BD9-8D84-05D67D7F75FB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bb299feb2b87699ac8beef494c52fd2765eaf609","datavalue":{"value":{"entity-type":"item","numeric-id":118601,"id":"Q118601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336364$78A17F9F-914B-4543-81B0-3064DA78B376","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"10393ba55f1a886ba53e75eccd4b56403eff1eb9","datavalue":{"value":{"time":"+2019-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2336364$C86E512E-B6F5-44B6-8FE5-19EC938352AF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"28521a120d759bac083c06fe68e2bbe0812a7908","datavalue":{"value":"Summary: Nonclassical slicing and symmetry reduction can act as efficient structural abstract methods for pruning state space when dealing with verification problems. In this paper, we mainly address theoretical and algorithmic aspects for nonclassical slicing and symmetry reduction over prime event structures. We propose sliced and symmetric quotient reduction models of event structures and present their corresponding algorithms. To construct the underlying foundation of the proposed methodologies, we introduce strong and weak conflict concepts and a pair of mutually inverse operators and extend permutation group based symmetry notion of event structures. We have established a unified mathematical framework for slicing and symmetry reduction, and further investigated the translation, isomorphism, and equivalence relationship and other related basic facts from a theoretical point of view. The framework may provide useful guidance and theoretical exploration for overcoming verification challenges. This paper also demonstrates their practical applications by two cases.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2336364$3E639AB0-FE7C-4E4E-B6C4-6208EC461E09","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336364$89D5AFC7-A133-499B-85B5-D3CE46EE1D58","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4355835fdb49f2e37e343cc5ddb5f8a314881ca","datavalue":{"value":"7131542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336364$58E8C055-8CDE-4558-B85B-13F898D11931","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":"Q2336364$35122FD3-D14E-4DC3-B1F5-55E64D0C3193","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8204265c9f7eb43cfe46864b69aa257a6750b92","datavalue":{"value":"https://doi.org/10.1155/2014/352152","type":"string"},"datatype":"url"},"type":"statement","id":"Q2336364$C481BDD3-9FF6-4C57-94BA-791B5E30BC30","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"304f3723f37a2ebd6c6d44e23cf240671e81b146","datavalue":{"value":"W2106560469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336364$9D394108-D3C5-420F-9B7E-FAE5CD1DD84C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b0508ee81b9609119240728d384e37d6d6f19af3","datavalue":{"value":"Q59051048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336364$9948703F-CA20-4183-A34E-49BFBAE049DE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98135f30b4292582bd624f38182a0b5804a294","datavalue":{"value":{"entity-type":"item","numeric-id":4564138,"id":"Q4564138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336364$AEEACC09-6ADC-43EC-8A06-69AD1FEFD081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1c6f3b612d6ba19b8a4acdb4969da43b572919a","datavalue":{"value":{"entity-type":"item","numeric-id":1187645,"id":"Q1187645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336364$36373FEE-5C95-4D1E-87C2-0AC7EC926209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56be7697af4dffc8e38aaf2912a4f00e2fd65e22","datavalue":{"value":{"entity-type":"item","numeric-id":3030239,"id":"Q3030239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336364$314D1D6A-6383-49E6-8AA8-3599E226ED25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fc6092b019780f568364eff7d2fbe2c8a9d1f15","datavalue":{"value":{"entity-type":"item","numeric-id":3356298,"id":"Q3356298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336364$E887703D-6EF3-40B8-A7CC-215724A41E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"270a066a6aceb1912b7c375b7b589a7b3cd15951","datavalue":{"value":{"entity-type":"item","numeric-id":1148680,"id":"Q1148680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336364$D8968750-AE90-4F4D-8E90-120C4D7EA7EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"360313c2019dad4fc2828cb13cc91516645c1489","datavalue":{"value":{"entity-type":"item","numeric-id":5748880,"id":"Q5748880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336364$8847DC19-BD54-45CB-914D-2BFD93D96AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79350616c570c97d17f2dcd056865dd1f51b0984","datavalue":{"value":{"entity-type":"item","numeric-id":2864165,"id":"Q2864165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336364$2B0F1F94-9600-4EC1-8E27-EC4F6D6E49F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dfb0fb623f9f822a09b4e042682c507976c67d","datavalue":{"value":{"entity-type":"item","numeric-id":4733435,"id":"Q4733435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336364$D4EB4C9B-5FEE-4FD8-B90F-5B06DAFEBBAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"852356681eae2a4063ab7fdfd4a24f3d995ad250","datavalue":{"value":{"entity-type":"item","numeric-id":2503297,"id":"Q2503297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336364$660F3840-31D2-4F89-8F92-361DE1731FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336364$D8FE8D6F-5D46-47EE-838B-AA8E9F72D7F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4dd4faeed82b17a31b15b4f4a630199ca52442","datavalue":{"value":{"entity-type":"item","numeric-id":4692885,"id":"Q4692885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336364$32141786-AA69-4A2B-BD25-B8A0B0432454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce4eae0d30e8db13f3d475c28554a76edc58023e","datavalue":{"value":{"entity-type":"item","numeric-id":5466227,"id":"Q5466227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336364$D7194FDB-5CCF-46C5-8287-D87FAF88E7C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffc9ed5b98768cce8e1252313bc3131d2d4d9294","datavalue":{"value":{"entity-type":"item","numeric-id":1188804,"id":"Q1188804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336364$BD5F7428-F838-4596-9683-535A66FCCD59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"397ac647bcab3b504c069dbb5652e5f984679e89","datavalue":{"value":{"entity-type":"item","numeric-id":1853038,"id":"Q1853038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336364$4640CB8B-8349-4205-A9AB-DA7FB6F63EFF","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"ad2778329a2b04b4ac48d58f628518f10381a9c3","datavalue":{"value":"journals/jam/GaoDLZHZL14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336364$4E010211-E292-4021-B864-83456753BA76","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14f2de7b5430b2a41fc71eb4e8ff5f958676a898","datavalue":{"value":{"entity-type":"item","numeric-id":5477648,"id":"Q5477648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d25974ed65b7d1514c4de395c61057f7156d8f3","datavalue":{"value":{"amount":"+0.7001571655273438","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":"Q2336364$CB99A032-3C04-401C-957C-D103CD9A333F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"418e85f7444f31ea73e3e89a0f058efdfbd4391b","datavalue":{"value":{"entity-type":"item","numeric-id":4818742,"id":"Q4818742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca1100e7fd70ef84dfc99d15c52908868f01fc37","datavalue":{"value":{"amount":"+0.695063054561615","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":"Q2336364$D9EC5E27-BF01-4E6E-8D99-4F8E4150DECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6391b7a4dcc5f4925cc19372d195f88b2ba73cf5","datavalue":{"value":{"entity-type":"item","numeric-id":3601408,"id":"Q3601408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0975c8939f26e76e08c854a427e81a2518da0f89","datavalue":{"value":{"amount":"+0.6912175416946411","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":"Q2336364$99F22C9F-6E8A-455E-86A6-16AC1AB41244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e4b1f29b20ddb0f943f6f7243ba746c197885d1","datavalue":{"value":{"entity-type":"item","numeric-id":3508510,"id":"Q3508510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98244e3646f4cbf0f012b860711a10b6f2a541ce","datavalue":{"value":{"amount":"+0.6912174224853516","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":"Q2336364$94659BE5-2562-41ED-B4B4-3229135FB4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a309d0f4e867ead9bc2a1ab4474fe77e993b3198","datavalue":{"value":{"entity-type":"item","numeric-id":4551137,"id":"Q4551137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ad7f56709598ae674a57e3d54c814f74fe5b80e","datavalue":{"value":{"amount":"+0.6910496950149536","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":"Q2336364$29A75EB1-6086-4CD1-8D00-36996700F2A6","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"daf5f856a5d861312ad309ab567540337a5f61d6","datavalue":{"value":{"entity-type":"item","numeric-id":57050,"id":"Q57050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336364$F4434498-CA7E-421B-9513-2C159D9DB3E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2336364","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2336364"}}}}}