{"entities":{"Q3527290":{"pageid":5557194,"ns":120,"title":"Item:Q3527290","lastrevid":87310940,"modified":"2026-06-04T11:21:55Z","type":"item","id":"Q3527290","labels":{"en":{"language":"en","value":"Syntactic Descriptions: A Type System for Solving Matching Equations in the Linear \u03bb-Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5347556"}},"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":"Q3527290$DC2995B8-9F2B-4872-A680-FA8A88A43A7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80e5ae641531e423fcd688e75e576def52c28b42","datavalue":{"value":{"text":"Syntactic Descriptions: A Type System for Solving Matching Equations in the Linear \u03bb-Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3527290$1E362FD6-56A8-4BB2-956C-350EA5E22778","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7aca091598d5ca7e875b48fabf210f64d87f5d72","datavalue":{"value":"1151.68638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527290$8D1D81C5-D9A6-41CC-9D32-9A2FC24E9E8A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"db1cca924758525545a18b3be3787666f26f8386","datavalue":{"value":"10.1007/11805618_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527290$281660C0-ACDD-4EFE-BA6B-371CB6B2E2BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c362ac3b16803115650ca1635e62ab561b04cbac","datavalue":{"value":{"entity-type":"item","numeric-id":476195,"id":"Q476195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527290$3192A22F-D494-48BF-999B-6AE29014816A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527290$FB1D5C89-89BF-4A03-947A-16AF07DD9AF8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bad7db4275b7ee1b7635bea2be947374a54e8d8","datavalue":{"value":{"time":"+2008-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3527290$B1A01FD9-778A-472D-9D15-D5055DCE2B6C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527290$D2750B48-83BF-46C8-8EB0-65D46D7488EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527290$68938455-E37E-4AD2-A2FA-825044A9D750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527290$325466F5-84B9-4D01-894E-5DC024E11E39","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e52d14aa8cdd43f9fcc60a6a41b0f938e091c52","datavalue":{"value":"5347556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527290$2E4E785F-3FA1-473B-A2EF-FD62E76C425C","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":"Q3527290$41BFED0C-F2D2-494C-A9FD-EAD67D0F96F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ce16c7c939ed0382ecf0012962ad33a8fc118e9","datavalue":{"value":"https://doi.org/10.1007/11805618_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q3527290$4B39CDD9-5B03-4576-90BC-CDD206F5717A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"334f82209183006ff49e9b9707f3a67a63db6376","datavalue":{"value":"W1597420557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527290$F7EE4DFA-3F8F-41F6-8349-15599F16C364","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0baadce94e33045e1554d8e75452c29f55a67f77","datavalue":{"value":{"entity-type":"item","numeric-id":2765372,"id":"Q2765372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"803b12db9108291a9e85d5718b270f7c038b6639","datavalue":{"value":{"amount":"+0.88200647","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":"Q3527290$2C4F9EA7-BF1C-4E82-848C-07F61935FC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa4849900eb7ad962a5fe6bdd4653caf38ebcb76","datavalue":{"value":{"entity-type":"item","numeric-id":5692152,"id":"Q5692152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55e40b70f8ce8f80a114fd9df6adce85bc466654","datavalue":{"value":{"amount":"+0.87788415","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":"Q3527290$1D9635A7-A18E-484C-8DF0-BEE14553DF62","rank":"normal"},{"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":"90fb5b824f48143615cb77ffe7aae5e51e41e1b7","datavalue":{"value":{"amount":"+0.8719428","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":"Q3527290$3B418F94-B4AE-4C0C-817D-430B800701EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b045d8cb724ea5c50169abaea653bb5975386127","datavalue":{"value":{"entity-type":"item","numeric-id":1350516,"id":"Q1350516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be90847a5d7e8cd6f8c44309b859eb0a28815d2c","datavalue":{"value":{"amount":"+0.8686173","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":"Q3527290$C14D5BBA-B105-44FA-A5A1-5EE9B1ECB6AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0950523ccad0a81270e80e1c15a8940ddaa1069c","datavalue":{"value":{"entity-type":"item","numeric-id":4986659,"id":"Q4986659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61318af45f56c1cb2e6080bc5b5a6950ff186d05","datavalue":{"value":{"amount":"+0.86615163","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":"Q3527290$E8944720-7100-4502-9E6D-0078B1050EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6544d7cfbb6677e257561679d1c12efcf2804280","datavalue":{"value":{"entity-type":"item","numeric-id":526451,"id":"Q526451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea1a50e09f0e8dc6031de4f6501ad7fca15668ce","datavalue":{"value":{"amount":"+0.8643385","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":"Q3527290$C7192346-834A-4AC7-9B69-9E63E2BE9423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54cd3b23082880a3a13f1ce9c96afdaf3c7adeae","datavalue":{"value":{"entity-type":"item","numeric-id":4202948,"id":"Q4202948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6328dce34f6c80bf405049dc435a059897399393","datavalue":{"value":{"amount":"+0.8639479","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":"Q3527290$A393ABD7-6220-4696-8A88-173627F96E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4f46a373e0d9a245b51976713c5ed4c224e67f0","datavalue":{"value":{"entity-type":"item","numeric-id":4376069,"id":"Q4376069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"029d245178639f578dc86681cef3a42a90532f47","datavalue":{"value":{"amount":"+0.8639346","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":"Q3527290$F4328E93-C77C-43B3-A23E-D7BFA0AD671A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfb174c10ffa67b3f5e9fa7cc3d40b3c90ce7009","datavalue":{"value":{"entity-type":"item","numeric-id":1579057,"id":"Q1579057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"029d245178639f578dc86681cef3a42a90532f47","datavalue":{"value":{"amount":"+0.8639346","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":"Q3527290$73AF6D66-EE4E-4A59-9881-5656452D32B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Syntactic Descriptions: A Type System for Solving Matching Equations in the Linear \u03bb-Calculus","badges":[]}}}}}