{"entities":{"Q2292965":{"pageid":2303708,"ns":120,"title":"Item:Q2292965","lastrevid":43836720,"modified":"2025-11-14T22:14:05Z","type":"item","id":"Q2292965","labels":{"en":{"language":"en","value":"Introducing symmetry to graph rewriting systems with process abstraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7164138"}},"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":"Q2292965$36196F93-3E8A-4AFF-978B-F78320DE1A57","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b22d5167154e98a50da4fc967d3c1ccbf0454a50","datavalue":{"value":{"text":"Introducing symmetry to graph rewriting systems with process abstraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2292965$6A0978D1-1463-4FF1-AAF5-9254298DE015","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9cd7bda46cc58bc64e5328c086f7691d752e5c25","datavalue":{"value":"1429.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2292965$05893770-DBA9-4C98-93FF-A9E78135255F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35572a5d7ffadf483475ac8d24acde7eddecdf3b","datavalue":{"value":"10.1007/978-3-030-23611-3_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2292965$0190E9FD-C670-44AC-A9AB-6BE85284494F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aaf6faf600beaabc85000652d143ef94922ac866","datavalue":{"value":{"entity-type":"item","numeric-id":2292963,"id":"Q2292963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2292965$B60AE07A-C104-4EF1-9785-99B2C0E9EE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"308e740790ca229137a987c1d6f77b8977843fad","datavalue":{"value":{"entity-type":"item","numeric-id":2292964,"id":"Q2292964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2292965$9B3AEAC2-583F-4694-B00D-C7DDFAB258D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fc51552130a4c491b753d6ca2f96fd2f1adc967","datavalue":{"value":{"entity-type":"item","numeric-id":1035708,"id":"Q1035708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2292965$53E267D9-E352-441D-8B97-CDD5C155BB5E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"819f3db2fd69120b836b1a33ce7b5a988bc01119","datavalue":{"value":{"time":"+2020-02-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2292965$A7BC736E-08F0-4803-A68E-0278A11ED407","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2292965$D21D397C-FE66-4598-AA09-8B44C2ADC3C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2292965$D2A9CB75-1618-4507-B301-B35BD66FC964","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f21ab71bf5862d0ebb0c8e87d17aa4771f35b19f","datavalue":{"value":"7164138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2292965$CDD9C62C-0E91-41F8-AACB-6C774E4D9C92","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"847aaa05ad5811dbf1140d5b82cb5cb0fa8d3e3c","datavalue":{"value":"LMNtal","type":"string"},"datatype":"string"},"type":"statement","id":"Q2292965$D7952394-C556-4EC5-AEAE-0003B9B90BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb07245d2e324139f2bde32c3c20b9c2e3a61531","datavalue":{"value":"graph rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2292965$08E2CEC2-6F66-41CC-8A73-A1DDFFA71385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2292965$E3F16DF5-9681-4488-9774-03F9BE4B58DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb7f40314fbf84fac7d4dd7329f9ded95a0b46a0","datavalue":{"value":"symmetry reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2292965$3A00D808-C860-4083-A8EE-E1B55CF71AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2292965$0BD3F9C9-152A-43A3-98D7-AA97D96D635C","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":"Q2292965$609F932E-4125-41E7-948F-6D6956A1AF27","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"91e5112369666538bc36952ded55c09fb84924b4","datavalue":{"value":"https://doi.org/10.1007/978-3-030-23611-3_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2292965$BCEB25D8-672D-4116-B483-93C1545A1514","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f4417316c0f6b5b68e1f967fa9522076b569b44","datavalue":{"value":"W2956049905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2292965$EB74BC8C-23E5-4511-BD1D-F5BF84F0602E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9c8780b1af3055b144376365c8689837d7e11ff","datavalue":{"value":{"entity-type":"item","numeric-id":2291821,"id":"Q2291821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51ebe56a073adf29ad7423582467371b652f1bf0","datavalue":{"value":{"amount":"+0.8633201","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":"Q2292965$E8B5AE9B-D9B6-4013-A0BD-2E5B2421AADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57790b96fcf862ef267332e050f33ce06fc4c0c2","datavalue":{"value":{"entity-type":"item","numeric-id":2848122,"id":"Q2848122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5449d4e9901e0f194dbd7b998480020c3c472dc4","datavalue":{"value":{"amount":"+0.8601313","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":"Q2292965$3B231E15-0A2C-4EF8-8C4A-195A3CA5090C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e118a2f75c21ebb5fc9a2a1f263e3309cdd4d336","datavalue":{"value":{"entity-type":"item","numeric-id":5292611,"id":"Q5292611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab9c6a684fd878635b959a7ecbf2d2c4d05f72f6","datavalue":{"value":{"amount":"+0.8565815","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":"Q2292965$4C4B4083-691A-49FA-90A9-9A1650D95B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3c11b81dac02acf8ba34bb123d1429aa226b60d","datavalue":{"value":{"entity-type":"item","numeric-id":5096366,"id":"Q5096366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40d665824ad1e848d6fc9c5534b039602865d944","datavalue":{"value":{"amount":"+0.85559493","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":"Q2292965$EE0CB8E9-4B8C-401E-B7D7-794F4F5B60C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"841964ed0dc699422f88da66e1eba9e70121fa6d","datavalue":{"value":{"entity-type":"item","numeric-id":4813402,"id":"Q4813402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"059033c730d27d3b5494aa7c752b7332ded33dfc","datavalue":{"value":{"amount":"+0.8539592","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":"Q2292965$AE3AB35A-A237-4FB4-8235-AB95BF8E390F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b69bf20665a7260c53031123f73cf5e3b66d7c28","datavalue":{"value":{"entity-type":"item","numeric-id":5395066,"id":"Q5395066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9bca15c47b8e11ac38a6128290beb083094aed1","datavalue":{"value":{"amount":"+0.8503452","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":"Q2292965$F5A1E622-0CAE-402D-8C57-BEC9302F84BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1430a766ec828bbe02c117c4d3ee9d704d5a698","datavalue":{"value":{"entity-type":"item","numeric-id":4413583,"id":"Q4413583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04ebe7f359249632a4c58a1493e7905cd5334d72","datavalue":{"value":{"amount":"+0.84887016","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":"Q2292965$555B0222-8C9A-497E-AB20-BEE29539B14D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e692618152a6a5313d91276691f79e3094cb157","datavalue":{"value":{"entity-type":"item","numeric-id":2169108,"id":"Q2169108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f56ec6327fb6d78eaa7c8b81d88ceb67f214628","datavalue":{"value":{"amount":"+0.84729135","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":"Q2292965$5B8FA5DA-BCE3-49BE-9227-C753A472C21C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"133d95ab17f0c4bd52ac2244646d0c1d42be2f74","datavalue":{"value":{"entity-type":"item","numeric-id":5756599,"id":"Q5756599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e706e1cbb365e0c4dce725013b505d7f2b55cc99","datavalue":{"value":{"amount":"+0.84692454","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":"Q2292965$72D0C37C-FFE4-4199-981C-30994E48A752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c64cd91303d1c490482749850f111a6ea740f135","datavalue":{"value":{"entity-type":"item","numeric-id":4994842,"id":"Q4994842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1134905c66b45cd466b33bb5ae4cdbd091c14353","datavalue":{"value":{"amount":"+0.8465014","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":"Q2292965$D879F50B-2228-4C0E-8A10-91CC303DF192","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2292965","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2292965"}}}}}