{"entities":{"Q5971406":{"pageid":8148202,"ns":120,"title":"Item:Q5971406","lastrevid":97794350,"modified":"2026-06-05T15:25:45Z","type":"item","id":"Q5971406","labels":{"en":{"language":"en","value":"Sound and complete equational reasoning over comodels"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6664939"}},"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":"Q5971406$CBA89F4A-7824-4DFA-A73E-5C0F3D5967B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ba1b46069a4a66c99a0e27c7f8bbf38873d52fd","datavalue":{"value":{"text":"Sound and complete equational reasoning over comodels","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5971406$7C9DE461-6E8E-4CDD-AD47-00CD3AB50AC7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26c32470c43ff1d1d39e8fead37eaa90417ae5e6","datavalue":{"value":"1351.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971406$A6A9A222-C55C-4DE4-BF4E-2792329A5EEC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4aa98607dbb9e851d4e2feda2e6a57901527c54","datavalue":{"value":{"entity-type":"item","numeric-id":558416,"id":"Q558416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971406$F785DAB7-EDBA-4466-8B4B-5A21321FCBE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1eeed33b2287d1ef7af5a3fd00bdb188f793ecc6","datavalue":{"value":{"entity-type":"item","numeric-id":234493,"id":"Q234493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971406$E9D83B86-01AA-4C04-AC77-CE0B53A04EA8","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":"Q5971406$72896FE8-248E-4E95-AD28-952CC3E50FF1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81dc7daf8e9d74fc43b1651d3815e34e62e970ab","datavalue":{"value":{"time":"+2016-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5971406$072842A7-F8EA-47C2-98E7-5AF21278DD99","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971406$338E4AB4-63FD-4EF9-9316-2F5D1656A244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971406$F4B78B71-1349-4DDD-994E-DE0722F720EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971406$B2B9AF57-7A9A-4C91-A571-5544CFE4715F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971406$4962A3E0-DDAE-4F8C-B545-187062CF8455","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"517d97207f3a144915e638f2c152962e9726ad0f","datavalue":{"value":"6664939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971406$0CC8A396-9E60-4D26-9B7F-DFB9117CAFF5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5971406$FAACDD7B-0B00-4401-9CD6-A8D38695B21A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e09693da0cb0b99f942a0526a26a769f1af9a519","datavalue":{"value":"comodels","type":"string"},"datatype":"string"},"type":"statement","id":"Q5971406$C8C7B18F-61DF-4888-B7B5-516060E9A13B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5971406$16F14013-07C1-4028-BACF-2358435E7C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5971406$DEABA1E6-88CE-4C1B-94C2-1499C63FA9F8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a8c13e25375914db6ce60f2aafecb30dca1baf8b","datavalue":{"value":"Q113317722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971406$CD403A87-D110-4082-A7AC-E628EAB05FDA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bccc2ffd670b43e26d7109c31b58efdd4cd25790","datavalue":{"value":{"entity-type":"item","numeric-id":18336,"id":"Q18336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971406$8C98704D-5813-4811-A1B5-D8D6F1D309C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f7cbd45ecb73cef1c098eba204d848b9a2d6639","datavalue":{"value":{"entity-type":"item","numeric-id":30358,"id":"Q30358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971406$C0155EF2-0D3E-4D47-9CF9-7139DE48F5F4","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":"Q5971406$AF078E3E-0400-4864-BB7A-EE7341DEA25D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9a606038b50da98631a2d543a6d93a0574cb45e5","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2015.12.019","type":"string"},"datatype":"url"},"type":"statement","id":"Q5971406$1FF87D18-0181-4FD2-8596-904CD82CB703","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"59da53b52e4a8820e1c8f3f053ce61a05176e109","datavalue":{"value":"W2202809771","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971406$91C4635D-705D-4B34-9D55-0549F40251D0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"91d12ddf52bcc00a5ac4a095eb4afbd7bec72491","datavalue":{"value":{"entity-type":"item","numeric-id":3498444,"id":"Q3498444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971406$CD112D26-7B6C-4E65-AE28-516B7AC7DA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec95885716db945ceb0efa5b3926cd87abee0d25","datavalue":{"value":{"entity-type":"item","numeric-id":4910416,"id":"Q4910416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971406$76388B56-5EAB-4438-885F-CE0E5BDFF762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5065627c549136445d434d7d65a23fe61f4d77a8","datavalue":{"value":{"entity-type":"item","numeric-id":4856547,"id":"Q4856547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971406$A8310395-AA17-44C4-818A-1D0CCA78D25E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"404bb36dab7ac0c688669ff526ea70ad71f1d805","datavalue":{"value":{"entity-type":"item","numeric-id":4923198,"id":"Q4923198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971406$162C58BA-E765-4536-BE07-18220E6F8052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53034115544a6741bdebafeac7002e818a62f49d","datavalue":{"value":{"entity-type":"item","numeric-id":280192,"id":"Q280192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971406$9669BA47-4D48-4C4C-8C3E-C9AF46998E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e35062ed57b0b6abc8e529ecc41b02bf58ebd4c6","datavalue":{"value":{"entity-type":"item","numeric-id":2888503,"id":"Q2888503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971406$C822A1DB-2868-4D47-94AA-C625E26713B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"829c21ab46ca8848300dae5e918c2565fad669d5","datavalue":{"value":{"entity-type":"item","numeric-id":5408192,"id":"Q5408192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971406$F5E23BF5-3882-4EB0-A890-9577DADC04A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6ec60347e05a48553a732b1f0d890cf72850d24","datavalue":{"value":{"entity-type":"item","numeric-id":5415644,"id":"Q5415644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971406$1AED5CA7-6DB4-48E2-A9C1-62277E3FCA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a84006b96218c81beeae1a302c225b879a450c1","datavalue":{"value":{"entity-type":"item","numeric-id":5492812,"id":"Q5492812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971406$DD5597D6-3927-4BBC-B929-68FCBD42230B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43eb2c43d326a029ed0ae4e6800e57491b8620dc","datavalue":{"value":{"entity-type":"item","numeric-id":2847820,"id":"Q2847820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971406$E8B1003C-D856-44E0-BEE8-611EAD2CC083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06837aa6da8ea8460e1db2d4071921676125b997","datavalue":{"value":{"entity-type":"item","numeric-id":2851332,"id":"Q2851332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971406$0264AEB7-FF9D-4CD9-9ACF-D8CA68BE8CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87a2f99768ff1da949299cef13b498d5a9c3a16a","datavalue":{"value":{"entity-type":"item","numeric-id":2888482,"id":"Q2888482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971406$7946CFF6-A538-4F0C-9543-3C6343060EC5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a13647ba235a2afcf881da045e5eabd679492270","datavalue":{"value":"10.1016/J.ENTCS.2015.12.019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971406$5008A0D6-090C-4D15-A852-E75544F6D323","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d106445541691217e6141100a2b45a086b24cf1d","datavalue":{"value":{"entity-type":"item","numeric-id":4946627,"id":"Q4946627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e03a61f2e7460d560a924913a9ef02d0cef43211","datavalue":{"value":{"amount":"+0.7664873600006104","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":"Q5971406$29BF91E1-A924-491C-B7CE-BFFD37C4594A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cbc3a53bd0a7cb57c6b7c34fc404f8ca7bae934","datavalue":{"value":{"entity-type":"item","numeric-id":2847820,"id":"Q2847820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd364f21b89fb2d1bf98e592d33caa89cd3260fb","datavalue":{"value":{"amount":"+0.7631029486656189","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":"Q5971406$0435BD1E-2841-4A9A-9736-4788252DCE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddc087e84bc48376cccef6bab164ef2fb789bfdd","datavalue":{"value":{"entity-type":"item","numeric-id":4635889,"id":"Q4635889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b361a13c39005f40361020de4b377dd8c4683ba0","datavalue":{"value":{"amount":"+0.7584689855575562","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":"Q5971406$34FF32FE-6E65-44B9-AED1-D8D5107D438D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d459696034d89353ceb384371e16bbd67c5de810","datavalue":{"value":{"entity-type":"item","numeric-id":3557843,"id":"Q3557843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3446798b3bb050548d209695510a74a6dadd6a8b","datavalue":{"value":{"amount":"+0.736042857170105","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":"Q5971406$CF90C8B8-845E-48F9-97A2-579F88C8856E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38efcc9b6f79496cb120f615173ce4f74628d289","datavalue":{"value":{"entity-type":"item","numeric-id":5465440,"id":"Q5465440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8340101b0f1bedd292912b09818124a62cc75e18","datavalue":{"value":{"amount":"+0.7225037217140198","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":"Q5971406$BC219BE7-9B95-41FB-ABBD-FFE091D0BCB7","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971406$108E56F5-872F-4102-87B8-C93AAF4D101B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sound and complete equational reasoning over comodels","badges":[]}}}}}