{"entities":{"Q3188297":{"pageid":3199005,"ns":120,"title":"Item:Q3188297","lastrevid":52603052,"modified":"2026-01-23T02:09:48Z","type":"item","id":"Q3188297","labels":{"en":{"language":"en","value":"The recursive union of some gradual types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6617701"}},"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":"Q3188297$2012B574-AB90-4278-B273-4771F73AEEC1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7525a7b5f5b0437d03611027129b677c4605410a","datavalue":{"value":{"text":"The Recursive Union of Some Gradual Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3188297$90021BD2-D9A4-407A-8D7A-AFD27F4AB84E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e771d504a3e65c6e2a14d06f88d4c7a3a43ac035","datavalue":{"value":"1343.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188297$38D09F71-9349-426E-8F7F-EB0DFCAB4809","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04427e4de1429b77b2ff9fbb0ba21e2922f8720b","datavalue":{"value":"10.1007/978-3-319-30936-1_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188297$14979349-22B4-4452-B8CB-334621BF73CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa4e1d5a7999a316ec4d8e4d1d121dc2f939f7cc","datavalue":{"value":{"entity-type":"item","numeric-id":532407,"id":"Q532407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188297$8D0433BA-75A6-43FE-BDCA-D799B4D1F8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"857f47005d5cd088f15dcdea31478d1f48895b38","datavalue":{"value":{"entity-type":"item","numeric-id":2802445,"id":"Q2802445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188297$DC63D791-23FB-4205-972B-007D02DAE970","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"30b138afa210da55cb9a06d15cf92f19c3ffcf7b","datavalue":{"value":{"entity-type":"item","numeric-id":3188277,"id":"Q3188277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188297$959A1E0B-6458-4984-8461-00BD37A06B6B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3196c5237bc6566da6820e6255a2cd27163ff7fd","datavalue":{"value":{"time":"+2016-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3188297$7717463E-3C17-4413-9416-B94A11969366","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188297$AF76DCCA-27B7-410D-8B88-8F25FE04BD81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188297$C8A20D44-A878-460E-BD72-7C4BCE597A29","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c13afa30ab4f8f6f43c1e1683b6b5eb0a130046e","datavalue":{"value":"6617701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188297$E35AFF68-5DC0-4DE1-AD6E-331093072EF0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"65003e806d0207901b47e38b13875ab3442abde1","datavalue":{"value":{"entity-type":"item","numeric-id":33504,"id":"Q33504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188297$663C1392-F76E-4705-8692-E8A53653D257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8d6df1bc2053b44a36753055f5c2a7ce9fac4809","datavalue":{"value":{"entity-type":"item","numeric-id":31821,"id":"Q31821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188297$588C5467-9ABC-4147-9852-8761FA081016","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":"Q3188297$B98D7EB8-4488-4CF4-A553-C4C2143208E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be749a18e08882f6c79b8ac30e62c42ec84c1a23","datavalue":{"value":"https://doi.org/10.1007/978-3-319-30936-1_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q3188297$5CD06D6E-20C3-434F-97C7-77B42930B3F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6c53583525432d8cf8b84d1cc28fcf90f583d37f","datavalue":{"value":"W2503601755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188297$E513D8E6-33A9-4446-BAAB-87229448ABCD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"99d56ed87d745dd969300711ec6283444dad4ce1","datavalue":{"value":{"entity-type":"item","numeric-id":3837984,"id":"Q3837984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188297$14D48444-D5B8-4CC2-AF8E-B832CEF954F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3f70f461e5fd550a8cdf56ff8b853a481610607","datavalue":{"value":{"entity-type":"item","numeric-id":5408397,"id":"Q5408397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188297$9069F3FF-47DC-4187-B4EF-DA7A60B85A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ce32b195ef56223eae35abc6fe1194e800bb9f4","datavalue":{"value":{"entity-type":"item","numeric-id":2828289,"id":"Q2828289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188297$56AFBFF3-279E-4C2A-8C9F-C8DCEBA081E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dbdadc2f831ecaaf8965dee386f688025216c37","datavalue":{"value":{"entity-type":"item","numeric-id":3452185,"id":"Q3452185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188297$BC60DB05-8C63-4793-B642-A373C57658EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b88e260db34f519c1460bc034e109bb9ee84bd5a","datavalue":{"value":{"entity-type":"item","numeric-id":1280731,"id":"Q1280731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188297$A477998C-7CE8-46E4-A8CA-67870EAC7ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188297$F302132B-9D75-400F-9E41-DE2CFCCF2D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dccdbb6fa19cb81346a7b093ebc4768c7c2f275","datavalue":{"value":{"entity-type":"item","numeric-id":3189858,"id":"Q3189858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188297$0F9AF9E0-C2B4-4231-8DA3-83ECF6055953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54bfe5f886cf67d2be2ca7adb1005b48688943ba","datavalue":{"value":{"entity-type":"item","numeric-id":5176933,"id":"Q5176933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188297$0933DA11-B243-41EB-A7E1-11C3A03EF643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d5e321125e7ed6355f7ecbec45d08a812f00436","datavalue":{"value":{"entity-type":"item","numeric-id":5311273,"id":"Q5311273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188297$65FC64D3-7A18-406E-B70D-0B75C242B7DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e7c029f60dd8fb863b45f48e88e0f72112f016b","datavalue":{"value":{"entity-type":"item","numeric-id":3617686,"id":"Q3617686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188297$021746DD-50D0-47D4-84CF-B51A07A047AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0b060ffc3333c7abdd32b45dfc21007f54dfe9c","datavalue":{"value":{"entity-type":"item","numeric-id":5233253,"id":"Q5233253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8eedcf86eb156621df035a54e2f735fb405005ed","datavalue":{"value":{"amount":"+0.8177168369293213","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":"Q3188297$7E1B8E0B-1442-4A1C-A1EA-88FD8D3084C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d16cb9f0af4d15cf3bb572b022fc0d467b7e3e0","datavalue":{"value":{"entity-type":"item","numeric-id":4281478,"id":"Q4281478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d46f40213174a444b7620111721eb3e4c218aeb","datavalue":{"value":{"amount":"+0.7740938663482666","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":"Q3188297$8F47A448-BCF6-45AB-B379-C46BE0FD4EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92d64bbcda4737c46f7a108b315f6e23e47e3953","datavalue":{"value":{"entity-type":"item","numeric-id":4835619,"id":"Q4835619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be71cd7ef0642fbee3080392ed7c26fa825e98a4","datavalue":{"value":{"amount":"+0.7721512317657471","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":"Q3188297$C3D01CF2-3353-4567-854B-2637DD050F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d562c7168370a90bfa8dfd3309d82801b7bf975f","datavalue":{"value":{"entity-type":"item","numeric-id":5019016,"id":"Q5019016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"219bc1ba9d7488105cdd6dfc3797a24600f2d37c","datavalue":{"value":{"amount":"+0.7502102255821228","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":"Q3188297$BF5FE992-6006-4049-AA51-304097A3FF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e6831d7d5fc7e9cdb78d0d829af808072af0ed9","datavalue":{"value":{"entity-type":"item","numeric-id":4490756,"id":"Q4490756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c64532df695572385f577c485973e42632e6f33","datavalue":{"value":{"amount":"+0.7475469708442688","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":"Q3188297$36D8BACC-3FEA-4C79-A473-88172FCE5B4C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3188297","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3188297"}}}}}