{"entities":{"Q3988831":{"pageid":6018687,"ns":120,"title":"Item:Q3988831","lastrevid":47057326,"modified":"2025-12-31T13:13:25Z","type":"item","id":"Q3988831","labels":{"en":{"language":"en","value":"FAITHFUL IDEAL MODELS FOR RECURSIVE POLYMORPHIC TYPES"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 33226"}},"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":"Q3988831$172AC4D4-4AE5-4716-A2CA-77A082F10B09","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1735e22669fc0b1823c9e05666087e9bae574033","datavalue":{"value":{"text":"FAITHFUL IDEAL MODELS FOR RECURSIVE POLYMORPHIC TYPES","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3988831$92CDF41B-8BAB-478C-9BF4-BC527ACD2FFD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c411578ea3df48c59087cec442cb85eb476dd6ff","datavalue":{"value":"0741.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3988831$03016F4C-1AC2-48FF-A4ED-AACFAFA4579F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d916a7218e973883955872b0adc64877d7bcf66","datavalue":{"value":"10.1142/S0129054191000029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3988831$126FD135-29D4-4B43-9C46-E351DFE3D680","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7720f013cde2512621480147576e51273a4c701","datavalue":{"value":{"entity-type":"item","numeric-id":265786,"id":"Q265786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3988831$D794A111-644F-410E-B64D-A1582C73F25F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99eac199dd442a993b294694241ddae3fe5dfca6","datavalue":{"value":{"entity-type":"item","numeric-id":879362,"id":"Q879362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3988831$D6E0D21B-406C-40EF-84B6-F0F45421DBE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"387a3219b709013614b6a72c3083dc1a75c5189c","datavalue":{"value":{"entity-type":"item","numeric-id":371257,"id":"Q371257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3988831$029BF055-142C-4C37-A65F-75DDB3429628","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3988831$29DE1C82-91DE-4BAE-B8EC-6E7DB96FA042","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3988831$6362DC3F-155A-422F-A80A-E3C0264136AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3988831$4F2849A2-B344-4058-BC1A-26484582E7F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3988831$143A6F4F-80CF-4987-8384-BB6265A98F5D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"107dbf3c088ac0b910d0462fd549a26f88e4e813","datavalue":{"value":"33226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3988831$599C129C-A11A-4163-B453-CCCA6071DC1C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47bd69800ec9a3c8fdb3c483630a46ac282cb0d","datavalue":{"value":"polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3988831$0370401E-47F1-41FF-9A4E-80FD5839BC7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d81380493e73f973ea729135d1ad5620e22212f","datavalue":{"value":"recursive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3988831$02127A60-DC95-47EE-BEF3-BBDD162A63C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eca9ff896efb1e34d9da4dcb5b5b353e4c12f209","datavalue":{"value":"full abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3988831$8EC1F795-82B7-4B01-807D-029D2BB4A932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfc19fcadf63d5548906f3f01b182b6da6ae1fc8","datavalue":{"value":"ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3988831$5E531C52-0FED-475F-B25D-5A5942B4D3C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8080b3581e71f6add7367160a5449d2899161df7","datavalue":{"value":"metric models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3988831$FAFCAEE5-65BB-425F-A9BD-45ADFD984D44","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":"Q3988831$E3FFC0F0-BD22-482F-892C-72287EC3E656","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"20bebaf4d6c71f772bce5869e9c98a221705f017","datavalue":{"value":"https://doi.org/10.1142/s0129054191000029","type":"string"},"datatype":"url"},"type":"statement","id":"Q3988831$94810644-4FD1-4A5C-A0E5-6D2B1F7A0301","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8020e3f495367facaf896e7def3634ff93f8e35c","datavalue":{"value":"W2070429853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3988831$0BB0F59F-480B-4C4F-AA2B-75F95338B5BB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d42b13582039748547bca4af585df6c52a734c41","datavalue":{"value":{"entity-type":"item","numeric-id":3204052,"id":"Q3204052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"535671ead776548455f8dce302ff0f5d5bfff7c9","datavalue":{"value":{"amount":"+0.9992669820785522","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":"Q3988831$C9E1BE79-D25C-4B1F-B110-04FB83CA3D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba16a1ef22cef48b38519b54aa1446f63908cc9f","datavalue":{"value":{"entity-type":"item","numeric-id":3452249,"id":"Q3452249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7826901f69d540360ba2e6351062ff34960ba76d","datavalue":{"value":{"amount":"+0.8410471081733704","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":"Q3988831$232A21FF-8F24-4116-946E-5C775AC35805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b127bbc9a2d4e633096b4beaf899857fd7928300","datavalue":{"value":{"entity-type":"item","numeric-id":3776602,"id":"Q3776602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"886b88de7d5fad7a4eb4c20e2033f61d5d6b2150","datavalue":{"value":{"amount":"+0.8221465945243835","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":"Q3988831$AF765561-3C5A-44D2-9987-6445631BE689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"178bc87819fd267d8361ed460b2cc49c66665d06","datavalue":{"value":{"entity-type":"item","numeric-id":1349683,"id":"Q1349683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3526d8749c9558e4ffc5cecb2550e1dd75868e8","datavalue":{"value":{"amount":"+0.7200131416320801","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":"Q3988831$1B3EDFC5-50CD-4863-A77D-00743EF0A51C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2709ad7dde8c85e1ecf2ed3473615a93b5cefc9e","datavalue":{"value":{"entity-type":"item","numeric-id":1176245,"id":"Q1176245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61944439c90f430514cb916b3be57054541a42e8","datavalue":{"value":{"amount":"+0.719084620475769","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":"Q3988831$B3883CA4-FB6B-4CFF-9FBC-F6485A8DEB78","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3988831","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3988831"}}}}}