{"entities":{"Q4357055":{"pageid":6386654,"ns":120,"title":"Item:Q4357055","lastrevid":41251686,"modified":"2025-04-24T17:32:53Z","type":"item","id":"Q4357055","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1070568"}},"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":"Q4357055$23DCA0E6-C570-437D-886D-4C016E9906D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b789050ba85ecdd1cea06af1a2405bfc714f0a4","datavalue":{"value":"0883.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4357055$B75890C0-2103-4B4E-90B6-B21F616791EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"95c0470d173aeeeda7b208422c076739fd98b16a","datavalue":{"value":{"entity-type":"item","numeric-id":1274457,"id":"Q1274457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4357055$71609AA3-578A-48FA-B2FE-BC36315B6827","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f2a8f79f9673602e1d5cc768966b9622b5169311","datavalue":{"value":{"time":"+1997-10-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4357055$1D7B539B-5D86-4CBF-9086-1183330CD108","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4357055$04F3449C-F4C6-4058-AD77-EE8296CFFBE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b0dccbedcacd8618754c46fccac77d1c3c24c9d","datavalue":{"value":"1070568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4357055$3FF80E91-AAB5-4804-9D22-900BE74074DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73f13d0e22d874e1a91438c7c0ab64019ee104c7","datavalue":{"value":"typed \\(\\lambda\\)-calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4357055$2C349C89-0CE2-42FA-89F9-E2CCA2150DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f4219961110246fe0e36d5f8830abb8732f1f54","datavalue":{"value":"recursive path orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q4357055$D99B5D91-DC19-42F1-ABB5-B855F558521C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21d01b0e4e71738a021bbde6bed5a9b0eb653e99","datavalue":{"value":"preservation of strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4357055$A713DDE7-05E9-439A-A86C-0550059497CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"466c42c02ddf75f7f67e6990514dda7f81e85cd7","datavalue":{"value":"explicit substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4357055$71FEBF00-0FFC-4F79-8430-0E5D97C0DAE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"457614d5a4743b301792985aa911d4f459a43337","datavalue":{"value":"combinatory reduction systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4357055$2A9C4E8D-7800-4334-B18D-CA6C591413AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"052f645ca75595742d150f20ed9972514862e750","datavalue":{"value":"subject reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4357055$C874B789-4E17-4ED1-A942-1BBAC5A09FC4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4357055$A04880B7-197E-4E47-9A36-41A30C2CCB69","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":"Q4357055$7DC56263-BC86-47CE-AD63-C8B630B8FE96","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05b1e6ec56c83b1cfd582d9359886bc98c25a45f","datavalue":{"value":{"entity-type":"item","numeric-id":4263879,"id":"Q4263879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42b0be235d6ed3f5580facd23de48e49896bc1fb","datavalue":{"value":{"amount":"+0.91234696","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4357055$66F530CE-609F-4A7A-A4E2-A70E1954ED7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d93a6a914435dbf3beb28b95c66807f31111fd9","datavalue":{"value":{"entity-type":"item","numeric-id":853744,"id":"Q853744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37a1cd52ca2b7307ffc777e06f1643f8cb8458ba","datavalue":{"value":{"amount":"+0.84445727","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4357055$A3C7F4AE-9C8E-4FF1-A135-4AF808A367C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aaf5c048cd71b15c4db3ce8b614660ab5b2abb0","datavalue":{"value":{"entity-type":"item","numeric-id":5703866,"id":"Q5703866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7173f9264d0f72d2872de628f572413258a9b16","datavalue":{"value":{"amount":"+0.84256107","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4357055$CEB2E8A3-2C6A-4A42-A3E9-39C9028A20DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb23e5f10a2a9a9b3345b7ab134967cf0804ca12","datavalue":{"value":{"entity-type":"item","numeric-id":4501671,"id":"Q4501671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bd9ac409f38bcb1589aad38568640f6a94f77a9","datavalue":{"value":{"amount":"+0.83988595","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4357055$1FF4FE4C-20C9-4615-ACCD-A6F81E717B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6609c57f4e1c0eb2659a775c5dfc3f7cea39b9d9","datavalue":{"value":{"entity-type":"item","numeric-id":4537519,"id":"Q4537519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e3dec1894829e0ea850460342c73297fa7e1a46","datavalue":{"value":{"amount":"+0.83574885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4357055$4AD07002-B742-49C7-A8BE-C7851EDE2722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"610063cb2d5d625d23d1434e89afaca2aaf608c4","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62d2180f99ddd31d254efe4e15a681ef64566ed1","datavalue":{"value":{"amount":"+0.8306341","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4357055$B033908E-E9EC-4D7F-AE92-F862E1CE9BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce871da3083f9569bcdbed95a098aa7376083b7d","datavalue":{"value":{"entity-type":"item","numeric-id":2752530,"id":"Q2752530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2077858766abfea826a9dc9287deeebfbfef5581","datavalue":{"value":{"amount":"+0.82334876","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4357055$241810FF-810B-4431-917B-DC765E68BA26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57349622a6ff30c62c26a387e36d5fd204e2e66b","datavalue":{"value":{"entity-type":"item","numeric-id":4818829,"id":"Q4818829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbaeafdee7963f76b5d6fbdec2ab43719921d0a5","datavalue":{"value":{"amount":"+0.8158535","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4357055$FADF6078-94EC-4A5B-B575-D5EA499256C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c289ff16cb8f8a4c94c4d732df96d20f9767d266","datavalue":{"value":{"entity-type":"item","numeric-id":5881183,"id":"Q5881183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0a8b5a3a57e8d719bf5bd6668fa840e0a09fc34","datavalue":{"value":{"amount":"+0.81582224","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4357055$F379673C-49CF-468A-9694-94EFAB6F63F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0d45195da3612f70e54ae2b0f66105c6ad766b0","datavalue":{"value":{"entity-type":"item","numeric-id":4808754,"id":"Q4808754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a76d343f3ca2a239b1d5409599fd6a5d71671ee","datavalue":{"value":{"amount":"+0.8147688","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4357055$A416FA74-AC1C-48F6-85BC-353360A6566D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4357055","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4357055"}}}}}