{"entities":{"Q1102736":{"pageid":1113488,"ns":120,"title":"Item:Q1102736","lastrevid":49167322,"modified":"2026-01-06T17:01:23Z","type":"item","id":"Q1102736","labels":{"en":{"language":"en","value":"Equational specification of partial higher-order algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4050961"}},"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":"Q1102736$676B1BC9-24B7-46B3-A7C9-234CE2273E75","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c4e3039ebd976f89e7a3856bd85ccf1fad7aecdd","datavalue":{"value":{"text":"Equational specification of partial higher-order algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1102736$2FE3F777-4884-4486-A567-E264AA7FB260","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c9abf70402d2f36173fba39d526447cf15e4d2a","datavalue":{"value":"0644.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102736$189684D4-D231-4144-B7E0-7B9EC5458377","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18f488caa6becf4afa92f15a5741b283b916eb38","datavalue":{"value":"10.1016/0304-3975(88)90162-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102736$BEC6A73D-8F38-43F9-BE3F-5E7737AC513F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8fe0ba64045f6b8bc93a417d90524c47759b2541","datavalue":{"value":{"entity-type":"item","numeric-id":213032,"id":"Q213032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102736$C85CD321-2947-4808-80FF-8DD3B67BE8D4","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":"Q1102736$D0268728-CE5A-4196-BE77-AF6B4D21E99C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1102736$E655C844-3D49-4AC1-A579-B216A44B9899","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a8e82b2e5c5b30a2d2d9ebfed11b15311d45c579","datavalue":{"value":"The theory of algebraic abstract types specified by positive conditional formulas formed of equations and a definedness predicate is outlined and extended to hierarchical types with ``nonstrict'' operations, partial and even infinite objects. Its model theory is based on the concept of partial interpretations. Deduction rules are given, too. Models of types are studied where all explicit equations have solutions. The inclusion of higher-order types, i.e., types comprising higher-order functions leads to an algebraic (``equational'') specification of algebras including sorts with ``infinite'' objects and higher-order functions (``functionals'').","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102736$FA450744-0D80-46CE-B966-18D887A2FD17","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102736$57AAF021-71DC-4EB3-AED5-4D778BB68790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102736$7AC94B4A-1F51-4C62-982C-C8318ECA0A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102736$20A09C70-BC27-4F3B-AA01-C3908E2E5C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102736$889C686B-779D-43B1-B726-D042F4DD79C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8808b50e39e9a0cb23275c5c3643abd86c4dbeb8","datavalue":{"value":"4050961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102736$99ACBB87-A821-4CFF-A820-4B01B63B67AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ededcece4a1778713e2e60e287247b73788e497e","datavalue":{"value":"algebraic specifications of abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102736$4ACFCF05-395F-4D77-8A72-7EF2C52E55F3","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":"Q1102736$4AFBAF17-D981-445E-ABC8-217C8F24F81B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed75860df3220e328396784063d3371e24abe149","datavalue":{"value":"https://doi.org/10.1016/0304-3975(88)90162-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1102736$CFE5AD49-18D2-447E-9696-B6E4E72C4144","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"23cc0def037e554a4d46023e4bde8043493f86d9","datavalue":{"value":"W2001195305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102736$A67FF73B-B1FF-4D2D-8F0E-4CDB883FCBD7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0065dc8b5c25773ef1d9719266c7992d0edd4dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4131619,"id":"Q4131619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102736$A6962DA4-D7E5-45D1-A0B2-2881DE86B67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5f43d0211f7e17ba253c0ab9a739eb489b10d5d","datavalue":{"value":{"entity-type":"item","numeric-id":1157137,"id":"Q1157137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102736$36CA7ED5-DD08-4E40-8FC7-861D3D86467C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2db18f956a86c51893ceffc869b394629d46fd","datavalue":{"value":{"entity-type":"item","numeric-id":5611775,"id":"Q5611775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102736$583381C0-B788-4CD7-A243-F5D436D4C306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32c8f9071577ba573850f7e66a886df33df06189","datavalue":{"value":{"entity-type":"item","numeric-id":3339253,"id":"Q3339253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102736$0E49954B-7863-4299-ADFE-8344AE619DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be13e735ecadb9b74de534ffacd03448c58b84b7","datavalue":{"value":{"entity-type":"item","numeric-id":3954806,"id":"Q3954806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102736$BD737975-8687-4D78-A9C0-2F3177336B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf74703b34de1626ffd3d7ae5025c7b42a757dbf","datavalue":{"value":{"entity-type":"item","numeric-id":1169290,"id":"Q1169290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102736$A2F07204-7D2F-445A-A26E-2624DCE23013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28dc313491ce2521ab8e3ed623df513f30cf223e","datavalue":{"value":{"entity-type":"item","numeric-id":3672054,"id":"Q3672054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102736$22AE230A-20AD-410B-9E1A-3460AD2141FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3209dcffb68253e20194ca2da7f3cb7095c85efb","datavalue":{"value":{"entity-type":"item","numeric-id":801667,"id":"Q801667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102736$26D74370-6C33-4ECA-9BE9-C0D4C6B86CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"839654c16ca8a6f2e87e45cf7258a92c536a3e2c","datavalue":{"value":{"entity-type":"item","numeric-id":1079358,"id":"Q1079358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102736$E12AFC72-66A8-485F-91AE-FF7939453D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3db46e3cd9ee880ba2eed866e643f7840da3bd61","datavalue":{"value":{"entity-type":"item","numeric-id":1071490,"id":"Q1071490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102736$02DD7959-82E7-471B-8CB1-004BD3FC1B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bed41583a3562e95ea3e0152ccf900c298f8859","datavalue":{"value":{"entity-type":"item","numeric-id":3936177,"id":"Q3936177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102736$2285EA90-DF1E-4BB6-A084-28583E64FF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2cd181dfe9a3bbb345bb61f591d169047c774e5","datavalue":{"value":{"entity-type":"item","numeric-id":3888509,"id":"Q3888509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102736$FD1AC5AC-2A91-4075-85CF-C454CB28E933","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":"Q1102736$CCA299B8-F481-4533-B83F-6C6EB42EBBE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dc01a28b8e042eaee4713d2ffe90785f0ff058b","datavalue":{"value":{"entity-type":"item","numeric-id":1163361,"id":"Q1163361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102736$9240D2FC-5BB7-43A9-A659-DAA068B0E917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f512d3044d87913829cd345dbca09d60481c7fa","datavalue":{"value":{"entity-type":"item","numeric-id":5572358,"id":"Q5572358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102736$C900F524-DF54-4F1A-830D-127ABDC25D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b333869fe483ea43fd2b8640b2fdfa1360b3169","datavalue":{"value":{"entity-type":"item","numeric-id":1243118,"id":"Q1243118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102736$307AEBE3-EF9A-4CF8-BFAB-68064E1F7129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f87c691854819eec4f1d4808c08af46178b8c12f","datavalue":{"value":{"entity-type":"item","numeric-id":4168047,"id":"Q4168047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102736$1B09202B-5DE3-4343-BBF6-BAE1B1AA74A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db463348657cf41d5ff4d422c54e0c686e6e5dfc","datavalue":{"value":{"entity-type":"item","numeric-id":2554952,"id":"Q2554952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102736$521781C2-79E6-4753-A147-B049507C868D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de57064dff6d8c801eaa4cbe8a91d55ce2cc76c5","datavalue":{"value":{"entity-type":"item","numeric-id":3703312,"id":"Q3703312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102736$C087D8B6-BCC2-4FFA-BA41-60AD3B5037D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102736$A9476901-1F6F-4887-A2D6-A248F8418E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914ef8719678eb4ee59028ba65b4741c8aa1bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":4124327,"id":"Q4124327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102736$7D7AEF2C-A32A-421F-89B1-511DADFA0F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6360f0b173657d1fff8b4c3bd9661db44e92909","datavalue":{"value":{"entity-type":"item","numeric-id":3680247,"id":"Q3680247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102736$83CD1C4B-6078-4403-95A1-703698EE98EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"356da62d478be74d040e21e1547c482877f10984","datavalue":{"value":{"entity-type":"item","numeric-id":3694667,"id":"Q3694667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102736$84FF2161-0486-4A6F-A0DE-0FB3DB836FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cb020e51eeda1d03050defbdb772396e409a80f","datavalue":{"value":{"entity-type":"item","numeric-id":3883462,"id":"Q3883462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102736$D06552DC-7D5C-4423-B238-8670CB86B2EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b77f2e9aafcfe3d583d9c09d0768e0534ac2beee","datavalue":{"value":{"entity-type":"item","numeric-id":1050767,"id":"Q1050767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102736$E7825AF9-9B38-418E-9AB2-F4C8F12924D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a7eba7b04dd5f01cda67c9197e6febeb9fa4a63","datavalue":{"value":{"entity-type":"item","numeric-id":3028333,"id":"Q3028333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0e63bcad6783690486c7997b625313da51c76f5","datavalue":{"value":{"amount":"+0.9943206906318665","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":"Q1102736$DDDBCCC0-54E9-4A27-A347-18141F9E15FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c98732784dbc0818d9328bdc4d52c6759bacd25","datavalue":{"value":{"entity-type":"item","numeric-id":3750112,"id":"Q3750112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cde86c188b94db4acf6a89200b2ea453b00ab00f","datavalue":{"value":{"amount":"+0.8913294672966003","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":"Q1102736$B2199B44-BC35-43CD-AF54-7BA14D2149AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a98fb6bbc79caeaea167f24c3ac96d6eaa12086","datavalue":{"value":{"entity-type":"item","numeric-id":4035228,"id":"Q4035228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10a577098a74f1cab363f42385aba2fc2bce88d9","datavalue":{"value":{"amount":"+0.8181490302085876","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":"Q1102736$1462ABC0-CC1A-4F40-9A79-D754A748F57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb720330f278919ca46f0366f42e48d51f3cbaf8","datavalue":{"value":{"entity-type":"item","numeric-id":1057642,"id":"Q1057642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b35f275fb0dbc1510b89eb80d73419455d57c37","datavalue":{"value":{"amount":"+0.8162102103233337","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":"Q1102736$86F6106B-DCFD-42C5-9872-557AF53AE057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0af3b7e1033d48f9d80c7ae56566fe1b0a4a9833","datavalue":{"value":{"entity-type":"item","numeric-id":4018062,"id":"Q4018062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53a449ad50ba5d2185900614dc6a65d33a607b58","datavalue":{"value":{"amount":"+0.8129254579544067","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":"Q1102736$536513FF-315E-4888-BCCD-F62F253D6DF9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1102736","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1102736"}}}}}