{"entities":{"Q5156773":{"pageid":7186344,"ns":120,"title":"Item:Q5156773","lastrevid":55391050,"modified":"2026-02-17T15:19:36Z","type":"item","id":"Q5156773","labels":{"en":{"language":"en","value":"Computing with continuous objects: a uniform co-inductive approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7408499"}},"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":"Q5156773$9623BE38-E770-46DA-B422-415598B036F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b06af7393a0dacf0247395854a6dbd2379243b34","datavalue":{"value":{"text":"Computing with continuous objects: a uniform co-inductive approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5156773$2A6649F4-DEB8-41A8-B7B2-5A31A61E5AEE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b49cbad860d6eb3db8f91504021dc241970ba04c","datavalue":{"value":"10.1017/S0960129521000116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5156773$89B8ED51-5880-4755-9464-927171CFB937","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156773$3E48A9C4-7A48-41FE-B109-AC4541543C1B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19503fdb9f610cd0af6e4046a14c0dee873d3c68","datavalue":{"value":{"time":"+2021-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5156773$B1680F48-5C85-4C00-95FB-7D9BF04F5ADC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5bb988656b13a9f550eb4ded56cb6f82285ddc0","datavalue":{"value":"https://arxiv.org/abs/2004.05392","type":"string"},"datatype":"url"},"type":"statement","id":"Q5156773$E0AD8FF7-C7B3-4F49-8A63-B90593E62512","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d21a69e3457646e46a9bbf0d57100c034be8348f","datavalue":{"value":"03D78","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5156773$615C3ED3-8160-478A-8D3F-8EA17693F0A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e410b4762c89d07220e107055dbb31657f8d985","datavalue":{"value":"7408499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5156773$0F3A2882-9AE8-48A6-AB8B-0E2636288696","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1c8b748fdc019215a99133528e70491a123618d","datavalue":{"value":"computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156773$9B3C27D1-D649-429A-A1EB-5AB66346F1AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1208652446ac7ac31288ff99ba539bb269fa592b","datavalue":{"value":"iterative function system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156773$AEBF97CA-FD6C-4C1B-A593-AD8209A3041B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96a810129b114a6942442a7fc510c6873bd89ff8","datavalue":{"value":"topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156773$FDA1D1C8-DDC2-4323-BA22-19B02B59EBCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3785e4a86fc7d3f749586fd3865cece2129b80e","datavalue":{"value":"compact set","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156773$D0E98F19-F0BD-4978-919C-BAA31BA7D5DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa684c7f6e1bb60ad233e1f97d22758f867bf3e5","datavalue":{"value":"inductive/co-inductive definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156773$BEE7C349-4FD3-4EB5-A201-B7F6EE62A001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a96860261afab88486624af0939a44f9aa584f","datavalue":{"value":"program extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156773$AE867D43-9687-41BA-8B5D-5C0BE066398C","rank":"normal"}],"P16":[{"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":"Q5156773$2C05FD73-7114-4822-998C-29AF5A8B859B","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":"Q5156773$119F4BD1-1665-4565-A015-3FE7CF46BAD2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5ba4898077d7b269de7aceafb8ea43a2729a9a9","datavalue":{"value":{"entity-type":"item","numeric-id":3324260,"id":"Q3324260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156773$B0F51A11-9888-4896-8809-5EA819E711E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9fdef77660e527dbc345236f7aa4730fa26f001","datavalue":{"value":{"entity-type":"item","numeric-id":5905479,"id":"Q5905479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156773$FC4184E6-0900-435E-A587-F1A63C493D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62a030048fd25228ba76394cb44aa49fcd66764c","datavalue":{"value":{"entity-type":"item","numeric-id":2874856,"id":"Q2874856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156773$D63F3CA8-E867-4B72-8717-000AB5A5B9D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78397a6b6e42b69903bd088b28039405be6568a1","datavalue":{"value":{"entity-type":"item","numeric-id":3075213,"id":"Q3075213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156773$66FE6BA0-A65A-487E-91EB-6008894934D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b34b6a23082bddb50572b09dfeacb47466c62033","datavalue":{"value":{"entity-type":"item","numeric-id":3003309,"id":"Q3003309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156773$2268529F-3696-4D38-A12D-99635A362549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6002ecb414042659e38646fe1339e58d70bf52f2","datavalue":{"value":{"entity-type":"item","numeric-id":3576189,"id":"Q3576189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156773$22C78AB5-5946-4765-B74F-34BBBF91E2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cda2ddc5fe36d417e1b545916d52f21f86d4be","datavalue":{"value":{"entity-type":"item","numeric-id":693063,"id":"Q693063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156773$246C32FD-04C4-4808-A0B6-853C250A9112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cce8df566ab07a52d7e8b19ab30936b67bbf97f","datavalue":{"value":{"entity-type":"item","numeric-id":2974666,"id":"Q2974666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156773$70EC8BB9-3977-44A0-B98D-83DE7046E699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de8be793d43ccbcec7fd4c624e4436431c592807","datavalue":{"value":{"entity-type":"item","numeric-id":2220485,"id":"Q2220485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156773$012D103F-22E1-4531-B44A-CD3604652C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e9571d442c3ec44fc309bb00bc9302631e9931d","datavalue":{"value":{"entity-type":"item","numeric-id":1427773,"id":"Q1427773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156773$D18F793A-3DAF-461E-A688-3A8ADC678E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"947ff4f1467bd12728eb045254844c67b3ca5950","datavalue":{"value":{"entity-type":"item","numeric-id":817858,"id":"Q817858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156773$DD1AA659-3F4A-4103-8FBA-BAC3A6E692EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adcf6893c63dabb8b8f94071f9c457088f68923","datavalue":{"value":{"entity-type":"item","numeric-id":1917075,"id":"Q1917075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156773$7493B80A-C56E-4CA5-8BE7-0348B75C25AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d5fcbceeee9b607f3b8d5e4275e1fcddda82061","datavalue":{"value":{"entity-type":"item","numeric-id":4813225,"id":"Q4813225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156773$D32FAF38-3863-42B0-B45E-719E45027EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b24c55fd9aae0a53fe4df2d340bc389c3aed8af","datavalue":{"value":{"entity-type":"item","numeric-id":1274807,"id":"Q1274807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156773$5D14FC56-7251-4CE1-ADC7-26327BA0C080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f2aa622352fb97e57ea51d03b3e786ff3386623","datavalue":{"value":{"entity-type":"item","numeric-id":3994935,"id":"Q3994935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156773$0A3B48C9-0BFC-4B65-B6C4-9BABE715230D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05a95392975f3ed4625c78f2400a066f29eb5432","datavalue":{"value":{"entity-type":"item","numeric-id":3731958,"id":"Q3731958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156773$37245694-C811-477C-A5E5-4D94DE51A753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41f17e324c8812d6f85456700e7eac55b0a5769a","datavalue":{"value":{"entity-type":"item","numeric-id":5939015,"id":"Q5939015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156773$BE332A7A-8867-4225-97D0-B14A515FC2AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db9072178b07ddd7a47fa01eb6f37c46affc8ad","datavalue":{"value":{"entity-type":"item","numeric-id":3220809,"id":"Q3220809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156773$1830DEDE-1499-4E94-932C-F58C27277114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"312dcbdb4361e8755d36bb4d2280c7a2a7cea28b","datavalue":{"value":{"entity-type":"item","numeric-id":2373708,"id":"Q2373708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156773$C22221CA-D676-4824-AF50-D0AD71CA9936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16a9d5d87ef023df4f1d55709b29268b24bc809a","datavalue":{"value":{"entity-type":"item","numeric-id":4485837,"id":"Q4485837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156773$418ED8AC-952D-4B0C-AA1A-0BF4C129A2E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156773$B5C4B96D-B9CC-404C-AAE8-4CA8F0B5C93F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"334057c9297d6a0878784b79f130fef6a1b466a8","datavalue":{"value":{"entity-type":"item","numeric-id":3110202,"id":"Q3110202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156773$120FB455-726C-47A7-9F68-3FDF1B4EAD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e1863bf90e401334cfbacb6c47a168307202e36","datavalue":{"value":{"entity-type":"item","numeric-id":5415647,"id":"Q5415647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156773$C5F0A600-7A33-40E4-ABE5-9401094F30B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845e004f1af40a576624071e73fa924df0213321","datavalue":{"value":{"entity-type":"item","numeric-id":1607300,"id":"Q1607300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156773$6A21552B-115B-483A-9C94-594C958F00E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e8a62cd46463c62f9ff883109d60c4695ebc92","datavalue":{"value":{"entity-type":"item","numeric-id":4485693,"id":"Q4485693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156773$75C205C0-251E-4F22-88DA-A156B1F7A0A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"670ed79a1854f8e502aa938ab4b1645b02a2e895","datavalue":{"value":{"entity-type":"item","numeric-id":5605131,"id":"Q5605131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156773$DC9207DB-4B3A-4764-933C-FBB29662EC03","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3428661f1d6ed84000872ea0831a127d13c3ba44","datavalue":{"value":{"entity-type":"item","numeric-id":2974666,"id":"Q2974666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23f2d59acba11cc131df5f67558eb168b90bfc50","datavalue":{"value":{"amount":"+0.8189433813095093","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":"Q5156773$B9B4774C-0613-4354-8D4D-7FE23D0B401D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d97cb94e392302237f2f3a394c50c071b2af711c","datavalue":{"value":{"entity-type":"item","numeric-id":3644745,"id":"Q3644745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30aeba7198e6ab1a930ff119772ddc3f9beff65c","datavalue":{"value":{"amount":"+0.8019757866859436","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":"Q5156773$DC5BB76E-E223-458B-BF66-5DC96392171D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da37791c9e2e732ecd85d3ecc7996e5b3bfc227e","datavalue":{"value":{"entity-type":"item","numeric-id":3003309,"id":"Q3003309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cba2479cb8ca8aa1f83c385639afbc7320c2349c","datavalue":{"value":{"amount":"+0.7994880080223083","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":"Q5156773$514DF6E4-807A-4672-BC4C-8691787875F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da9c71099e1c408567d56c1b9f9489c73500cc55","datavalue":{"value":{"entity-type":"item","numeric-id":4989411,"id":"Q4989411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccc9463a3b7d56fbe7d7767d847f035598ca31e0","datavalue":{"value":{"amount":"+0.76240074634552","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":"Q5156773$852307F7-9D13-4F79-9602-52ECDFF27CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f55c26b0be4c18dfb1a4ec4b95e3dddfcd44063","datavalue":{"value":{"entity-type":"item","numeric-id":3722498,"id":"Q3722498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be9e55e832a5fe33b7cd36afa96f926744ec6626","datavalue":{"value":{"amount":"+0.7611022591590881","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":"Q5156773$E13A6DC8-BE96-493D-B420-A77F05449CA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5156773","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5156773"}}}}}