{"entities":{"Q5178995":{"pageid":7208567,"ns":120,"title":"Item:Q5178995","lastrevid":52227362,"modified":"2026-01-21T05:05:28Z","type":"item","id":"Q5178995","labels":{"en":{"language":"en","value":"Extending symmetry reduction techniques to a realistic model of computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6416600"}},"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":"Q5178995$85977D6D-5808-4F59-95DC-D9A73CAD06AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"852d6df28e8c5076f5102671981b5b67498f402e","datavalue":{"value":{"text":"Extending Symmetry Reduction Techniques to a Realistic Model of Computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5178995$398195E8-8E32-48EE-8EB1-BC6637940639","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7d49d6e60293e1f7b058ab5628180e18f597f34","datavalue":{"value":"1335.68135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178995$F79A238E-E865-4654-AE96-5A3DE7783625","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db903008d5ee39538aa38bf45d7c449d7149af42","datavalue":{"value":{"entity-type":"item","numeric-id":763237,"id":"Q763237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178995$FF99278D-1D17-4DC3-9F31-D7EA02E3BE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90bbe2ee818852467359700b37d2788503a24def","datavalue":{"value":{"entity-type":"item","numeric-id":1312994,"id":"Q1312994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178995$83818943-0726-47A5-B322-993E84740213","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178995$F015B9F4-1904-40FB-BF41-2DE859F1FF0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3ae1d772ce191deb207c0bad17ca1d39804476a","datavalue":{"value":{"time":"+2015-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5178995$A54B7D7C-E9AF-4268-AD0F-D7D086208FE2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178995$7D286448-CFF6-421D-BF39-5706A3FE281A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ac1dafab2cb163643c64b3cf5c7678542cb29be","datavalue":{"value":"20B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178995$F6C45015-CB86-47AA-B84B-D118C789ECB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178995$6E26B090-8131-4B66-AF96-8D2252B2FD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178995$EE7B3A69-3320-42C3-84BA-F5437A53D600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178995$E0C1111C-6E2B-4551-A030-943ADF53EC62","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1c4c8cd843d3744b634e692d7a21fe2f58dfb54","datavalue":{"value":"6416600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178995$4C4A6365-DF4F-4899-AFC7-B701FD7E31DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178995$B449F875-5519-47A9-B84C-92B2D783693F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"614d88d59f361d2d6b9adacc8d9751a483cab710","datavalue":{"value":"symmetry","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178995$ADAA661A-13C6-445F-A807-BCDF66003885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d63abd00ba97e023260564ab1e5de7e72c9aae49","datavalue":{"value":"computational group theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178995$23F0F904-48CE-42C8-83D5-29A7E6076E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178995$1E75B779-4540-4556-A497-C4B6A357601F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d233eb87dc02a98a4f280d0e5c15621e65f027cd","datavalue":{"value":"Promela","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178995$B28D2DA5-0D95-4E60-A700-4891F962B8B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccb8e4454b897e5d2626bab3ddf5c7ece558c11d","datavalue":{"value":"Spin","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178995$C52B9A20-4F1D-42CF-A952-9D39D32E7FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178995$BCF82FC3-11FB-4D62-A665-CE64113C7C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61837a336007503fcb2fdb3680338cd40161d053","datavalue":{"value":"Gap","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178995$5653B3F8-79BD-419D-ADF2-21BCF9357DF5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dd7f0abef058f8eae97be2e317c30210cbb29e90","datavalue":{"value":{"entity-type":"item","numeric-id":13081,"id":"Q13081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178995$C65C46F3-3BAB-48E4-B7B1-6C7818F4ECE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02e5db897a38edc1fd8a74ee097bd9055381cb24","datavalue":{"value":{"entity-type":"item","numeric-id":13716,"id":"Q13716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178995$0ACD105A-0B24-4CB3-B069-BFB086C80118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2415471ff41202a6c9259e793d0833a0591be108","datavalue":{"value":{"entity-type":"item","numeric-id":19544,"id":"Q19544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178995$481E82EE-98A4-4242-B79E-C58BF50A3B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178995$0954D53A-314D-4F80-9631-01EB95D855F7","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":"Q5178995$CB598AAB-CFD1-4135-8266-CE244D671012","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea956674863a693e43ad611ecc6177fd26101622","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.05.029","type":"string"},"datatype":"url"},"type":"statement","id":"Q5178995$F57D25B5-71F0-4AFC-A018-15F3B8A93364","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"abd90069f88f29ce8c44a2bdfb61cb489d95c7f9","datavalue":{"value":"W2148371997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178995$D81C9897-E5B3-41A4-804C-4FAD88B79ABF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1519b5e6862874de8e92dc40fa2f5effa5340f99","datavalue":{"value":{"entity-type":"item","numeric-id":1202170,"id":"Q1202170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178995$5BB48A5F-296E-43C2-A0D0-4CB244BA4CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"215150ee12b663fd487c6d69c60b5bda7348ec36","datavalue":{"value":{"entity-type":"item","numeric-id":4531763,"id":"Q4531763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178995$D7AB3EB0-B33F-48DE-81FC-6ACC7A1F945B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ceb233ba0d30f428f8e8cdcd58588ea0dfbd7bd","datavalue":{"value":{"entity-type":"item","numeric-id":5703773,"id":"Q5703773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178995$8056CD48-4BE8-46FF-85D7-BB5763DFAC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2554adaa4ece8ce908bc9a4fadc3f818113b4ee1","datavalue":{"value":{"entity-type":"item","numeric-id":4657330,"id":"Q4657330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178995$B7BDCF4B-D80D-4B4A-BC1E-85AA2AA7A22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e6022f65d94a565dfd752ed0233f32c52d843a","datavalue":{"value":{"entity-type":"item","numeric-id":5731795,"id":"Q5731795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178995$45818DDC-115B-4DAD-8584-D662690745B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1c62ada788f3ca01a4c6f8156af507942db5d91","datavalue":{"value":{"entity-type":"item","numeric-id":4787523,"id":"Q4787523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178995$61D344F1-0B97-4BDA-9081-AF691E7A0930","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba37394b76493297930094a089b2d0ef6405d0a1","datavalue":{"value":"10.1016/J.ENTCS.2007.05.029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178995$7B1AF4CF-0195-42DB-B139-0C12987CFBA0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9da326237c00c5b582076865fd23ff70cccf3a1","datavalue":{"value":{"entity-type":"item","numeric-id":5178970,"id":"Q5178970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35397571c115ced6819ecfa7fac1f0cf40eed1a6","datavalue":{"value":{"amount":"+0.8422610759735107","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":"Q5178995$AAD26404-7DE7-4990-ADAC-D47152E1128C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60100f1a3fb27d799df07f736797f7c70bc32adc","datavalue":{"value":{"entity-type":"item","numeric-id":4494389,"id":"Q4494389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ad7e2b84ab93f81e3cd728302ab99ae111803c7","datavalue":{"value":{"amount":"+0.839351236820221","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":"Q5178995$C2082F1C-1927-4EAE-B01E-18109B860D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"993da427af6bb30349d69eeab01a8b288a2cd85a","datavalue":{"value":{"entity-type":"item","numeric-id":4942017,"id":"Q4942017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3df37968af31587d2a3edc8a47c74c8007b3fec2","datavalue":{"value":{"amount":"+0.8393511772155762","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":"Q5178995$50275904-16C5-4B70-9924-DB84604CAA9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15a780136676f2f4abac533f4c4d0397cc6ec411","datavalue":{"value":{"entity-type":"item","numeric-id":4738464,"id":"Q4738464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3165a914e88be8b25ffcd5b05c8865ff73f272f","datavalue":{"value":{"amount":"+0.8383489847183228","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":"Q5178995$04761D31-9F39-4EDD-9744-6B315F9D7710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5be2aa792261509b3bef663fe4b1b9ada52ddafc","datavalue":{"value":{"entity-type":"item","numeric-id":976988,"id":"Q976988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36e45f759ba0842bc9690222339ca6226939a3c7","datavalue":{"value":{"amount":"+0.8360917568206787","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":"Q5178995$9D979FC0-BF7D-4A26-98CE-31C3C133E612","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5178995","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5178995"}}}}}