{"entities":{"Q613132":{"pageid":614908,"ns":120,"title":"Item:Q613132","lastrevid":63170112,"modified":"2026-04-11T11:04:29Z","type":"item","id":"Q613132","labels":{"en":{"language":"en","value":"A lazy approach to symmetry reduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5827625"}},"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":"Q613132$C497C16B-5DD4-4446-ABB5-582E59090903","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae9e738b9265482b97170e6cc209c2644a3f4d36","datavalue":{"value":{"text":"A lazy approach to symmetry reduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q613132$78EECCB8-15AB-42D1-9645-8D748C88D85B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"abd3f4f961f85e9d11010c0398f3373fe1dbd781","datavalue":{"value":"1214.68225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q613132$609A726C-334A-421F-80F5-D80DA59A6097","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d662772c24869dc9f46a36b74617d8d791c39563","datavalue":{"value":{"entity-type":"item","numeric-id":438555,"id":"Q438555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q613132$70322B02-105E-452C-B07A-27075B5BF91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"14a0eb23269ec1fc8704436b597276cf095d31ae","datavalue":{"value":{"entity-type":"item","numeric-id":479834,"id":"Q479834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q613132$AEA3196B-ECEF-4627-AF9C-8B582BC2BE68","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q613132$4F563D54-1F39-4850-B56E-1AE300D65D78","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ef5602477723905148f5f25f317bbf3837d9f5a","datavalue":{"value":{"time":"+2010-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q613132$AEA508ED-03F6-49DE-BA09-F2A110C7D9B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q613132$45F3640B-3CDE-4F49-9BEF-5FE7E2252535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q613132$0CDAE828-5097-4482-98B4-F1A4FE14181C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8af468119eb50ee56ec12f81b1a7880586cc92d6","datavalue":{"value":"5827625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q613132$C83CD6A0-51E1-4995-87B2-037A1DEEF302","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q613132$9C3732BD-85FD-4EF9-A8D6-A20C5239F2F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"614d88d59f361d2d6b9adacc8d9751a483cab710","datavalue":{"value":"symmetry","type":"string"},"datatype":"string"},"type":"statement","id":"Q613132$7ADCFBF5-64E1-4848-85DA-42404A10C95B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"161695c11238019c72bf4fda768c1f350e961467","datavalue":{"value":"annotated structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q613132$EFAE2D42-341F-42BA-9DF3-9D5C1A5BDB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e41fb471c5632503b8716f23269ac7a1a49e160e","datavalue":{"value":"partition","type":"string"},"datatype":"string"},"type":"statement","id":"Q613132$DB6AF381-1DF2-49B1-8A6B-460AEE081CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c51344918cf160612586ae31930ddba9864b1c0","datavalue":{"value":"subsumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q613132$A410592D-ECFC-4ABC-9ECB-4440738544F8","rank":"normal"}],"P1463":[{"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":"Q613132$2C2E973F-2E50-4A14-918C-A4D5D4A7AC86","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":"Q613132$E38B6CFE-AD09-43E4-8177-BEBFC033B14E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q613132$E05496DA-1914-43D8-8054-566E0014731F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1bc012cf10551bf42bb05efd85ce69678e698524","datavalue":{"value":{"entity-type":"item","numeric-id":16622,"id":"Q16622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q613132$0E8EA3EF-709D-4918-88A5-142CBDF8D4DD","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":"Q613132$49509AB5-32BA-45B7-8459-6C36A2A64179","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fdf50717c92546c965351c3e3438625856183921","datavalue":{"value":"https://doi.org/10.1007/s00165-009-0131-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q613132$97CC42C3-FED6-416A-811F-DF5EDFCE32C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2e59373116544453853e3ec44be700df335edf60","datavalue":{"value":"W2040535771","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q613132$70C15675-5877-4835-8CF8-D593560186C1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bc68c2530c41a7b85c49b743c08150f073f1aa6","datavalue":{"value":{"entity-type":"item","numeric-id":1269889,"id":"Q1269889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q613132$40AA5628-ABB4-4FC9-9FAE-522BEA8F23F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb9decb00e1bc83b447621b1b3ecd5efaf057f70","datavalue":{"value":{"entity-type":"item","numeric-id":5716898,"id":"Q5716898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q613132$EE1A5D53-DD84-4BFE-9D65-CCCBD67DDE97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e3cfa5cbc29a490fa9eee5494235cfa87d81ceb","datavalue":{"value":{"entity-type":"item","numeric-id":3522889,"id":"Q3522889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q613132$D9CD3FDF-8C65-4A84-882F-E135BBF92CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8beb81d7321b654467d2d86f641d805b3cc3d49c","datavalue":{"value":{"entity-type":"item","numeric-id":4494389,"id":"Q4494389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q613132$7099E7D8-593F-4EE2-A2EF-B57634230B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0dec2fe752983c2c46a9df8217aedb70ea4f568","datavalue":{"value":{"entity-type":"item","numeric-id":5897069,"id":"Q5897069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q613132$213ADD81-B55E-4A56-B0D7-97D2FA3D824E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84708e953a99a80184996e9015091c19a0ff3693","datavalue":{"value":{"entity-type":"item","numeric-id":5717501,"id":"Q5717501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q613132$ACE7A541-6BDF-4C3C-B73A-A1A56EAA168D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c21e537ab0c07b0d3849b9a7e5a291ced75540","datavalue":{"value":{"entity-type":"item","numeric-id":5178898,"id":"Q5178898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q613132$8FEEB7DD-3681-4C47-956B-BFCB4F6E614D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e5b30c87e3a5af9c58ebec5d017ad8b9ba59208","datavalue":{"value":{"entity-type":"item","numeric-id":5429332,"id":"Q5429332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q613132$302AD9B9-E638-44B0-A686-1A7F9927DCCA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b2b5f548386174e521ef82fe9f53b066ac1b2674","datavalue":{"value":"10.1007/S00165-009-0131-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q613132$2EAC0871-0FD8-4AAD-B9AD-440B714E8AC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c30df13502090e7e4176916e7cc8c67c5db3cf6","datavalue":{"value":{"entity-type":"item","numeric-id":5429332,"id":"Q5429332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8793eaeee1cc44dfbe1f99c4f4e530787db7e314","datavalue":{"value":{"amount":"+0.9161924719810486","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":"Q613132$D524D7AE-42C0-456D-A641-1F4CC44EC43C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8d363b663792e7f338fa28214e3a05cd3c77fd0","datavalue":{"value":{"entity-type":"item","numeric-id":5703773,"id":"Q5703773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c25616077b9e1917404d8f44f994882ec09842d","datavalue":{"value":{"amount":"+0.8344132304191589","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":"Q613132$BE818471-50CF-405B-9712-23433B4A5C63","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":"b1464d4299016e81744779856c910fc8fcfe25ad","datavalue":{"value":{"amount":"+0.8334131240844727","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":"Q613132$9D3F884C-7D06-4BA7-B1E5-533E1B652802","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":"a8cd9a2a453e6bbe11933f6e80781060d6bfbf70","datavalue":{"value":{"amount":"+0.8229675889015198","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":"Q613132$72060168-F318-46F5-BF45-B84B30E79D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc547065e7497be895422f540da9df1d052b5ff2","datavalue":{"value":{"entity-type":"item","numeric-id":2796070,"id":"Q2796070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96cc06a90e71d284e81b564e14c1ae3f35e13315","datavalue":{"value":{"amount":"+0.8229672908782959","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":"Q613132$20C39405-A187-44A9-AB2C-738B74A4CF31","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A lazy approach to symmetry reduction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_lazy_approach_to_symmetry_reduction"}}}}}