{"entities":{"Q3550614":{"pageid":5580518,"ns":120,"title":"Item:Q3550614","lastrevid":90280247,"modified":"2026-06-04T19:45:45Z","type":"item","id":"Q3550614","labels":{"en":{"language":"en","value":"Automatic Symmetry Detection in Well-Formed Nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5688986"}},"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":"Q3550614$3C059F95-18A9-41D6-A8C1-CE168AF86B4D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1642c8d06fd14608e9268eb98573947860550d70","datavalue":{"value":{"text":"Automatic Symmetry Detection in Well-Formed Nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3550614$19FF48E1-8AAD-4B13-9B66-5FC724FFA0A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"04e90952a70cd36d2dba4718c34b679ef0798093","datavalue":{"value":"1274.68257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550614$E1D54A9B-E213-424D-8323-D848740C4837","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5aa062b0b3e55bb798540c0092c94f6c33c2f4ae","datavalue":{"value":"10.1007/3-540-44919-1_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550614$AE9A9EF4-6BBB-4AFE-A445-3ED95A05A546","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"58083c7cc0bfc34ba24bf6a67eb4c8044fdc332d","datavalue":{"value":{"entity-type":"item","numeric-id":2165224,"id":"Q2165224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3550614$353CA30F-FB39-400A-812A-0AA92A33FF3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7859711aea007fd2b5e2d18e6fa55b32e6830299","datavalue":{"value":{"entity-type":"item","numeric-id":660915,"id":"Q660915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3550614$2E215148-78BA-47D3-8AAB-8D2CB85324A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1077d783a1983e1d13c3a26b57bc58209fb7acb0","datavalue":{"value":{"entity-type":"item","numeric-id":453477,"id":"Q453477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3550614$F0CD938E-1E8D-49BE-859D-4F23FDD25163","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"60f03c60d0859643f7aa44399eb3fa3f866135dc","datavalue":{"value":{"entity-type":"item","numeric-id":3550609,"id":"Q3550609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3550614$1D3B71C0-4440-4D98-AAAB-B9901A40F325","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"994f357a1419be047d68415ba0ebb81a34390d78","datavalue":{"value":{"time":"+2010-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3550614$25BDA2BF-0129-44C7-A467-483125F9CA5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550614$7FACAA20-240D-4A9F-96C6-81552939B6CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550614$7A482AD7-449B-4F5B-8846-DA4F35861764","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0c691a22c304a8ac56b86ad960bd9239629d60f","datavalue":{"value":"5688986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550614$D3C69E24-EAAA-416D-BB53-078DD43B4A74","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89d0abf71c3c7a368059ba1c7e1734c03497d16e","datavalue":{"value":"well-formed Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3550614$936319E7-F3CF-45D0-B21B-CC43B89595B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dceb67e5fa322e361032c2266f2690d7e5a9dad7","datavalue":{"value":"symmetry detection","type":"string"},"datatype":"string"},"type":"statement","id":"Q3550614$03A7A256-C5EB-4D1B-BD88-967EEE4DED7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b821c62a5b1211c5584b9b4fdeb081533e7cc29","datavalue":{"value":"symbolic model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3550614$99C97FC3-0365-49BF-AC76-B870836E542D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ae1d40ba553b82afaf69e2322143308a4db8121","datavalue":{"value":"partial symmetry","type":"string"},"datatype":"string"},"type":"statement","id":"Q3550614$E702AAD5-0EE0-4243-BF50-43898935C864","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cfebd1f9d3386388c2989cd97f5b743d8cb75b8e","datavalue":{"value":{"entity-type":"item","numeric-id":13144,"id":"Q13144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3550614$E21161D7-5084-4072-B341-2174F7955A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0443eecd140c0e877576e685f9f7d014725709be","datavalue":{"value":{"entity-type":"item","numeric-id":30979,"id":"Q30979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3550614$2772E5C1-C057-40E6-B45C-9B3212EF7C11","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":"Q3550614$66DFCAA0-8E27-45D2-9B2E-FA7BF9B931B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ba24d563830f653c385a0b67c10e3aa908c0e4bb","datavalue":{"value":"https://doi.org/10.1007/3-540-44919-1_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3550614$965BC327-0CDB-40A9-96EE-E588D1416644","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cf49abfa1c98316f3984572e225d617755ea49ad","datavalue":{"value":"W1518904286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550614$33045BEA-6F05-42E8-B935-09A2AA37D2FD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56ec1b4e598bfcf1a0ce09ce631c7e0be0067c4b","datavalue":{"value":{"entity-type":"item","numeric-id":2206881,"id":"Q2206881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f36d2c5d54dfdc7637ffb8481d684d28f0f22bfb","datavalue":{"value":{"amount":"+0.8750943","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":"Q3550614$57D7A52A-BC50-42BB-AEF2-863D6EE72FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a26564d651ef97a9e19f6e17245b80fbf9e739aa","datavalue":{"value":{"entity-type":"item","numeric-id":1040774,"id":"Q1040774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bd1e96c5210d2ae7388d65c318c166a24ed2796","datavalue":{"value":{"amount":"+0.8737014","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":"Q3550614$50167845-F2A9-4726-9D12-7318708013C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf4a88106fefa66c8243801d7389ab6500037517","datavalue":{"value":{"entity-type":"item","numeric-id":3782807,"id":"Q3782807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"261de5bf5da03c581b0d147f3c590e5c74b51aa3","datavalue":{"value":{"amount":"+0.853183","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":"Q3550614$5993DE28-2583-4C58-94DF-C3A0FF068F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45b654be690a50cf6444aeb10b8bf25435632770","datavalue":{"value":{"entity-type":"item","numeric-id":1199463,"id":"Q1199463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"008516bafff4247810c2bcba3ce7d5e282099ce4","datavalue":{"value":{"amount":"+0.85053134","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":"Q3550614$77C704D5-7DDD-478A-AD9D-85BC4A57982C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5a7a3ea82a916552130ff82dd407caf6c06c450","datavalue":{"value":{"entity-type":"item","numeric-id":1621684,"id":"Q1621684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a585dc69d506833221a2e450f0f5db93f8f0980a","datavalue":{"value":{"amount":"+0.8475824","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":"Q3550614$D5248071-40A8-469E-9008-B14ABDDB3399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"271c63984b48f88a6ea11da28c0981368366dc51","datavalue":{"value":{"entity-type":"item","numeric-id":1822243,"id":"Q1822243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ff54832401450643b408c007df5eb8a76c7dd87","datavalue":{"value":{"amount":"+0.84620935","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":"Q3550614$19AC5F81-E208-449D-BAE4-A068BB0B0BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f3dde4dda4eeca5f295021aae707b7f29797d26","datavalue":{"value":{"entity-type":"item","numeric-id":3473194,"id":"Q3473194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"246b449577d56260992e78f1509dc523961fa07c","datavalue":{"value":{"amount":"+0.8402183","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":"Q3550614$F127AD8B-4648-4D0E-99A0-AFB240D4A1D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af71278d387555d4f55113a8bce625cd6f0d8b84","datavalue":{"value":{"entity-type":"item","numeric-id":1678693,"id":"Q1678693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"322f982d71db282c448c0a611d4068ac08729e4a","datavalue":{"value":{"amount":"+0.8387581","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":"Q3550614$A889DC0F-48D8-4566-BD81-D35D03AB4472","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic Symmetry Detection in Well-Formed Nets","badges":[]}}}}}