{"entities":{"Q3408131":{"pageid":3418834,"ns":120,"title":"Item:Q3408131","lastrevid":88441385,"modified":"2026-06-04T14:31:57Z","type":"item","id":"Q3408131","labels":{"en":{"language":"en","value":"Imperative object-based calculi in co-inductive type theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5674820"}},"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":"Q3408131$C7CE2D31-B826-4245-8B6C-4AF1658F3604","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf115ccba289af48a6eea7f7f8ba591d8c4d1486","datavalue":{"value":"1273.03105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3408131$64335D28-EB2B-4171-A20E-E4E61D31744D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d71615fb71a3a07e792b53a1795eab8ac6d26f1d","datavalue":{"value":{"entity-type":"item","numeric-id":817856,"id":"Q817856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3408131$261C5286-0753-4437-8B2F-26A8CF94F1D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84b1829080916ca34a6287f584b653442826b5b3","datavalue":{"value":{"entity-type":"item","numeric-id":930883,"id":"Q930883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3408131$3CD25EBC-CB35-40AE-A103-504EFB22EDD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"980feb4557ce980fc3913fdc63a43f303f4040ab","datavalue":{"value":{"entity-type":"item","numeric-id":418840,"id":"Q418840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3408131$BD3E5938-4DF5-49AB-B1FC-070040926301","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cd58fa7916be1dadd68e97310e9b33bd528be1d","datavalue":{"value":{"time":"+2010-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3408131$98CDAAED-AB93-4505-B0E3-72ED64F0E7D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3408131$EBFFC4E0-F5D9-4AF0-A988-E85D1F5B3AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3408131$0AC211AD-626D-4EDD-A810-C016A441656E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c761d80ad2f1385f5265f3acddcaf4b5a28691f4","datavalue":{"value":"5674820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3408131$E82C4E7E-EB19-4116-990B-E8F798876268","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"acf62e8a70e4a3cf002b062d3c3bed8846887366","datavalue":{"value":{"entity-type":"item","numeric-id":15889,"id":"Q15889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3408131$7C616B2C-F96A-4E43-8E99-126F000F619E","rank":"normal"},{"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":"Q3408131$50D06691-3B8D-4970-8C57-833EE1915F48","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":"Q3408131$76E4A707-83FE-4BA0-AC8A-56E0C9B3A681","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12fc1a2577882518679baad3b0b179d171c5a0d5","datavalue":{"value":{"entity-type":"item","numeric-id":2642466,"id":"Q2642466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3956056d122aa5ea39d581bd4863d15465b26dcc","datavalue":{"value":{"amount":"+0.8834205865859985","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":"Q3408131$7A831FDE-FA94-4E6E-9002-2677FD0A3CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a83150e5716ce1338994c56aaab96846b1322a07","datavalue":{"value":{"entity-type":"item","numeric-id":3006157,"id":"Q3006157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e58c492dae78b05c75bc32ee926155c9020a1279","datavalue":{"value":{"amount":"+0.7740921378135681","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":"Q3408131$7C1B44CE-8ECF-42DE-9D2B-9AFBA984629B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"578695f4faba8f6499e3e19f159460bc2527c638","datavalue":{"value":{"entity-type":"item","numeric-id":701046,"id":"Q701046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79b6531f182d5e53b128f7dda4dce7246d66179e","datavalue":{"value":{"amount":"+0.7623346447944641","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":"Q3408131$11893658-563F-4A5E-A39B-4A837550CD46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e84fc8c5cab33d2083d03117616f62443327cb0c","datavalue":{"value":{"entity-type":"item","numeric-id":5096750,"id":"Q5096750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fdc97c86a3821bf404e07035c4b22316adf54a6","datavalue":{"value":{"amount":"+0.761294960975647","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":"Q3408131$0BA61189-4784-4F4D-9148-47CF5662580F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d137986f3dc22bc7b0d815cd3bc6f3b059425f28","datavalue":{"value":{"entity-type":"item","numeric-id":1589654,"id":"Q1589654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f2fbb8d0bd316b59706d45d29f8fbabdc8921c5","datavalue":{"value":{"amount":"+0.7441357374191284","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":"Q3408131$B5902502-ABE0-4D8D-AAE9-51BFC1B52728","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Imperative object-based calculi in co-inductive type theories","badges":[]}}}}}