{"entities":{"Q678825":{"pageid":680674,"ns":120,"title":"Item:Q678825","lastrevid":63433947,"modified":"2026-04-11T13:07:35Z","type":"item","id":"Q678825","labels":{"en":{"language":"en","value":"Proving semantical equivalence of data specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1004387"}},"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":"Q678825$06A23F58-A0F5-4206-BEEA-095F7F2C95EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa8c1951e6871e7ff71d314507e452ac9298da98","datavalue":{"value":{"text":"Proving semantical equivalence of data specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q678825$EA0304B7-C216-4F13-8DBE-B2563B8BDAEE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40c83c899d669f41fbc1271528ec32f0b85bbf51","datavalue":{"value":"0867.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678825$A95344D8-2745-403D-ABE5-4F9C56E54433","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a3652709148c90d63a401616ec1354de257801e","datavalue":{"value":"10.1016/S0022-4049(96)00168-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678825$157F57D6-54B7-47F0-9A85-A7ED4C04AC6A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6035db45b2f773ce1316044aa6ee6cdabbbc50c8","datavalue":{"value":{"entity-type":"item","numeric-id":678823,"id":"Q678823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678825$2749A11C-37FC-48B9-840B-CB86FBB25994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4c00eab4a84f02df839e06bca3e6eaef4282347","datavalue":{"value":{"entity-type":"item","numeric-id":678824,"id":"Q678824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678825$68FD95B8-11A4-451E-9C9F-E79280E21FCC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678825$A29FE89A-3D51-41FF-A179-11720ADCC927","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ec8c20900676bdc973f1dd224c2bbe10923a4d6","datavalue":{"value":{"time":"+1997-07-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":"Q678825$CC656B52-C0C9-496A-93AD-81735CDE0C61","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3656fdb8ca3ccb733eae8b3158e681e186dbc8bd","datavalue":{"value":"The paper deals with the problem of determining whether two given data specifications are equivalent. The equivalence is defined by the equivalence of the corresponding categories of finite models. The equivalence problem is undecidable because finite satisfiability in model theory can be reduced to it. There is a stronger concept of equivalence of data specifications which is given by the equivalence of the categories of all (also infinite) models. The authors reduce the strong equivalence problem (via sketches and their theories) to a deduction problem for essentially algebraic specification. Finally, they present a deduction system for these specifications which is claimed to be very suitable for an automated theorem prover. The paper seems to be an interesting application of category theory to computer science.","type":"string"},"datatype":"string"},"type":"statement","id":"Q678825$18C51FDA-D341-4EB2-8865-3097889C50F4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d69f2ace25c4aede75beeae76b1816ac2c8c2b92","datavalue":{"value":{"entity-type":"item","numeric-id":178140,"id":"Q178140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678825$2670BBA3-5C11-4622-9ADE-E84317FDE326","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678825$708E2EF9-C293-41D3-90C0-AA4B1B236925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678825$50B92863-A22F-4247-A2EE-C7DF034C3933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"479a672951288aabf3a4041e0fb71e1dda5dffff","datavalue":{"value":"18A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678825$2EB9DE71-21A6-49F5-8D6E-ACEFFE71894B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"88f26c5e5c8e9b1a1b9fcd1e726cfac3efaf2593","datavalue":{"value":"08A55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678825$492469AE-BEF2-4522-A9D6-FD6B2CBEAA88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678825$72B93DF8-B595-42E8-8BC5-9B1183217D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678825$4053D4CB-B175-47A5-B878-FB76B704A97A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e075a5a1ca77ffa965955326fd987018bc8e144","datavalue":{"value":"18A25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678825$B7CECF2B-0C9C-4A13-8A1E-78D308F48125","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db52824e92ce73cba1679fd75fd0494c61d4e84c","datavalue":{"value":"1004387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678825$E4DC23AA-5943-4617-8DCA-1C236E675990","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abc2777a763edf61f065c01c1fd766e5f4a3e928","datavalue":{"value":"view integration problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q678825$3F468D41-D097-4FCB-9330-F45BF18418F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30456b9b88c8c0af26e5937eb036fc17213ce0bc","datavalue":{"value":"data specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q678825$6B9B30A7-566D-49A8-BC87-0D21940AEAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"793f04fa8c94af9b297932aa95b4844dfd27158f","datavalue":{"value":"categories of finite models","type":"string"},"datatype":"string"},"type":"statement","id":"Q678825$A9DDB7FE-E41A-4DE8-8F07-B7B2B26DFFBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aeaf6346103e174adb95901e26a787b2d3ada0b0","datavalue":{"value":"sketches","type":"string"},"datatype":"string"},"type":"statement","id":"Q678825$9B359F99-7F9E-44DB-ACB3-DF3478604B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93007cf826a98eac75a8cc1c6330cedd93f9485f","datavalue":{"value":"essentially algebraic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q678825$1DAC3BC7-B260-4C2D-A551-EADB9FD0999B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bf0a69ff86a1d56569a9610bc144fdfce86ab79","datavalue":{"value":"equivalence problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q678825$7FBFE10A-B5C2-4EAA-8549-3F78ECA7DC38","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":"Q678825$2FFF7C1D-4254-4397-A73D-D4EFDB73EF91","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae600d82e59da48d9490ff29ee5b51a547bc0409","datavalue":{"value":{"entity-type":"item","numeric-id":4864249,"id":"Q4864249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678825$B90BB73C-4346-48DD-A3E8-A58C30A940C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e83f11a2d7c83369a107eb21508bcc0a612a20e","datavalue":{"value":{"entity-type":"item","numeric-id":4293501,"id":"Q4293501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678825$840AED96-64AA-4848-80DE-67D516AD8B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1e99f41142e6d56c13ef3a05fd3f9bb055e348","datavalue":{"value":{"entity-type":"item","numeric-id":3682648,"id":"Q3682648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678825$2C8BC0B3-EE9F-4E44-ACC6-9F47AFA7BBC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c8d5af81dbee948fc36a09e7801ec41a36713b","datavalue":{"value":{"entity-type":"item","numeric-id":2919784,"id":"Q2919784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678825$93E97BDB-4562-429A-897E-4BC7289B5B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0011f65a95514861d982f4c78eabd721da7a8f0c","datavalue":{"value":{"entity-type":"item","numeric-id":3855354,"id":"Q3855354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678825$F3116329-3186-4A18-B151-5D73765D003D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678825$DA137D84-90AC-4C83-9866-C23A4195227E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d036040bf3ed5c2e1ffac6f62b9b04d9e598837b","datavalue":{"value":{"entity-type":"item","numeric-id":5665316,"id":"Q5665316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678825$A0AEE8C3-109E-4E38-8E56-21EBB7F044B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70ab79f8fe1e91b63e9c6e6379a45e52f1e9d8a2","datavalue":{"value":{"entity-type":"item","numeric-id":758211,"id":"Q758211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678825$B32B0DBA-5BC0-4C6E-9EF9-1CEB7EFB9E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de9f23bc58febcc60aff99ac387949cd328d3079","datavalue":{"value":{"entity-type":"item","numeric-id":1065790,"id":"Q1065790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678825$324A0357-AA6E-4B51-9F3B-5B7E595C71F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678825$8921DCE3-6BB4-47F0-9D90-60AD2FCB466B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6116305b1dd9a179388d6b1c1c65dc4d515e48bd","datavalue":{"value":{"entity-type":"item","numeric-id":674480,"id":"Q674480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678825$1052C29B-0045-4814-98B7-76713E87A43A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b60eea28edfed7e1c618a79fd16007e8ab860324","datavalue":{"value":{"entity-type":"item","numeric-id":1346248,"id":"Q1346248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678825$B1D81A37-A17D-4ECD-B8B4-315AB24FDD91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e089cbcc8d8cba4891df4c434757fc32f08a5ea1","datavalue":{"value":{"entity-type":"item","numeric-id":1092902,"id":"Q1092902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678825$DD46E777-697F-4041-A09F-91FD86FF0C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e9bdddaebddb563767fdab13b5d71ba14f7f56","datavalue":{"value":{"entity-type":"item","numeric-id":4040341,"id":"Q4040341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678825$DDAB42D0-8018-43BB-ABA0-90EA247BF83B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1b19668fdcfd2749fac42a743f4d4957871dc28","datavalue":{"value":{"entity-type":"item","numeric-id":4888795,"id":"Q4888795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678825$A1E47CF8-2FAD-4A5E-9625-DEC3090604AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ba41f8ecd77f0632e922eba4a8dc824d5b88c3b","datavalue":{"value":{"entity-type":"item","numeric-id":3773301,"id":"Q3773301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678825$84E44197-ED46-43AA-AAE4-6C2F0AE4A82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f00c98235e5384768abea0aa1fa5aee53555059","datavalue":{"value":{"entity-type":"item","numeric-id":916772,"id":"Q916772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678825$6E926ADB-9B7F-44FA-8585-C24872B87473","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c37acbf754a0515081e86e106e398060fc27ffe8","datavalue":{"value":{"entity-type":"item","numeric-id":5291135,"id":"Q5291135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad514b59784085d8dfc1053b767067df0ee42bd3","datavalue":{"value":{"amount":"+0.8674964","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":"Q678825$FBEDF8B2-B606-4ADC-8DAB-2396E57A3C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71f3b5f5a7acbf6d479d7510ebdb142240a0895c","datavalue":{"value":{"entity-type":"item","numeric-id":2277862,"id":"Q2277862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02aba7b025ce46349ad9049bb471446a801a0263","datavalue":{"value":{"amount":"+0.8520133","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":"Q678825$B0A935A6-375E-4DD6-BCBB-299CCFB6E6E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d548299d4b0fd3bc9a1896369b66103d2e478a56","datavalue":{"value":{"entity-type":"item","numeric-id":3770004,"id":"Q3770004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69c163283038db2b95bc3632fd9f2c0ef1c8cda1","datavalue":{"value":{"amount":"+0.8494972","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":"Q678825$06BCDE06-DF5F-4F46-8CCE-CC5F99D67D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"872a8fde362af04b3e277a03dc868b73fd43813a","datavalue":{"value":{"entity-type":"item","numeric-id":609020,"id":"Q609020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cb78e493ea0e9ccf76f2ec72df5cd7be13efdc1","datavalue":{"value":{"amount":"+0.84312093","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":"Q678825$B61ED3CF-15DA-493F-9003-33BC6F8872A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e5dfbf9e29a3570b81451e22d1c15fc1c6f3202","datavalue":{"value":{"entity-type":"item","numeric-id":5312971,"id":"Q5312971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c94a189a4a6f89e5fb2cb759142ed33e4c2ee579","datavalue":{"value":{"amount":"+0.83738035","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":"Q678825$5088C1FE-3E1F-4566-864D-38E30355D1DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"792336ff1c3b24bda0a585498d74b554cb5ee6b1","datavalue":{"value":{"entity-type":"item","numeric-id":5864202,"id":"Q5864202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e261388a328d2fe17762d576f2bc8fbcf3c1f34","datavalue":{"value":{"amount":"+0.8317979","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":"Q678825$71E9120E-398A-4806-BDE8-9D02CD322D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4db0e5139738c4116ab3492301362d6083cf1911","datavalue":{"value":{"entity-type":"item","numeric-id":1355752,"id":"Q1355752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c508c5f1a51ffdcff92d10e4a0d0d0ab0c643d3","datavalue":{"value":{"amount":"+0.8295489","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":"Q678825$0515A17C-2F6C-41A3-976F-D277971C7651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1abcbcdee9044a65cc01e5e2c0b31274872ad02c","datavalue":{"value":{"entity-type":"item","numeric-id":5055758,"id":"Q5055758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d30662ffb9642dcf39fab1c7885b036c97fb90be","datavalue":{"value":{"amount":"+0.82512313","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":"Q678825$27630C12-8CA4-475E-BC9D-0BDF78193E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae5a5067d68700ed12e655efc2138a3863c6afc1","datavalue":{"value":{"entity-type":"item","numeric-id":3525098,"id":"Q3525098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"146120f05b327c193b0c0bfb08f907ffc56a1ee5","datavalue":{"value":{"amount":"+0.8237691","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":"Q678825$65A2011B-249B-49FC-81D3-0844D8503C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3296c1ab353346813d384994567561270a8d4f16","datavalue":{"value":{"entity-type":"item","numeric-id":5716590,"id":"Q5716590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"767d17d008019d2012d049fe130508590b6c6162","datavalue":{"value":{"amount":"+0.822944","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":"Q678825$FCA940E5-05D9-4514-AB0F-5690A4182139","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proving semantical equivalence of data specifications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proving_semantical_equivalence_of_data_specifications"}}}}}