{"entities":{"Q3638274":{"pageid":5668180,"ns":120,"title":"Item:Q3638274","lastrevid":80869064,"modified":"2026-05-06T17:11:09Z","type":"item","id":"Q3638274","labels":{"en":{"language":"en","value":"Recognizability in the Simply Typed Lambda-Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5574364"}},"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":"Q3638274$7B813AA1-9B5C-45CC-8A87-AD3CCEC06B1F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d344389886665025e6b22497d8e1e69d2d1664e6","datavalue":{"value":{"text":"Recognizability in the Simply Typed Lambda-Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3638274$99CAAA57-4A1C-46B3-9B95-C1CE77971D39","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e7a6f5ea07e3bba8a94d54afdfd5b1a809a2a35","datavalue":{"value":"1246.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638274$B6FD98AD-FB6B-458C-9671-745526B15D19","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a806eafe885bd81681658e62023d71302d0720bc","datavalue":{"value":"10.1007/978-3-642-02261-6_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638274$471259AF-DC2E-46B9-ACB7-14847636D38C","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":"Q3638274$E037C810-4997-462C-B35E-5552E367AAE0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ed383584163989cdc199f2dc33d683a90414662b","datavalue":{"value":{"entity-type":"item","numeric-id":2915012,"id":"Q2915012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638274$78CB2273-8E40-4817-82F6-B7774B30F2AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53f2e3fc7575081ebb3b175707a32845a6955dc2","datavalue":{"value":{"time":"+2009-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3638274$B35D29D7-D252-4D77-8A5B-96F0602AE901","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638274$B1894BA5-804D-4EE4-BF10-091DE9BEBD46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638274$2689C212-707F-4132-9298-D6EA2B34C5B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638274$D9E0C713-7E64-4424-AC4E-0D69A3DDF652","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa7d58c37d935eff69a06e59c26d60736bdbb383","datavalue":{"value":"5574364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638274$62B5C49E-41F2-4696-A890-8FA4F7C81C70","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":"Q3638274$ACB789DD-813A-484A-95EF-3486DE30CB54","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fdfc50df48c03143a5c46a98292f3acf0ecf77a4","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02261-6_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3638274$7A7DA944-4BC6-4B58-A118-A644E69CB975","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"64462c85400d6fb00e3c9752eef084a276fe1ce5","datavalue":{"value":"W1501704892","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638274$0FC50BE2-E0F3-4372-999D-6D533F4B2E03","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"540b5f1c92a5505017beef915955147cee1506a9","datavalue":{"value":{"entity-type":"item","numeric-id":3247120,"id":"Q3247120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638274$0FE5FDED-3AB4-4BCB-93EC-C4C5F275502E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e568b85d2406ebc28d3afbc3e86804d63d2e2231","datavalue":{"value":{"entity-type":"item","numeric-id":4934035,"id":"Q4934035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638274$CC4C2269-2426-4501-8FFB-53E338EF6B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d43ee2c0680d9f15e7841f5f39651f053961522e","datavalue":{"value":{"entity-type":"item","numeric-id":4428885,"id":"Q4428885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638274$BC012927-7DBD-4A01-81FE-C87787B98BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"774822eedcef03842f356259260ade0204086937","datavalue":{"value":{"entity-type":"item","numeric-id":3947643,"id":"Q3947643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638274$113A9D56-25E4-4E57-9C4D-AC7CE29C2AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11f266f11d0364bdec27a15e27ebdf3a6e748a68","datavalue":{"value":{"entity-type":"item","numeric-id":3264483,"id":"Q3264483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638274$F85AE85C-BA3A-4A99-B966-16D8D217E601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"970a6a3feae9d45f8269510e98d0c4c3a340ba74","datavalue":{"value":{"entity-type":"item","numeric-id":5536635,"id":"Q5536635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638274$7AD99EC7-F4E2-4EBC-974C-F4BAE9B5EC29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef1800e8bf2200f74fee53569f33dd921cbc5e0b","datavalue":{"value":{"entity-type":"item","numeric-id":4699351,"id":"Q4699351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638274$2C3A9B74-5801-4C89-86B2-8EA755F7B1BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6947b45662521795369457c949dd286c030bc4ba","datavalue":{"value":{"entity-type":"item","numeric-id":1770834,"id":"Q1770834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638274$286DF749-84CF-4A83-9737-0733A6BD1570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba1d9bb800b743b77d57462b11935076cb25beb4","datavalue":{"value":{"entity-type":"item","numeric-id":2526960,"id":"Q2526960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638274$C34FA337-290C-4CE6-8AA6-AC673780D579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a5e428f5a365bed6ddc10c9602043da3bc656e5","datavalue":{"value":{"entity-type":"item","numeric-id":5900735,"id":"Q5900735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638274$EB30B339-7524-464E-A5AE-109011D8A88C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7701c984faea0a06c36493915d94358e6a7a7e71","datavalue":{"value":{"entity-type":"item","numeric-id":4218930,"id":"Q4218930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638274$F0469361-7152-4AE0-8EBD-A262F3ACEF56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f8fc14adb26e9a99e6be1999fdd2135bfd94a8c","datavalue":{"value":{"entity-type":"item","numeric-id":4795875,"id":"Q4795875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638274$903869C2-9BA1-445D-8478-E27091DF5B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9a6f9258e1714f28ce979e661a2348c690d9c51","datavalue":{"value":{"entity-type":"item","numeric-id":3591409,"id":"Q3591409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638274$7980B654-F553-44BC-95B7-14F1002D4E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c0f6dd793166a567719b2fb5d958eb883aea03d","datavalue":{"value":{"entity-type":"item","numeric-id":1079583,"id":"Q1079583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638274$9B76B4A0-339D-45F8-8350-B167C5907A8F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66ff692f4af674c9d602d0bef00168dba750abb8","datavalue":{"value":{"entity-type":"item","numeric-id":5426067,"id":"Q5426067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57312cfb1cfb1bf1c55f5e391412de7989c8d495","datavalue":{"value":{"amount":"+0.7578573226928711","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":"Q3638274$FF2F9C29-254D-41E7-A17D-404A2EFF0B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e7df4b996e84f2d88d505bd0c6e9e922b6432ba","datavalue":{"value":{"entity-type":"item","numeric-id":3613331,"id":"Q3613331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b8b7b8a446ed7ffa70de2346b1f5f12a91d8ee3","datavalue":{"value":{"amount":"+0.7566801905632019","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":"Q3638274$D0AB9971-3DD6-45D1-AFA2-4F2BF55258B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02da89f4a0fe91e9ef5b801448543c2f1fc999b1","datavalue":{"value":{"entity-type":"item","numeric-id":4032312,"id":"Q4032312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d202c1c8f07435beae7c03cb089d0d011f01624","datavalue":{"value":{"amount":"+0.7495054006576538","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":"Q3638274$9518FE1C-1D4A-4CFB-9A70-CFB1DF337E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c157d287acc914ff18cc4d6032a75c4ca6c06a03","datavalue":{"value":{"entity-type":"item","numeric-id":1099156,"id":"Q1099156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07a62f105d529875927697155a68e1af1c806aeb","datavalue":{"value":{"amount":"+0.7493010759353638","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":"Q3638274$186D271B-CD7F-489C-BF5B-5184D18FB88E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2cef6f433968ba5dbde581891965886db0109c7","datavalue":{"value":{"entity-type":"item","numeric-id":4273488,"id":"Q4273488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f33efac7947c5b8f7093d35ac27896bad5f16ef","datavalue":{"value":{"amount":"+0.7462976574897766","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":"Q3638274$69AAEC09-36EA-4AC5-B206-45E7E470A7EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Recognizability in the Simply Typed Lambda-Calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Recognizability_in_the_Simply_Typed_Lambda-Calculus"}}}}}