{"entities":{"Q3766841":{"pageid":5796747,"ns":120,"title":"Item:Q3766841","lastrevid":81083822,"modified":"2026-05-06T17:41:01Z","type":"item","id":"Q3766841","labels":{"en":{"language":"en","value":"Function definitions in term rewriting and applicative programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4024774"}},"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":"Q3766841$C017558D-CD2C-48A3-B3A2-1A52BE6CF400","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"baff0b22a200cc20453426d8e13ac0c9e596c53d","datavalue":{"value":{"text":"Function definitions in term rewriting and applicative programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3766841$4E3C1475-F850-405E-8EC2-447C93E2B1FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a94e36143fe6ffabc61c4028d39dd9abe6386e5c","datavalue":{"value":"0629.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3766841$3E4FC473-1C6C-4039-AE33-09A7B53210CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"417ccedc4fae95907779703feb43706ac62a1deb","datavalue":{"value":"10.1016/S0019-9958(86)80010-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3766841$9629F625-B15F-4BAE-934E-C3FB2C6F8F3B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"57476dd69b666e7f4143357f8fdbde08c69c0dbf","datavalue":{"value":{"entity-type":"item","numeric-id":209357,"id":"Q209357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3766841$03A2CD4E-E11C-4110-9C24-F2B846E25D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"98daa176291d3f31b004bb8af3845f694af2604d","datavalue":{"value":{"entity-type":"item","numeric-id":1095644,"id":"Q1095644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3766841$8AE14193-3EF5-4D45-9472-6B20DFD0B030","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4434820098e3b6c980c31814818af7c68f56bd22","datavalue":{"value":{"entity-type":"item","numeric-id":2832035,"id":"Q2832035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3766841$A7CCB4C2-86C3-4E10-A128-75C1B900FF7D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3766841$6AB4C887-8896-473D-88E6-7612B790C738","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3766841$F328FBD1-C7AE-4B4B-B61F-D02DF47727C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3766841$D2EDF741-3BC3-4E3E-885E-C615043FCB66","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79ad81054cdf3d98bab52253fe93f7fae7afc040","datavalue":{"value":"4024774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3766841$60B50C75-AC4B-40FC-97D6-A46DBC1BA462","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04b338d2b7223acdb02ec880dfc8c2ffa5727ab8","datavalue":{"value":"Applicative systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3766841$EAEAFC23-55DA-4A60-91A6-F5F0C8473280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4e1e581ddaacb64b25af198d49437baacfeba9a","datavalue":{"value":"conditional term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3766841$E79F2C12-EFFA-4C2D-B22B-3F33CD9DADD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3766841$CDB38EE4-AA16-4A49-8040-392E07368AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c43c2b5402f1eb67fc2be77f01afa1873faef8bc","datavalue":{"value":"unambiguity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3766841$5BCE033F-5E3C-494E-AF3F-B89D4E1C5D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3766841$B8A18838-B831-47CD-8557-70CF6613C5D1","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":"Q3766841$D4447A75-C4AC-44AC-9985-8F40C22A546D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"00ba9629a151be2622f9af0ca8f2632e1f0b2930","datavalue":{"value":"https://doi.org/10.1016/s0019-9958(86)80010-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3766841$35C147BF-84EA-49FA-950F-0F8A95B6EED1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab82602c3e62288556674c4f6828ca5e60f988a0","datavalue":{"value":"W2061151133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3766841$A1084066-7F46-4851-BBF9-20F3013432B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d16720e44981db9dcd27fc623ad94c11d272ccc","datavalue":{"value":{"entity-type":"item","numeric-id":3750994,"id":"Q3750994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"930c87950cab39afedbe537735cbf1a304b10407","datavalue":{"value":{"amount":"+0.7337921261787415","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":"Q3766841$4EFF9BF0-7C51-4842-A8E3-1E3513562021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a66d8d56472749cb9bdd54ea62c7c6f3ad94441","datavalue":{"value":{"entity-type":"item","numeric-id":5881267,"id":"Q5881267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f49076e5828a4b95e445b8b39d3adb840a679323","datavalue":{"value":{"amount":"+0.7310450673103333","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":"Q3766841$F375FD61-1F60-4DEC-8329-43F2F1B62A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f627305a197d6a6b0d2e561f92b12be539a8e0d1","datavalue":{"value":{"entity-type":"item","numeric-id":915429,"id":"Q915429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5fc1bc06ad588c2baf4b41c26890ac218da993e","datavalue":{"value":{"amount":"+0.7255632281303406","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":"Q3766841$8EF9C29E-7867-4446-9A13-E584174162A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1485382cd0991a7a765e3f8145f389cf20e15443","datavalue":{"value":{"entity-type":"item","numeric-id":5249248,"id":"Q5249248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93fb18add259be2d010b6847ea89cecf23897be7","datavalue":{"value":{"amount":"+0.7208887934684753","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":"Q3766841$EC01D948-73D1-425B-B97E-5E81C06F1401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6b90fe18750a62bb1daa9f4e4487b4461f90ded","datavalue":{"value":{"entity-type":"item","numeric-id":3817651,"id":"Q3817651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7fa9a55b95b83bc42ce3c5764716ad69d0d9ad6","datavalue":{"value":{"amount":"+0.7201500535011292","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":"Q3766841$CD2ED92A-4BFA-4CEF-B7BA-D5D1CBF79718","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Function definitions in term rewriting and applicative programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Function_definitions_in_term_rewriting_and_applicative_programming"}}}}}