{"entities":{"Q2985778":{"pageid":2996503,"ns":120,"title":"Item:Q2985778","lastrevid":45200029,"modified":"2025-12-02T13:12:09Z","type":"item","id":"Q2985778","labels":{"en":{"language":"en","value":"Partial type equivalences for verified dependent interoperability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6713912"}},"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":"Q2985778$783F7E80-857D-472E-B48A-46AFAC8B509A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0efaf8807ec514ed2e7aea2a46e2908a57e2e3f","datavalue":{"value":{"text":"Partial type equivalences for verified dependent interoperability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2985778$01343DD6-2F7D-468A-BB24-3FC8CBB83997","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71774314df805056a5c16ab817bab8fee80c5cc4","datavalue":{"value":"1360.68322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985778$49E5E743-933C-4D7D-9E79-0F96AEA4977D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"287f782c4a4b85fa35013fd365c4e36212e94f19","datavalue":{"value":"10.1145/2951913.2951933","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985778$08B77494-F270-491B-AAAC-1B325C59D8A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4db996d04c31cf60b0d6f1dbaa6e0171d1c9f854","datavalue":{"value":{"entity-type":"item","numeric-id":2055656,"id":"Q2055656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985778$EB6FC0A6-40B2-4F8D-9D98-AE3535F8DD05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f7519cb4a1f2077b5761baeaf0abc45060a0b93","datavalue":{"value":{"entity-type":"item","numeric-id":636302,"id":"Q636302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985778$2D05BFE1-406C-4303-95C0-FFA6A2174A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19fabfa06536443b38e263e6eb9f1c99dcd7a5f0","datavalue":{"value":{"entity-type":"item","numeric-id":608344,"id":"Q608344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985778$4267F462-A889-44E5-8A7C-7C26F9306C3D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"423c52aacdf5e1820397bb95b30ee85c088ba9ab","datavalue":{"value":{"entity-type":"item","numeric-id":2981996,"id":"Q2981996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985778$207078C8-9DE0-4BE9-98CD-8E0125634DEB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81927d6a17a89da4e5bba03bf491f09d50a9b6e5","datavalue":{"value":{"time":"+2017-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2985778$F28A1781-48BE-41F3-B3F6-5FBDD2CE4779","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd70be1baad95942e1c57fe2b704846f6c11f019","datavalue":{"value":"https://hal.inria.fr/hal-01328012/file/main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2985778$D9AD2B17-89A7-4A7E-9263-CA5FD0B8DD18","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985778$08AFF261-AE32-4063-9DDF-BADB762F0DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985778$969A6CD1-1EF3-49B5-B013-037A59BAF096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985778$CC27EA80-27EA-46A5-B7C4-90FEFF8F862B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc4135369fe124e7a29b04d37037042a06d2b00e","datavalue":{"value":"6713912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985778$2579E274-4CA5-4F95-A810-2C3D0435B56C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985778$C161F03F-E68D-4C9D-9D89-C8BE1CD6A9A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c66e4ac2c588347a1304e6f3e85ffc4b0dd9dc3","datavalue":{"value":"interoperability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985778$1B0439A8-669B-49E7-87D3-F14B55A92B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92c1fead516fc4f6033e20240a115cf4c45e47b0","datavalue":{"value":"type equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985778$17811BA8-519B-4C85-A68A-D7178F6B9CAD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985778$E742B642-1E00-4138-BEB0-84212D40CA87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985778$7F3CC68A-F3C4-4AB7-AFFC-2D27474668D7","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":"Q2985778$8183A4F8-2018-4A05-A42C-F2EDDC1FDF72","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66fd3754cf290c51221c0c33e9c927200dac9a48","datavalue":{"value":"W2413556709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985778$EBB518EB-4F3F-4E6B-8092-3A411C24507C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a16a5f952fe65580ad3102001ed35bf577f03a9a","datavalue":{"value":{"entity-type":"item","numeric-id":5028472,"id":"Q5028472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8fbecc4aa13208d6ba540054c5318f1c17effd7","datavalue":{"value":{"amount":"+0.90191436","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":"Q2985778$F16F5EA3-53B3-4534-95AE-87E9F70E671F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"968ef3c413e5fe02e2d496a820a84be2c7737a1a","datavalue":{"value":{"entity-type":"item","numeric-id":5255080,"id":"Q5255080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85f2da6da4885a00b081950a6f138a1440c40395","datavalue":{"value":{"amount":"+0.896311","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":"Q2985778$1E75AB1A-FF52-402B-8C3B-1E39969EC526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"357860675d9d6383009814e1650bf925597a610f","datavalue":{"value":{"entity-type":"item","numeric-id":4819651,"id":"Q4819651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d48f9ec5a3a403f56bae4ecad199cb7473a86d3e","datavalue":{"value":{"amount":"+0.8942539","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":"Q2985778$AAD67B11-F222-4082-8B92-48B2BB4130F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"187b62627e66cd358a52ec0d56e639fc73eeacc8","datavalue":{"value":{"entity-type":"item","numeric-id":4025341,"id":"Q4025341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e7edd56ca65f63c924c683944056d2eb6734d80","datavalue":{"value":{"amount":"+0.87954026","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":"Q2985778$69A5EEFE-44E3-4371-8348-32B684CD54FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86bea99bbd335ec94d0c8641b69db1379424561a","datavalue":{"value":{"entity-type":"item","numeric-id":5019020,"id":"Q5019020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a00a0824808d54a453e67c0a725040db4bd8711","datavalue":{"value":{"amount":"+0.87272906","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":"Q2985778$136B6242-AA09-4453-BE99-2959A5261108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfcf2f7e6ea0d096df2029e3a1171030d146db32","datavalue":{"value":{"entity-type":"item","numeric-id":4849649,"id":"Q4849649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91fae641f8142477522b9e17d3333a6a6e50acb1","datavalue":{"value":{"amount":"+0.8710396","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":"Q2985778$BD493A1D-1B0C-4DC9-BD88-BC2AF86F7D78","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2985778","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2985778"}}}}}