{"entities":{"Q2152656":{"pageid":2163399,"ns":120,"title":"Item:Q2152656","lastrevid":71417895,"modified":"2026-04-13T22:08:03Z","type":"item","id":"Q2152656","labels":{"en":{"language":"en","value":"Bisimulations for neural network reduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7554870"}},"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":"Q2152656$9606FE21-BC41-42F4-8498-F78903A43755","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a97d5607bc5ae67756b571653297894faadf148","datavalue":{"value":{"text":"Bisimulations for neural network reduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2152656$4B5B19FA-4F5A-4FA7-ABA2-FC278A1B11C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"073ba14ca3504e9516974abc33e4d0ec2d241255","datavalue":{"value":"1498.68169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2152656$7D6CC735-FACB-465E-8257-780277033A64","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9cffe4f815c2560fdb82d914379cbc69d0301cb5","datavalue":{"value":"10.1007/978-3-030-94583-1_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2152656$7F9CACCF-F5D2-459A-BA5F-FF41A1B1CE7A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa0e9c6c676e3a811618e1a876ea1a2b12e00090","datavalue":{"value":{"entity-type":"item","numeric-id":636271,"id":"Q636271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152656$2050812E-0AB7-41F7-8CA4-834053467B92","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53f271a816850f44e4911f5762419f83fae54908","datavalue":{"value":{"time":"+2022-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2152656$888EC780-21A0-45ED-85D8-87F493A63C33","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8f479897c809d83a3570c045d23e4739acea489f","datavalue":{"value":"https://arxiv.org/abs/2110.03726","type":"string"},"datatype":"url"},"type":"statement","id":"Q2152656$04214591-7505-46BE-B936-564370F55AFF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2152656$ED68A391-4AC9-4FC8-938C-C6AFACE731DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2152656$E2D4CF00-1E6F-4F72-B70B-A2AF22E793B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0389879dca22221b517a2c8d2d566880976451a8","datavalue":{"value":"7554870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2152656$3565171A-BC78-4A43-8719-BCF6337EBB8C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0efe91da4df536f9ec53a9f276b6c2c113d29db","datavalue":{"value":"neural networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q2152656$60457B57-FBE8-49F9-AE0C-1B12D331140C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2152656$C5F56498-21FE-46A3-BB2D-CB1A000EFE2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2152656$99CD0EB9-262E-4157-94A5-3010890D222D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfc1c912dbc1f534d35dfe4c7b828346e80b5fd8","datavalue":{"value":"reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2152656$54521B0B-6AE7-412E-A9F3-8F3F61C99ECF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c68116d4b2bb5081c553f61d2120d450f2a0c723","datavalue":{"value":{"entity-type":"item","numeric-id":18442,"id":"Q18442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152656$DA67A613-9BC3-4695-8932-D2CB252E3798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fac9f12a57b80383023f1d0f3d27b15b8df1d760","datavalue":{"value":{"entity-type":"item","numeric-id":43078,"id":"Q43078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152656$DB00E4D5-66E4-47A6-9E98-C1A2519ABA07","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":"Q2152656$BAFE993A-AD01-440F-9031-4F9BF98A936B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"43f5e0761749b8863535fd2d100be6429ed38c9e","datavalue":{"value":"W4206049941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2152656$8225D212-EEDD-4967-A9AE-6C695FA7176B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152656$84D2AD78-1113-450D-909C-E21719E04816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d124ba485908c39aea6eefb8215d59ba42852d2","datavalue":{"value":{"entity-type":"item","numeric-id":4969086,"id":"Q4969086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152656$1156089A-F0C9-4004-B60D-118ED0251058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63598ebd52d831a12f353a583aeb504550a49674","datavalue":{"value":{"entity-type":"item","numeric-id":2225075,"id":"Q2225075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152656$8EAADDE2-0142-4087-9ECB-B2FE154A6F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c6ba1aaf49c79307e74bdb9bd3c8b461bda8238","datavalue":{"value":{"entity-type":"item","numeric-id":939013,"id":"Q939013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152656$7171D9CE-FD1F-45D1-BBAB-273C85F9464D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b211ea5f11e970afb7e38c747002a992438ca43","datavalue":{"value":{"entity-type":"item","numeric-id":2467487,"id":"Q2467487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152656$79663A0F-1494-4375-A072-A657FFDA79B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9a6a461b2ccd538643a884f98ffc0a3baa8e60","datavalue":{"value":{"entity-type":"item","numeric-id":3523108,"id":"Q3523108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152656$E2AE9315-69BC-413F-A754-CDA8F0740E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09d76610be2db7a475aae1f8e37aec5be549c297","datavalue":{"value":{"entity-type":"item","numeric-id":2151238,"id":"Q2151238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152656$9042D143-F1A5-4B40-89DC-D62D4DB225B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152656$EECFDACD-E72D-4FCD-8535-EE141BDBF46C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152656$8FFE03D7-96AB-416E-948A-D5FE4DD7A03B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c1d9913d42c8b64fda8f3e4ce37675c9f250c23","datavalue":{"value":{"entity-type":"item","numeric-id":2233525,"id":"Q2233525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152656$E3176902-3427-4E6A-AB47-9C7C4BB01331","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fb9ce4ccd7f452dd7415732ff005d080fb12283","datavalue":{"value":{"entity-type":"item","numeric-id":3456021,"id":"Q3456021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eef5600c655a49a2f66de16dcd4c5cf78bf8816b","datavalue":{"value":{"amount":"+0.7308440208435059","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":"Q2152656$5D396543-FE46-4CBC-8495-89BE85BAC94A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e62998661d1a0dda4710d0449f7c18521b62828e","datavalue":{"value":{"entity-type":"item","numeric-id":5858102,"id":"Q5858102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35bbc373365b68f6d67ee393a9009f995108e4f5","datavalue":{"value":{"amount":"+0.7230020761489868","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":"Q2152656$9D256325-543C-4014-B73A-13EDBD8C24FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6337a461b509d6b31fe5dea096c2530f9f773c4","datavalue":{"value":{"entity-type":"item","numeric-id":3677164,"id":"Q3677164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e11502b6254baf77d10b741ccafbf17fd7a1d000","datavalue":{"value":{"amount":"+0.7059376835823059","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":"Q2152656$3F8B9AB0-70AA-4BD1-9716-3B52C8416DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3933f7b598b865a40b598ff41f2f4a3f821b4c0b","datavalue":{"value":{"entity-type":"item","numeric-id":2766577,"id":"Q2766577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42ec12da01c44766ac88acaeefd51aa6abe61c44","datavalue":{"value":{"amount":"+0.7020407915115356","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":"Q2152656$DE7F3441-ACF1-4AD0-A2B7-F023C4BBFA4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"281787182ffa20d7e9f55c4bdb5ba9e9b50a11d3","datavalue":{"value":{"entity-type":"item","numeric-id":1421437,"id":"Q1421437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98164dae418df981bba6a7d426674bd385b6c06c","datavalue":{"value":{"amount":"+0.6914851665496826","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":"Q2152656$DBB217BE-A802-47C3-931A-35E9FED08917","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bisimulations for neural network reduction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bisimulations_for_neural_network_reduction"}}}}}