{"entities":{"Q5740347":{"pageid":7769899,"ns":120,"title":"Item:Q5740347","lastrevid":52581005,"modified":"2026-01-23T00:56:43Z","type":"item","id":"Q5740347","labels":{"en":{"language":"en","value":"An operational domain-theoretic treatment of recursive types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6606264"}},"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":"Q5740347$20B97214-7950-463D-95AB-888900BB0BEF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ee107dc09c3fec29d12ac16c52f1f196dc5b2d0","datavalue":{"value":{"text":"An operational domain-theoretic treatment of recursive types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5740347$C034AE6D-B960-4258-BD52-E429C5D2BB11","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d5a78db9331f8577bd2590fb28543a164796144","datavalue":{"value":"1342.68197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740347$BA9181BA-E70C-498D-9482-A6AD4B701D31","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64efc54ab2a409cd40a09fe78f2590dc163709c4","datavalue":{"value":"10.1017/S0960129512001004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740347$96A9B2F7-1ACC-471D-AB29-120C10520284","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b9eacbbaec5e7af888d1eef3f5f429071bf163a","datavalue":{"value":{"entity-type":"item","numeric-id":276428,"id":"Q276428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740347$99FCDA68-061E-497D-A741-44E7982F5E58","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":"Q5740347$46456F72-E314-41BF-8633-D685820482E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1f68c40e94bd0774ffce1c64b5329d163d095033","datavalue":{"value":{"time":"+2016-07-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5740347$C4EFC984-869C-4588-9BC8-4DF153FAB7D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740347$7962BE81-7D01-447E-8D5A-2EA47EF295D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740347$79093BBD-CBAA-4B44-BAC2-5892D1A3C2C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"609ee8271e007da43ba47363b15bb0c29191e9df","datavalue":{"value":"6606264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740347$D92BBBE2-D501-4DE7-A0E9-5D94AEDEFD79","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":"Q5740347$A35C5A55-D032-4DC9-90C0-C790724B930B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740347$AA31DD26-8383-4D12-8516-9F1D269BDFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740347$2B204D39-2FEC-4B25-907D-F73FD73D8690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef8e8a1bd6a36d7048ab6f3cc2d1559d18184388","datavalue":{"value":{"entity-type":"item","numeric-id":1917068,"id":"Q1917068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740347$C590915E-3FB8-426D-88F3-46EA4D09D5AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740347$AD1A384E-09DA-499B-8C86-E88B26C59DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68e3697952a379e5dc856805691deee313dd3520","datavalue":{"value":{"entity-type":"item","numeric-id":1152949,"id":"Q1152949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740347$67530456-3736-4383-935C-3B28945DEAFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67862cc59add380e2445074c96a3a25018551f07","datavalue":{"value":{"entity-type":"item","numeric-id":1013087,"id":"Q1013087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740347$7F1E9802-F26D-402E-AA90-1E54592129E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4be3aef3b4531206743b7d3fe3ab9f28a62a4627","datavalue":{"value":{"entity-type":"item","numeric-id":1854316,"id":"Q1854316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740347$7E08C3F4-5865-40E1-9451-29A4846C1C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740347$F7020A89-94AE-4E76-8F71-04266429187C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"800821874c84e7d628c87230f35da15ef2885b6f","datavalue":{"value":{"entity-type":"item","numeric-id":1923093,"id":"Q1923093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740347$E3844EDE-737E-47B9-AE12-DF28288E193A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"269ff406370c325109d52f6c13685628097c8071","datavalue":{"value":{"entity-type":"item","numeric-id":1854351,"id":"Q1854351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740347$A53A37EB-2045-47D3-A3FD-99D5624FA7FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"227e13427c7bf9b6df48be0946b9c623a8e8a3bf","datavalue":{"value":{"entity-type":"item","numeric-id":1923089,"id":"Q1923089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740347$EF74D63F-A9D9-473B-B8AD-9D5CEB62531C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c89126a6e148835b3d653a7e25dddedb91058ed","datavalue":{"value":{"entity-type":"item","numeric-id":2851325,"id":"Q2851325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd4808b5a22e6f36ccaa7384624891b0b38c6a1a","datavalue":{"value":{"amount":"+0.9585888385772704","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":"Q5740347$25233EF6-6FDC-40C6-B8B4-3876B74DCFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2e58229d9b206221dd94e973d6aaf489d181ded","datavalue":{"value":{"entity-type":"item","numeric-id":1854316,"id":"Q1854316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70803ea536720512b537537eba6979491fddac2a","datavalue":{"value":{"amount":"+0.7700749635696411","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":"Q5740347$11C050D0-2B17-4925-B733-ACA75266F269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a0f406c7ec449f83643798dddf96a18d926710e","datavalue":{"value":{"entity-type":"item","numeric-id":1013087,"id":"Q1013087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c5b2c6d7b52ba65116f03a0a4326177a4f5dff8","datavalue":{"value":{"amount":"+0.7585586905479431","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":"Q5740347$1DAA27E7-184C-4723-AA00-0FD166B16C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7d2be5e8001456df81c9b7e5b8f71c7039e924e","datavalue":{"value":{"entity-type":"item","numeric-id":1923089,"id":"Q1923089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e41719f1cfcda7c2d493ebb489af1cf2b334ef8d","datavalue":{"value":{"amount":"+0.7583098411560059","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":"Q5740347$D8FD26A7-5E41-4A08-AD0A-FA5B2CB380C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"395a3be3ec7a1b2fef13f4186bc303ac5b1d182c","datavalue":{"value":{"entity-type":"item","numeric-id":3972839,"id":"Q3972839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14f76929a220b953b2707f640f0b860823d6f62d","datavalue":{"value":{"amount":"+0.747029721736908","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":"Q5740347$37468E11-417B-4B70-A859-F587278DBF3A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5740347","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5740347"}}}}}