{"entities":{"Q2938771":{"pageid":2949491,"ns":120,"title":"Item:Q2938771","lastrevid":58078560,"modified":"2026-04-03T17:28:54Z","type":"item","id":"Q2938771","labels":{"en":{"language":"en","value":"Global semantic typing for inductive and coinductive computing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6386957"}},"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":"Q2938771$0BC08097-6286-4FF8-869E-014917F4D62F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5bbd9e8df7d4bf8191bed64e69701932838f703","datavalue":{"value":{"text":"Global semantic typing for inductive and coinductive computing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2938771$51A1D639-7281-45F9-9B85-4E00BEEFC137","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c9e90a533becdf349980aa50459b0501e5948b7","datavalue":{"value":"1356.03073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938771$1C69327F-B82F-45AC-9A80-69E3CFCC6876","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"40935614d49389f52077acfe4f1db6af99a7c5e1","datavalue":{"value":"10.2168/LMCS-10(4:18)2014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938771$B7ACDB59-D019-4D25-B030-106BDD735CE2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96a79d9e749e94f65576b1899e96905ca07e98e1","datavalue":{"value":{"entity-type":"item","numeric-id":234593,"id":"Q234593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938771$1737F917-154B-4A83-96C9-0DC95C71E27C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938771$42A9A6EE-3BFB-4184-BB76-61C2835EF9A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"335462bcdc617573e4ae73f7b94853be1e60308d","datavalue":{"value":{"time":"+2015-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2938771$053A022E-F05A-444D-A106-7E26F7B1DD22","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7015a6ef8d253a9e7b3cc25b7602539d7a47560b","datavalue":{"value":"https://arxiv.org/abs/1312.6323","type":"string"},"datatype":"url"},"type":"statement","id":"Q2938771$894809BB-C7D4-4CD8-8230-4B22C6E7C50A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938771$C714D3C0-A006-4772-AC7E-C0CE7C9BA758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938771$079F8F20-9488-4AB4-85DF-9E770A945B47","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51ce9bb4e58c4f74888bcd30d7d40162e2c797dc","datavalue":{"value":"6386957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938771$2981D17C-88EF-4767-A794-8877570A0DD9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e1202fa4aaeffc809043c1d94983ad89396bca2","datavalue":{"value":"inductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938771$377C89C9-238B-4A6A-8F69-F82754A5BDD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0aec078788f97936bc6f63bf4e3ce60ecba5c3dd","datavalue":{"value":"coinductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938771$6668C990-7480-4994-B71B-F7D8890EFC67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf4dd80392bf1ad39c89cbe63b4e820ce07b56ee","datavalue":{"value":"equational programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938771$877BCEF4-5DFF-4AD2-BEE2-C0FD0C4233D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0207ca3900dcecadda3cd2b1a144d3a3e6bc57e4","datavalue":{"value":"intrinsic theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938771$26BAAEA5-3503-4481-8488-3517EC5157D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"745bdf33ab2c0d25667a80bdd8180d3ab1630a17","datavalue":{"value":"global model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938771$AEA176F8-EAE4-4B84-AA84-0C6FE732C515","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":"Q2938771$1378BFBE-6F5D-497B-99BA-FC5626421DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"db773f0783d22fb6bffa08127db508527f4adb91","datavalue":{"value":{"entity-type":"item","numeric-id":24995,"id":"Q24995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938771$5301E11F-2E2C-4309-90A8-D883177A075A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cba2f313ea2959f110ac642e1b84e6e89a9f1c6b","datavalue":{"value":{"entity-type":"item","numeric-id":14779,"id":"Q14779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938771$9780860D-26BE-499E-A897-BB5812BCE57E","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":"Q2938771$FE9FC8F6-C309-4A08-B312-3CC0AE025EAE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ef8f86dcaa11613acd35ac2cd9f34ee82d3fcb3c","datavalue":{"value":"W1541966923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938771$071FFFEC-09E6-4D71-BB74-3DFDD35433FD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e013c61a7e4b18226e0216f5d948c0b5314bfe30","datavalue":{"value":{"entity-type":"item","numeric-id":2958539,"id":"Q2958539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b892889c298dddbebf08bef789b1168bb2963bf","datavalue":{"value":{"amount":"+0.9224178791046144","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":"Q2938771$0B6F93F6-2869-4C01-A742-5E3E963F941B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aa5b039342e856cd778c6e78906b3479600b1be","datavalue":{"value":{"entity-type":"item","numeric-id":3075213,"id":"Q3075213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbb96921c232ec55b3e7d24c740ef4a0eee85a3c","datavalue":{"value":{"amount":"+0.735307514667511","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":"Q2938771$6E2B458B-E27C-42A8-AB2C-ED877B519B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f6f4914cfd704d6ad9feca7c791b1fcae893d1f","datavalue":{"value":{"entity-type":"item","numeric-id":2917339,"id":"Q2917339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fc9505d5be2841a2353a5f2fb4369305c886f95","datavalue":{"value":{"amount":"+0.7294700741767883","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":"Q2938771$E5084580-87A0-49AC-A65B-0EF63E039AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf00f5c73a14d206e0dbdd2b0ce7ffafc7926df9","datavalue":{"value":{"entity-type":"item","numeric-id":2817688,"id":"Q2817688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b59e8f810e2d5afea09afd2eec653576c3c2f9f","datavalue":{"value":{"amount":"+0.7282141447067261","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":"Q2938771$1C14B0AF-6FC1-44F8-BD3A-99E43BFB5E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"450502b4ed1edc57a3ccb2a6ec0ff8ee510afe17","datavalue":{"value":{"entity-type":"item","numeric-id":2754033,"id":"Q2754033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"035ab632c7f843c10464a97b189fba7db6c71967","datavalue":{"value":{"amount":"+0.7265878319740295","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":"Q2938771$66613A02-009A-4F09-849C-F0FB62BFE483","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2938771","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2938771"}}}}}