{"entities":{"Q2974666":{"pageid":2985391,"ns":120,"title":"Item:Q2974666","lastrevid":58089165,"modified":"2026-04-03T18:29:51Z","type":"item","id":"Q2974666","labels":{"en":{"language":"en","value":"A coinductive approach to computing with compact sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6703804"}},"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":"Q2974666$C1A11CA0-E474-478F-BE5D-6D2B4A7FF996","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f15914ead9dd5f9866ad89d1ef1d6eb750c56e8","datavalue":{"value":{"text":"A coinductive approach to computing with compact sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2974666$9CAE5D84-88DC-4523-B70C-07B414340158","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6d9b5156ec89f170d4f58e43ef46fd22c65519b","datavalue":{"value":"1396.03085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974666$48AC0686-3D5C-4371-A40D-DCC822020AA5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56802c23e662b5a0028381459762dce10bc420a6","datavalue":{"value":{"entity-type":"item","numeric-id":234584,"id":"Q234584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974666$C7E1EDFE-27CC-4893-AFB3-099BE931D0D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"82b1b744ece9c7e2a025b6f03ab954d3ff7eeb47","datavalue":{"value":{"entity-type":"item","numeric-id":582907,"id":"Q582907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974666$578A88CB-669C-47E0-94F0-02A6D724A878","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"33fa00db87827c11724d8a1355500a9a7034d47b","datavalue":{"value":{"entity-type":"item","numeric-id":2930865,"id":"Q2930865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974666$FAD92741-0DB8-4185-8D43-3E5642E90CE0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c018a10501084d0b87c78551bc55b3f7e17eb53","datavalue":{"value":{"time":"+2017-04-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":"Q2974666$91867F73-2A3C-485D-A95C-3DB1B2B8EB1A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d1153673b61e9b4c2e08df5311834c8b037e2ae","datavalue":{"value":"https://arxiv.org/abs/1510.08498","type":"string"},"datatype":"url"},"type":"statement","id":"Q2974666$18EE8859-4815-400D-8855-2EA2A86FCB83","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d21a69e3457646e46a9bbf0d57100c034be8348f","datavalue":{"value":"03D78","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974666$6FECA43A-E7CF-4103-8348-32F16A1BAC06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974666$8E62475E-4CEA-4837-B9D9-7220453F4679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974666$D9A84CC4-9F06-4046-8EFA-825F41BF9345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974666$4D8FBE94-9FFE-47D0-86C8-5EC65A8D2EE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf1dd2c9339242e5508e379940f180cdd8ac0801","datavalue":{"value":"6703804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974666$62F016CB-3A50-42A5-9571-8247DD7ED18F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a96860261afab88486624af0939a44f9aa584f","datavalue":{"value":"program extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2974666$9AF92DB1-BC6A-4012-B69B-9F26E8CD6AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b229ed9383ed2232d0f4aa93f4113d23427c959","datavalue":{"value":"exact real number computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2974666$E0F7E059-42EF-4D9B-AA67-CC5EB5966AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37b340e350a350d9f42d770adb79d181878bb933","datavalue":{"value":"computing with continuous objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q2974666$C7396DAA-2369-4D2A-9984-DBCCB8AC4447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52862bf577eba59e2b36d75922fcb2ab5640edf0","datavalue":{"value":"compact sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2974666$4910DE97-6F13-43BC-A32C-5F43D8DFA6EF","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":"Q2974666$FAC8FA85-4B27-4B4B-90F9-A1C397D7E414","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"919ae0dedf2121e7c0d8e8908d6868f364fc77df","datavalue":{"value":"W2275272255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974666$61854499-8453-4288-B110-44599D5C432F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1a6f624d18f30a5f0d10ddbf5c7485bde422b32","datavalue":{"value":"10.4115/JLA.2016.8.3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974666$867DD052-B02B-48C9-8ADD-0885E20D8F48","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98b8f8d931995eaca57c31014e4409fcbac4255c","datavalue":{"value":{"entity-type":"item","numeric-id":5898820,"id":"Q5898820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3619b73746dc1958b29e5b352d8c1aad529694a","datavalue":{"value":{"amount":"+0.87854844","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":"Q2974666$9A5D2ACD-20B1-4DE2-B335-05D9D98CE6C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"793d268335cb0310030c003f9a67cbb04ebc75e9","datavalue":{"value":{"entity-type":"item","numeric-id":5747648,"id":"Q5747648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff2e11fadf246822be750c07d68f998e40622e38","datavalue":{"value":{"amount":"+0.8781593","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":"Q2974666$DF16B295-4961-49E3-BEB0-B237D3547B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45259a692f704ff9fa5333f98fe9a1012f3def9b","datavalue":{"value":{"entity-type":"item","numeric-id":2362498,"id":"Q2362498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c44520ec13f5954eb5198e40d50eaa4f33d745c","datavalue":{"value":{"amount":"+0.8779759","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":"Q2974666$9707ED10-C756-45A8-9588-2B06F8E87332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"669e4f6b7c6a17581b7f49225e9acbe285fd3583","datavalue":{"value":{"entity-type":"item","numeric-id":4256307,"id":"Q4256307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43af7afd8de33ee2d108ad023660b7c9f2e0ceee","datavalue":{"value":{"amount":"+0.87738824","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":"Q2974666$992B6187-CE75-45CE-A7ED-47F792658C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5895909f08dffe5e66b154944876bc620cba737","datavalue":{"value":{"entity-type":"item","numeric-id":3822150,"id":"Q3822150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"481095eb067c8b5c4965f7d8bb82887881e6e28b","datavalue":{"value":{"amount":"+0.87659955","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":"Q2974666$6CA9E6AB-412D-4BBC-A69C-3D7FCC021B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4c033ebd208a435ababae29a46b63d7a7a5449f","datavalue":{"value":{"entity-type":"item","numeric-id":4884662,"id":"Q4884662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4bf6ddd21fc44efddd007e0376851512ee478a7","datavalue":{"value":{"amount":"+0.8748061","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":"Q2974666$BFBCD310-C32C-4C6B-8851-E6114E8A96AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64f3bd1ff5d06e991c5abb002d27b63e47835d85","datavalue":{"value":{"entity-type":"item","numeric-id":4992896,"id":"Q4992896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd759d57a4d5ad6425fb00565828410676bfc003","datavalue":{"value":{"amount":"+0.8707847","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":"Q2974666$B6A24152-A0B2-4189-9F58-641034417BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"322fa62bfc4b0e41dd5293214d1197d5378a96b6","datavalue":{"value":{"entity-type":"item","numeric-id":5505562,"id":"Q5505562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbadb3a014b1f6e118bda8244f3a3882443f8575","datavalue":{"value":{"amount":"+0.86705035","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":"Q2974666$9A2A1FF1-AA5C-4F2C-957A-BB2CD04C8F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10a741eaaefc4b6c9511128b172e95fabfaad68e","datavalue":{"value":{"entity-type":"item","numeric-id":3535608,"id":"Q3535608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebbf5a930ba4d14915eacb70cdfc79d4906ef426","datavalue":{"value":{"amount":"+0.8649652","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":"Q2974666$0CE1E51E-C464-49DA-9F32-276141975DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a44fcf9ad207465cc8a984ac59b3b79b43cfc3e4","datavalue":{"value":{"entity-type":"item","numeric-id":3984293,"id":"Q3984293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"470842fe8cc5a378926f6e0d1583cfc314bc17cd","datavalue":{"value":{"amount":"+0.8649598","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":"Q2974666$ADDF9461-00BB-48EB-8F28-8AC83F6DDE75","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974666$C08BB477-02DA-466B-BBBF-C3162459DF0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2974666","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2974666"}}}}}