{"entities":{"Q1185015":{"pageid":1195764,"ns":120,"title":"Item:Q1185015","lastrevid":66791733,"modified":"2026-04-12T12:53:11Z","type":"item","id":"Q1185015","labels":{"en":{"language":"en","value":"Quantitative domains and infinitary algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 35444"}},"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":"Q1185015$919C59B5-FF68-42BE-A9CA-75AACC4E5F04","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ff000e81e13dc7c3e950682683511469cbf25fd","datavalue":{"value":{"text":"Quantitative domains and infinitary algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1185015$78315027-EE2E-4923-91F5-88DBE4A0A214","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c9e133322862fdef7d826514ef9ab5c8a66e6cf","datavalue":{"value":"0745.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185015$40BED804-78B5-41E5-8412-08FF8F78772F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28c0cc97d556d6b7f478802c3e7f5bd100e432ca","datavalue":{"value":"10.1016/0304-3975(92)90323-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185015$7F309CF5-FBC5-4EE3-826D-D0764DC8209B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e6c1c3409e6d83bd78c8052a50125837ef1c940","datavalue":{"value":{"entity-type":"item","numeric-id":280834,"id":"Q280834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185015$B4162A8A-267C-495F-ACD9-74EBEEF13EC7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185015$54BE41B1-6343-4393-80C1-F8C1B26ADDEA","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":"Q1185015$AA7BBFDF-84A2-4595-8F03-29DE586B6BC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185015$46A24705-21A0-462B-9113-43B1ADCBE773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185015$07873855-8E28-4636-8A22-D63B1633A4F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185015$DEEE3775-F28D-4D64-951D-2A236FA10A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b12e8f01f06133a9720445e365c6f83b034a7e4","datavalue":{"value":"08A65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185015$6E809692-FAB2-4EB9-BCB2-F4B330F848DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185015$CA8CD686-BDF6-4617-85DB-3E4F57147182","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54aba570e7643ca56d2d9142c3c90f588da960df","datavalue":{"value":"35444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185015$6CC59DA6-156B-4828-A53F-D6DE9A1FFD48","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ced5665202ad838a2b26e5c07283bb70811d2155","datavalue":{"value":"models of lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185015$AB38233C-D4C4-4DF3-AB74-7FA7349B14B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f1cf5fa46b4ce4bbd3a186bfe48981fa3624467","datavalue":{"value":"quantitative domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185015$50CB32C3-31E7-427F-9997-2E3F25715EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50d5ea4ddb9e1c4edea9219ea9527d12fac47f33","datavalue":{"value":"universal domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185015$396ECBD8-DCD9-424F-A309-CCBC670B0052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185015$F8A71812-49C5-4CF0-87DE-D73702E18EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fc83dac3afd95d78cccae5c0aa52309d05b8178","datavalue":{"value":"category of domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185015$9B590C11-C44B-4857-82AC-125B90E30CE1","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":"Q1185015$AE569FD6-0EA2-4816-BE29-F46437299644","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b64a15ee5b4e9ddf35f5e1b6d2d7f4ed993b4ea8","datavalue":{"value":"https://doi.org/10.1016/0304-3975(92)90323-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1185015$7C5FD38C-591E-402B-8C0B-39A52D971962","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d37abfb4c36caac155b00fc060bbf40ffbeb7a04","datavalue":{"value":"W2048626648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185015$F1C2CA33-B95F-492F-8D85-B738EE8037F4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b65e0aba9c9550d09b3aa23b24d834aac779a91","datavalue":{"value":{"entity-type":"item","numeric-id":1174593,"id":"Q1174593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185015$3A63C664-6686-4E02-BD38-D415E069530F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1e99f41142e6d56c13ef3a05fd3f9bb055e348","datavalue":{"value":{"entity-type":"item","numeric-id":3682648,"id":"Q3682648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185015$B5817302-716C-4AD2-8ABB-3625EC065552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de30bc71fa2f80f80d10bc8645b2c869132c82fa","datavalue":{"value":{"entity-type":"item","numeric-id":1824612,"id":"Q1824612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185015$636FD58F-402C-4BD9-AF3D-5122AB0EBBA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8128be7a2395e4b6b58abe3d71613f69ea9d0962","datavalue":{"value":{"entity-type":"item","numeric-id":3785893,"id":"Q3785893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185015$5007F5EC-2E1C-4AF8-A025-42566045EF66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9de42a54bd03c6525e06a84322908f34be5e8b9","datavalue":{"value":{"entity-type":"item","numeric-id":1120800,"id":"Q1120800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185015$F958FB76-6D4A-440D-8CD9-9BB85ED7945E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ee85ee408ceb2acfb30c438cac3496a36c4200","datavalue":{"value":{"entity-type":"item","numeric-id":1091379,"id":"Q1091379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185015$E70EE8BA-A50D-451E-86B8-0E063FB1EA7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185015$42FCB302-A661-4F68-A295-44035119ADCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1440bde07a53009385a9a173fdd2df129d6e01","datavalue":{"value":{"entity-type":"item","numeric-id":1103618,"id":"Q1103618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185015$A2AEEA6C-A556-4E7A-A60E-44DC622C4B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185015$7A24B828-A6FC-4A85-B5D3-AB9F300A1F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca5bc0e3eba9c0ba237df4d31d84fac3bde0d1fd","datavalue":{"value":{"entity-type":"item","numeric-id":2539417,"id":"Q2539417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185015$9804080B-CC33-4F03-BB60-2C81AE9B67FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b154ee72ca69160c2abf6d109c0f324cc5c027a5","datavalue":{"value":{"entity-type":"item","numeric-id":5655526,"id":"Q5655526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185015$2EDFE627-7057-4CF5-875B-EB6734029F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"099ed3a0f6749e0ebb4b82fc165179bd02bade00","datavalue":{"value":{"entity-type":"item","numeric-id":685417,"id":"Q685417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185015$DDC873AC-9AAF-4919-935D-3B381E994FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185015$9E5CE936-5261-44E2-929F-AB4BA0E5F627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185015$74BD2FFA-F958-4910-978F-50FBD7F8A0BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e7e43f784716a014f37546d3a4d6870aa0b11fe","datavalue":{"value":{"entity-type":"item","numeric-id":4744243,"id":"Q4744243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185015$5C95057F-9814-44E2-BAEE-E676AFA45F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14821703ad3559ce115eabb18820913df4a58412","datavalue":{"value":{"entity-type":"item","numeric-id":3202991,"id":"Q3202991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185015$C1746609-AD2F-4344-9561-46F6DA3A10D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee142d66ff27602731bf8a467335470d11b45593","datavalue":{"value":{"entity-type":"item","numeric-id":3771067,"id":"Q3771067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185015$C884C0A5-3D00-419A-88D3-79EA895AB10F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aed7831a70add7bcf12768da28495fb8aecf502","datavalue":{"value":{"entity-type":"item","numeric-id":3807268,"id":"Q3807268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185015$6F4D81D4-4D0A-4133-83E1-7A72C6F19297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a09e8b2ed8881835aa5763936c8275927b62675b","datavalue":{"value":{"entity-type":"item","numeric-id":1139263,"id":"Q1139263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185015$FA3E02E8-65D1-4266-A27E-A29C73A5BD6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185015$C96D5143-52FF-4200-B5AB-78BB68DB1969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde949ec0edc78cafc417dc0d661c3b24c05302","datavalue":{"value":{"entity-type":"item","numeric-id":4103509,"id":"Q4103509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185015$DBFB8EED-25D9-436D-8785-2C872EA22133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f86d9f5cfa728eaec66298b011d7269fca9cac","datavalue":{"value":{"entity-type":"item","numeric-id":3827993,"id":"Q3827993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185015$56C40E58-DDBC-4EB1-B81D-A65E5FDA06D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11369978efa15dc62da89d10bfe437030b4aa86d","datavalue":{"value":{"entity-type":"item","numeric-id":3956379,"id":"Q3956379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185015$4F84EF1A-BCB6-4561-BEE3-27E4D78B7C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63696d3407086ff2f28da0e8d488b8120bc46349","datavalue":{"value":{"entity-type":"item","numeric-id":5096259,"id":"Q5096259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185015$67A904D4-8351-48C2-A575-5C216C90B072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a7aff6e64c6e39cf93d6bf6ccc57f34e2eb209","datavalue":{"value":{"entity-type":"item","numeric-id":1255084,"id":"Q1255084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185015$30021A2B-51E2-4ADC-99B7-F59996D82D9C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06fd19b524f2d8460f727a177f1fce5b1ad52206","datavalue":{"value":{"entity-type":"item","numeric-id":5096259,"id":"Q5096259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5da312ea5cd8176efb0c833084314ba2255d5a74","datavalue":{"value":{"amount":"+0.8330523371696472","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":"Q1185015$D13A23B9-F9CE-4CD2-ACD3-736E977A047B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a796ddc1866cdef9488b7389a5f9008ec2af01b1","datavalue":{"value":{"entity-type":"item","numeric-id":3216122,"id":"Q3216122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6680779236a14db88dbbcb03233548666e682aea","datavalue":{"value":{"amount":"+0.7799863219261169","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":"Q1185015$603A7DFA-CA6C-4A17-B124-3C7397BF3700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be6903850bb27d4def1da7041f1d939f361aee5e","datavalue":{"value":{"entity-type":"item","numeric-id":672133,"id":"Q672133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6237629b848dcc65edd6a02df1a3227152243834","datavalue":{"value":{"amount":"+0.779575526714325","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":"Q1185015$C4412F9F-0EFC-4905-8E87-03635747B088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f87dd34a8eb14d673e58a4bd4aa2e852b6c180c","datavalue":{"value":{"entity-type":"item","numeric-id":1322479,"id":"Q1322479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31fba684db9f85499ec097797ae7804c9242e35c","datavalue":{"value":{"amount":"+0.7700986862182617","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":"Q1185015$1DA6A07D-CEFC-4AC4-B12A-AA91580D2FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fdc7d157831fb560c9dfb165b6fa904fea4f97b","datavalue":{"value":{"entity-type":"item","numeric-id":2852350,"id":"Q2852350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73a5048b0a8fca3209b8c60d84dadfc9973d711d","datavalue":{"value":{"amount":"+0.769053041934967","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":"Q1185015$C8273B79-99C5-437B-925D-FABE699E5541","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantitative domains and infinitary algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quantitative_domains_and_infinitary_algebras"}}}}}