{"entities":{"Q752689":{"pageid":754538,"ns":120,"title":"Item:Q752689","lastrevid":64111830,"modified":"2026-04-11T17:43:28Z","type":"item","id":"Q752689","labels":{"en":{"language":"en","value":"Equational type logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4179348"}},"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":"Q752689$B25B3E84-1A4D-4B6D-B715-A32FE9F15C68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1fb6abe148f50f66eec53262b2e9ce1beafd5a9b","datavalue":{"value":{"text":"Equational type logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q752689$7F4BD434-9F16-4501-AD86-2142A7C891C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df50d978d0b0111f6781995fc12dcd98f8211c53","datavalue":{"value":"0716.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752689$BB2ABDF6-0BAC-4D07-83A6-5F713B6C2C15","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c79f7fa4f16a05ec1f4b17664747134eea0d097","datavalue":{"value":"10.1016/0304-3975(90)90118-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752689$E4EF2AAD-3156-474F-BDE9-FF3B319491A7","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":"Q752689$9CAA5960-0281-40F7-B9FF-BE4AB41D0F6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q752689$04D4A036-0020-45CE-A937-880A140A9C5B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"acf7fb6f8b8254137b9b5ba0d52b89edae0a07e1","datavalue":{"value":"https://research.utwente.nl/en/publications/equational-type-logic(f012a64e-efdf-4a46-b819-8b292a36bf5c).html","type":"string"},"datatype":"url"},"type":"statement","id":"Q752689$4B0CC3BE-AF8C-4735-ADFC-782F37316C90","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752689$F6F1A09D-F0FF-4915-B4B9-337E96B93ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752689$EA7EFD8B-5329-43AF-A7EA-DD0DC7B2C215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752689$6533977E-3C4B-4A2D-BF00-7E3C941F228B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752689$F93F1349-DC25-4367-B8D2-E742D32011FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95dd91fdf3acb8de7c53de1068b2c72378e1dc0f","datavalue":{"value":"4179348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752689$754DFC9C-8EB6-49D4-9A0A-B1C71143CC6F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f24521dd62d6a5dbae66745fb00126d55ce3923","datavalue":{"value":"partiality","type":"string"},"datatype":"string"},"type":"statement","id":"Q752689$48FB66C7-B98F-461B-A147-6007B653CD60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"613e6d1aef0a617982da4e5902c3c9cd36ae9e46","datavalue":{"value":"type polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q752689$C22657F4-164C-4F1B-B1CD-3EDAFB6CFEF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q752689$72EFC6B2-A437-4CBC-A5DC-9CE6904094A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a88a7dd4cf266fc3287f98b452edaa09d11a30d","datavalue":{"value":"type algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q752689$DF26A696-F60F-4904-8273-ABD1997B5640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d06af1624b3b6a9c55a9019bd3b375b252a9fd85","datavalue":{"value":"type assignment","type":"string"},"datatype":"string"},"type":"statement","id":"Q752689$14873139-3E5D-4DE9-B26E-45F65290C99F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b2c499e67b312386e301b95601ae53db3f59912","datavalue":{"value":"equational type logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q752689$8FBF5E25-6662-4B72-B429-82AF5DD04CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4e1e581ddaacb64b25af198d49437baacfeba9a","datavalue":{"value":"conditional term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q752689$1865CDAD-7079-4364-9C28-9DCD89D092D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q752689$239470DB-DDE7-46AE-80F9-6E869A4DF3B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6b7374f2a36b6f31d25661dc144b6ff92094e72","datavalue":{"value":{"entity-type":"item","numeric-id":243840,"id":"Q243840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752689$7D246CCB-D4B4-4F08-B0A7-8E2385811664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4e73a6f6ccb7e8687faa022e777bcbb77b1f201","datavalue":{"value":{"entity-type":"item","numeric-id":353353,"id":"Q353353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752689$937A168D-C224-4B20-AF9E-E1B60DA7812D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66eb2ea2330f37bfa45aac8fc506557c2f5de33c","datavalue":{"value":{"entity-type":"item","numeric-id":665768,"id":"Q665768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752689$1400066F-7F3C-4E8B-B72F-5F1CCD19DD29","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":"Q752689$0D1AF170-8F7B-4996-A731-D67D1A93F88C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"652d31b2216b51fff356aae9d05c4045ff41d630","datavalue":{"value":"W2180920399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752689$9555E056-779F-4DDC-8751-7DFE616C46BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d95a1106dde461e9269e9bde91ea5ec54c0b8658","datavalue":{"value":{"entity-type":"item","numeric-id":3322163,"id":"Q3322163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752689$733194C4-BB70-497D-9869-6AF395544C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a03dacafad2ff19ded175ac7d62381d002687606","datavalue":{"value":{"entity-type":"item","numeric-id":1111368,"id":"Q1111368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752689$103B184D-01F0-4BB8-BE31-59C5CDFC2155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95742e57826673115b0c856b8d8d2d847c7e06c","datavalue":{"value":{"entity-type":"item","numeric-id":1082804,"id":"Q1082804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752689$A656E66F-9511-4E56-BF7D-8B01771C68EE","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":"Q752689$F1F6A49C-8B45-408A-9FA5-1803E4748EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f32e072b62ae8a8febbed4970d6ec11bdb2a4f40","datavalue":{"value":{"entity-type":"item","numeric-id":4205074,"id":"Q4205074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752689$A04E96A2-B6AF-4490-B626-91C3EBCF875B","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":"Q752689$D9998E29-C2D2-4ACB-A36D-6599144DF1A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a07700503ce4299f2b802ac0bfc01f5648401a4c","datavalue":{"value":{"entity-type":"item","numeric-id":3731650,"id":"Q3731650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752689$6C8F97D1-2CEB-4891-8FF6-FB40A2B5CE6A","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":"Q752689$36664525-35AA-4A5D-9946-FEDF59291F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caabd38fa7c3aaa24933710e7b1549af247a0a35","datavalue":{"value":{"entity-type":"item","numeric-id":4151143,"id":"Q4151143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752689$AC712ACE-ADE4-4FBB-A4C0-BF5B5C7829BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb04a649a73fcfb0ac785adf276c6d3df4e05513","datavalue":{"value":{"entity-type":"item","numeric-id":4062639,"id":"Q4062639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752689$0DF1D960-F4E2-453F-B75C-872F1E30ADCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"637d60dd60fa7ae0ece9ed07c4735273bd2f3a96","datavalue":{"value":{"entity-type":"item","numeric-id":5416166,"id":"Q5416166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752689$3AF179E5-EC2B-49C1-9DBF-AA96CB2E2D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"099e539a4445b58fda91ce61c7c5885fee9a27f8","datavalue":{"value":{"entity-type":"item","numeric-id":3030249,"id":"Q3030249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752689$6F5827B2-DB98-4254-A172-06D689225AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4ba3ea96d89c1181d699d16adfb5d07cea2af8e","datavalue":{"value":{"entity-type":"item","numeric-id":5585364,"id":"Q5585364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752689$E1B7CFD5-A190-44B3-BD23-4134CDF9F087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d9ae9d25c165776926d92ae2f293b4bf9587937","datavalue":{"value":{"entity-type":"item","numeric-id":5727668,"id":"Q5727668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752689$EF01859F-A72B-492B-8307-6AEE9D05B2A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30f302f85a2d58c3ab901c7ecdb191f1f7fd58e5","datavalue":{"value":{"entity-type":"item","numeric-id":3975158,"id":"Q3975158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752689$85C2DA98-0DCD-4CA8-AF41-FC968C22BE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"398da71ef67aed3ccfe8eaf1827bd1861abf4dd2","datavalue":{"value":{"entity-type":"item","numeric-id":4028345,"id":"Q4028345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752689$CEBF6993-2FDF-4B6D-ADB9-0AF8CEFC91CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae94f828af67e50fecbc9e4b645ed6964977b9db","datavalue":{"value":{"entity-type":"item","numeric-id":4099613,"id":"Q4099613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752689$DA480553-92F8-489E-8992-18FE1AAEF0A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d53df5a0db0f8dfae3cf9d762bf0f64420ba10d0","datavalue":{"value":{"entity-type":"item","numeric-id":3204056,"id":"Q3204056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752689$CE35BC8A-ABF8-4157-90F8-F71749378A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b8cc8c03a8982b4744155ec210d29b346d1b25e","datavalue":{"value":{"entity-type":"item","numeric-id":3809237,"id":"Q3809237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752689$81ABCDEE-8E31-4717-A829-E780DAF1CD0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ba41f8ecd77f0632e922eba4a8dc824d5b88c3b","datavalue":{"value":{"entity-type":"item","numeric-id":3773301,"id":"Q3773301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752689$D8BFA37A-7762-45A0-84F8-18AB0EBC4859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0c87b171d5931bd8adddbef83b240429b9c9a0f","datavalue":{"value":{"entity-type":"item","numeric-id":3899535,"id":"Q3899535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752689$B08B2255-7B38-489B-BC6D-869FCD2EF115","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66329513ed08c576d00231a95784464d1d411a61","datavalue":{"value":{"entity-type":"item","numeric-id":4028345,"id":"Q4028345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a3e761783c676aeed7b133462f80246f1b4098d","datavalue":{"value":{"amount":"+0.880466878414154","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":"Q752689$8400A195-84A8-4C99-A925-6A955AEE0B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cf8fda8c6313c06df19da93c145a4e5eb7b83ae","datavalue":{"value":{"entity-type":"item","numeric-id":5757935,"id":"Q5757935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2158aca4b72cf4394e09e8827940d7719a857f0e","datavalue":{"value":{"amount":"+0.8791347146034241","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":"Q752689$4125D68C-B985-482A-A829-B812E1F09D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e94f076c24613935a2021c8bd5dde0d2cdbc0d5","datavalue":{"value":{"entity-type":"item","numeric-id":3975158,"id":"Q3975158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec29a8cec6f11ec4e7e5caa53adaf512ab11797c","datavalue":{"value":{"amount":"+0.8123012185096741","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":"Q752689$ED3AE809-7884-473F-890E-395B168A6AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05f585cc7eb0647cfe080b4e28133e8385779b3e","datavalue":{"value":{"entity-type":"item","numeric-id":2842828,"id":"Q2842828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"612de7a5810a308b1c6cbba260d555b3db0e5fee","datavalue":{"value":{"amount":"+0.8123011589050293","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":"Q752689$0EDA1DDA-4AA1-45B2-BD43-13E087F0ECED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3c5fa3ecbfa560b0d437ad2252be9d5bdba3617","datavalue":{"value":{"entity-type":"item","numeric-id":5096381,"id":"Q5096381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e1870e69e71b104f3c9ad3b7357af03b5e290d0","datavalue":{"value":{"amount":"+0.783756673336029","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":"Q752689$1474027D-359F-4A2D-9728-628AF6C8BE7D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equational type logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equational_type_logic"}}}}}