{"entities":{"Q1323318":{"pageid":1334068,"ns":120,"title":"Item:Q1323318","lastrevid":67174746,"modified":"2026-04-12T15:47:38Z","type":"item","id":"Q1323318","labels":{"en":{"language":"en","value":"An algebraic semantics of higher-order types with subtypes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 567288"}},"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":"Q1323318$0582D7E7-F2B4-4874-89D2-A945F8D73EA7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d2175c642cedf501d071f195dfb227ba762db9c","datavalue":{"value":{"text":"An algebraic semantics of higher-order types with subtypes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1323318$729624CD-0C38-4F63-9245-2B56F88D38AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"59df59738c19476fa2de249cbb2aea3eeaa990b6","datavalue":{"value":"0790.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1323318$6F5AF465-AB23-45F6-A016-A1C49783ACE4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b1a5c0b67a868cd7d0ff0a95d985f702f6a5465","datavalue":{"value":"10.1007/BF01209625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1323318$FC7B1833-6F80-44E3-9539-B7719E1FA405","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f1c1a63c0b1d1f059654b48fe9e830d57cbf3ac","datavalue":{"value":{"entity-type":"item","numeric-id":674755,"id":"Q674755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323318$016921F3-5F56-4254-B5EC-C5E7D72B6417","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323318$FA2B641B-102E-4400-9F9B-82269FC77D4C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2eea7eb210317162e8ade44c06f241e090fd5838","datavalue":{"value":{"time":"+1994-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1323318$1762F2DC-856A-481C-A5C5-93D0329808B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1323318$4DB244C7-59C6-4497-8BD6-7271E172EE49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1323318$4A8D6B7D-62E4-47CA-B134-7650142BB9C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1323318$78632DEA-43ED-4E52-B94A-22312DFB869B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84ea52f50842239a72a973621057a23592cdcd74","datavalue":{"value":"567288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1323318$AD3D2E1D-A414-44BD-A315-0DC43A21BD52","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47aefda07ac5d6e74103bdf2455b1df41b0e324b","datavalue":{"value":"algebraic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1323318$4BD83840-AB3D-48D1-80BE-DC5D388A5FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb40407ee82a936477220c4442becd1f17199ff2","datavalue":{"value":"order-sorted algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1323318$236857D0-DBAE-4E4B-90E9-9406883A7A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3dc896052e56d420496bcd412a3e3ef4322f80c","datavalue":{"value":"higher-order functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1323318$D5B066EA-D569-41DB-B235-7D1F4256D553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1323318$AA992844-B9B7-45E3-93E3-CCC2D9974109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"168efd5b5ea5201f07981f3c97023441918073bd","datavalue":{"value":"data type specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1323318$C5FD1845-AA0F-44BD-B8CD-56CF11DE98D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1323318$30FB037D-F45E-4350-A930-2CD4FEA81D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f88fdfb313188c13c0ccea4942d53d2ad735bfc","datavalue":{"value":"equational deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1323318$4B7F7DCD-DA7A-4D0E-890A-8B8701CE0FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec44778685040bd9bd5cbc0ffb12f352e97e79b2","datavalue":{"value":"overloading","type":"string"},"datatype":"string"},"type":"statement","id":"Q1323318$4BBF9401-EAC5-4482-8E96-275E52EDA5AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49b5738296e649e3f224e2b7a8e6ba9f1fbe80bb","datavalue":{"value":"subtype polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1323318$6199BEDA-ABA4-49FC-ABB2-23B71518A101","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":"Q1323318$074980C8-EA8D-4B6B-AA29-AEF1D228D922","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe0fb9136a72435eabcae7c976b9f4fa96c300a0","datavalue":{"value":{"entity-type":"item","numeric-id":4035228,"id":"Q4035228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323318$95D0E4FB-D1C9-4D96-8A96-F3E146C69C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20bbe48a9c127069b4af4be488bed62a03e970e","datavalue":{"value":{"entity-type":"item","numeric-id":3335753,"id":"Q3335753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323318$394A386D-9393-4EDF-8C82-BB1DCBA047A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b94ed805160bdc6a0d6461ad1d64e54880b068a7","datavalue":{"value":{"entity-type":"item","numeric-id":3332229,"id":"Q3332229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323318$EBEBC65B-EBE1-450A-995A-CDA111121554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323318$55C211E3-A9A0-4E5E-9F51-CCEDD8A904B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aef4635a53824b2b1b464a217e7668cc18ea604a","datavalue":{"value":{"entity-type":"item","numeric-id":3334056,"id":"Q3334056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323318$66EE4838-9FC5-4F30-898A-15E418B13B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9c583b65c7819a91d7f03c50f27e11283eee826","datavalue":{"value":{"entity-type":"item","numeric-id":3962973,"id":"Q3962973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323318$5740EA55-2D9F-4219-B731-438791B4A929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86c28bddd65e590b0412fcd5f41b0b1a4685933c","datavalue":{"value":{"entity-type":"item","numeric-id":1803659,"id":"Q1803659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323318$973E35CE-F4DD-4FAB-81ED-C05D2C79F8AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3239d3bc022112b37f4da6991a3c7bf09667ee35","datavalue":{"value":{"entity-type":"item","numeric-id":1196302,"id":"Q1196302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323318$0D6DC9E5-1220-43A6-9727-6B51FE33A42A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"706432819f6cf16b1a37d307080a71755ef9cfa7","datavalue":{"value":{"entity-type":"item","numeric-id":1839242,"id":"Q1839242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323318$E892C7EF-7188-4A1F-ACEE-7F4FF1F43061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323318$1B167E0D-42D8-431F-9B0A-A86529F66278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"745afdc1d69dfa6fb4f7e6ab42966c71907ea2ad","datavalue":{"value":{"entity-type":"item","numeric-id":3355246,"id":"Q3355246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323318$A393E93F-AF55-4ABA-9B39-0DCE448CAA2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e549581c03e6951191873931c64b3eb74c2755e7","datavalue":{"value":{"entity-type":"item","numeric-id":3860824,"id":"Q3860824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323318$1B729EC6-CDC2-4BC2-B09D-2AA6EB6E63DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e6164d85c4694c71a8983f1c45bf387f665fdff","datavalue":{"value":{"entity-type":"item","numeric-id":1199827,"id":"Q1199827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323318$A27D216B-6FEE-419F-A0EE-F68F4BB500E8","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":"Q1323318$6A8BC0D7-7581-435B-9C58-8A2BF5F444F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f03718703b8bc824a8185cf5e489ddc38eb3037c","datavalue":{"value":{"entity-type":"item","numeric-id":4264719,"id":"Q4264719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323318$BA2143C1-7152-4557-AD67-382A9DB99DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a92b361a18a5491ab3cc99003979f5f231d4721","datavalue":{"value":{"entity-type":"item","numeric-id":3719801,"id":"Q3719801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323318$353E12D0-0BB7-41C7-9523-07625C72843F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0019d907973d7569cdd61ec3c8c4f916896acc5b","datavalue":{"value":{"entity-type":"item","numeric-id":1801289,"id":"Q1801289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323318$D3C635C4-E18C-4C31-A358-F4189082BA58","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":"Q1323318$18A51E9F-F953-4A14-BE6B-E69823EA8175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee18c6685e3c422a5b7acb38e3c3aa904b7a2f34","datavalue":{"value":{"entity-type":"item","numeric-id":1185014,"id":"Q1185014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323318$EE80D4DA-D7D1-4805-A412-3267C5E8C890","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa8dc9a872db4b81a631124b46c9b5dc9da04a9c","datavalue":{"value":{"entity-type":"item","numeric-id":5096189,"id":"Q5096189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c000b8aeef67a452b0ee57ac87ca6b32e9f1eb27","datavalue":{"value":{"amount":"+0.923097550868988","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":"Q1323318$75195EF3-3985-4730-ACB9-A8BCED241985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e14013e5498cf6480d2ace02c0a52a15ba8c6c9c","datavalue":{"value":{"entity-type":"item","numeric-id":1391097,"id":"Q1391097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8de3b8ed7c8aab15f381f617491b000a8c9ed734","datavalue":{"value":{"amount":"+0.8089218139648438","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":"Q1323318$F93FF365-F8DE-4B9A-AF82-99627C8A3C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97b94d18df9445994d33b6f62171e8d1f0387c0a","datavalue":{"value":{"entity-type":"item","numeric-id":5096382,"id":"Q5096382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d48a0f8ea1b5fcad34db1a1d2cd9edea1b7933ac","datavalue":{"value":{"amount":"+0.8034500479698181","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":"Q1323318$D8281422-231E-404F-ACBA-61F09D13EE9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2eec0aa153882dd29289a95eae78a8b5607a35a","datavalue":{"value":{"entity-type":"item","numeric-id":4645814,"id":"Q4645814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08700ea42c4d535b17037b234c16bbfe67fab20b","datavalue":{"value":{"amount":"+0.7858967781066895","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":"Q1323318$7C5771FB-CD18-4A4C-B1EC-BCAF380E43BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acee795628cc2b01c1e14bb727dd75b8d011d9af","datavalue":{"value":{"entity-type":"item","numeric-id":1286367,"id":"Q1286367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce76f28aaf66361866334ccd5d03f875cb67ed53","datavalue":{"value":{"amount":"+0.7831098437309265","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":"Q1323318$450D1308-96AE-47A7-BAFA-486973027242","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An algebraic semantics of higher-order types with subtypes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_algebraic_semantics_of_higher-order_types_with_subtypes"}}}}}