{"entities":{"Q5505588":{"pageid":7535148,"ns":120,"title":"Item:Q5505588","lastrevid":50550794,"modified":"2026-01-14T09:09:04Z","type":"item","id":"Q5505588","labels":{"en":{"language":"en","value":"Uncurrying for Termination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5498374"}},"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":"Q5505588$68676E33-E512-4A92-B2AF-47EB0DA9EA17","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a5006097b8e840d69b7e4ef8ee255fe1d0e2e88","datavalue":{"value":{"text":"Uncurrying for Termination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5505588$6B078331-2078-4394-BF05-52DCE7B53EB4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18edc26f237901a549dbb70a2078a4426e7667f5","datavalue":{"value":"1182.68094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505588$048067AB-77E5-4A1C-A73E-CDCFE63C449E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4fe35061faa84b98b9ae1c3a87d2ca8dfe5ce8f7","datavalue":{"value":"10.1007/978-3-540-89439-1_46","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505588$2263BC30-5E76-4FEA-BA02-E54B4236A720","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbf80f7e67c864eea20bacda65f1ad6545214beb","datavalue":{"value":{"entity-type":"item","numeric-id":352957,"id":"Q352957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505588$651AFAAF-8F3A-4C67-AB37-B11FA1019B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7072b29ec05013e9a2e81e1795de7757de4265ff","datavalue":{"value":{"entity-type":"item","numeric-id":293293,"id":"Q293293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505588$B487E3BB-DDBB-4B34-ABDE-29D155058AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"83136e3815234cec6578a3872e677d362852be2f","datavalue":{"value":{"entity-type":"item","numeric-id":352958,"id":"Q352958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505588$82AA713C-DDB6-441F-BFD0-D8F43BAF55CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505588$D72D60CD-8A2D-49DB-92E2-D3EA47BDD975","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51e6c39ac6ec91b8381a06fe1e16cf5aca0f2bdc","datavalue":{"value":{"time":"+2009-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5505588$E0C5FB46-7CED-4C83-9C9A-A811DE1626C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505588$B3A3EAE5-3869-46FD-9442-6D59B297AD91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"015e4d19d4744272f446df0c04b01229b5a82aa3","datavalue":{"value":"5498374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505588$B19A1ABC-BD80-4C3F-A58E-76B9AC93CBF8","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":"Q5505588$DFAF89DF-8EA8-4E6C-8A2E-DA8B9BDCBF39","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"97d1c7380c01ed6aacb51c5df62e104785d6a267","datavalue":{"value":"https://doi.org/10.1007/978-3-540-89439-1_46","type":"string"},"datatype":"url"},"type":"statement","id":"Q5505588$27A240F7-5AEE-4E95-A2A6-265BD0E4C9E4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9330d20a47d031a7aaa4fbb46130ce3642a507c9","datavalue":{"value":"W2142631561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505588$AB9EA499-BB53-43FD-8C5A-99206857DC2C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8abc2bb36612c3100925f42ec6c47c0e028614b","datavalue":{"value":{"entity-type":"item","numeric-id":352959,"id":"Q352959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"491daaa744b096468a82902a255ee39f93ee705f","datavalue":{"value":{"amount":"+0.9586918354034424","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":"Q5505588$A1F149CA-20DC-49F2-9E38-72CC1DAF8335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93288998df811b6d1f69c3cedbfd203b0f191de2","datavalue":{"value":{"entity-type":"item","numeric-id":3172898,"id":"Q3172898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cadb8162403de7c120b442e9a6b21aa7b8bd2b6","datavalue":{"value":{"amount":"+0.8193751573562622","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":"Q5505588$1F1C8F82-0E56-467E-BA9B-AE6C175CD39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc30ff9155d71a008c7380bf57acfd5ec38dc5ed","datavalue":{"value":{"entity-type":"item","numeric-id":5055816,"id":"Q5055816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93060185ee1b65bb76c59d2d85187df226964af8","datavalue":{"value":{"amount":"+0.7900019884109497","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":"Q5505588$79ACF515-B603-4226-9037-872C43C2DF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3909a26ac9c066be5615bd5eef59474f67a7d2c","datavalue":{"value":{"entity-type":"item","numeric-id":1918496,"id":"Q1918496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4218720876a0da434a036035b23f86b4451de550","datavalue":{"value":{"amount":"+0.7883016467094421","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":"Q5505588$AC6446C4-61B5-4407-9148-DDBB34DC6116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04fabe2b121ce6f3ac0f92de4eb2a17a4f561055","datavalue":{"value":{"entity-type":"item","numeric-id":5703843,"id":"Q5703843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4485654ab7dbe716c53d4597eaa041d162b12482","datavalue":{"value":{"amount":"+0.7716835141181946","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":"Q5505588$9193EB8F-118E-45A2-AC2F-1494485DA42A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5505588","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5505588"}}}}}