{"entities":{"Q4304128":{"pageid":6333729,"ns":120,"title":"Item:Q4304128","lastrevid":40706659,"modified":"2025-04-04T10:28:40Z","type":"item","id":"Q4304128","labels":{"en":{"language":"en","value":"The basis decision problem in \u03bb\u2010calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 635989"}},"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":"Q4304128$89C264A3-9C88-4FE4-9ACF-092F3E91F5D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0fa9deab7cb14ff24adbaa209396338c8e96f5e7","datavalue":{"value":{"text":"The basis decision problem in \u03bb\u2010calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4304128$E104D747-D6DC-4417-9F01-FC8FE5ED48FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f3ab8a2f81c31eda0b14f6593bc5119f8b2db6a","datavalue":{"value":"0804.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304128$E662A9E4-3152-44CD-B813-F04002B22051","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"395b5137124702312f7d3fa6b0db1bd777258581","datavalue":{"value":{"entity-type":"item","numeric-id":397403,"id":"Q397403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304128$9A9273E9-433E-4C7A-8B58-294F5D4BA298","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304128$4F11750B-A9EE-475D-82ED-4415F40B4851","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e514884e342a09a97a054d635d30bb831dc95e4b","datavalue":{"value":{"time":"+1994-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4304128$60FFE270-5335-4415-81BE-24C12DE6B32C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304128$476535D0-A01D-459F-93F5-CAB18C60DB85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304128$B1A6C952-B2E7-4CA8-97AE-E324C1EEEBA9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d67cf73aeee8766731996dd85136dbab08a64903","datavalue":{"value":"635989","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304128$2C126E9D-6C78-4F23-8E61-B12A56941050","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304128$6427F065-2F40-4A5A-A749-6589BE81ABD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c957bb213163ac2f8666d9e38184f3169da42a9","datavalue":{"value":"basis decision problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304128$3F439641-835F-4C59-B3F4-37019544A1E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa7cdbbd7a80fb7bd32a144ba9a1da9e56469728","datavalue":{"value":"recursive unsolvability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304128$D636A7BE-33AE-4488-AFC8-A51ADDBC91AF","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":"Q4304128$0C7AB34C-ABFE-48DF-8C69-57F66576FE47","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5295b7084b3b47e810ef494958e3634397aa160e","datavalue":{"value":"https://doi.org/10.1002/malq.19930390120","type":"string"},"datatype":"url"},"type":"statement","id":"Q4304128$F20C3C66-EEBB-41E5-9E6F-4B0B70599346","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bdf52317c94dfae5d8cbcb3e96a58bb9f169ef25","datavalue":{"value":"W2094015689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304128$8ABF2AA3-0062-4FF0-A88E-71DADBECD285","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304128$2B9132DF-262D-481D-8577-4A3BACA3D35D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91ea0a4e1302b3e6682c4f81222a33a712567808","datavalue":{"value":"10.1002/MALQ.19930390120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304128$8BD6CF98-422A-4F94-8373-5C9CF0820105","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e596309e7cd045517c9d6d925ecebb4ff79399d6","datavalue":{"value":{"entity-type":"item","numeric-id":4428883,"id":"Q4428883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94354a2720d88ee11775206e722deaacdf56da52","datavalue":{"value":{"amount":"+0.870706","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4304128$232EA3B2-E816-495C-8888-5E595DFC6B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24f5a0aa81fdeda03ebc6f5253102881119a9e78","datavalue":{"value":{"entity-type":"item","numeric-id":4490747,"id":"Q4490747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17f133e787ff64b8956c509b870107db3b10bb6a","datavalue":{"value":{"amount":"+0.8706592","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4304128$F2BF3503-AB8F-4C5D-B04E-E05A84C64F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"181290249e34e94746b6ab8b23d1e2cdc2e19e68","datavalue":{"value":{"entity-type":"item","numeric-id":1610037,"id":"Q1610037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e3b98ed15f715548f9f276ce87b59882673c537","datavalue":{"value":{"amount":"+0.8697214","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4304128$2D150EA8-C3AC-4609-A796-FFB788F78728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1669ad75f7a711b33c50c2efbd9b5cced92f92ae","datavalue":{"value":{"entity-type":"item","numeric-id":3783263,"id":"Q3783263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3da95b9d51d27761c2dfe1d34bba150e53f5c5eb","datavalue":{"value":{"amount":"+0.8650751","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4304128$4EB87263-6DD5-4272-A836-1E6F4025934F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acba577735dd51367f54c35b7c591d300ddf7f29","datavalue":{"value":{"entity-type":"item","numeric-id":1120561,"id":"Q1120561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0223dcecd6e95113bc56bd7445870dcd3728a4f","datavalue":{"value":{"amount":"+0.8649471","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4304128$695525B2-0260-4F1B-846F-16C94A7C5B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"452b25f8262b4dc37f73326ee7da67099a47a43d","datavalue":{"value":{"entity-type":"item","numeric-id":4012884,"id":"Q4012884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"025f9b074f06fc6e9e8ab67fc984a6c4283d955c","datavalue":{"value":{"amount":"+0.86140263","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4304128$4A2B35FA-9CBE-433F-AC1A-5138487A3276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2744d86c32bc6fdeb25ff3ca1a3bf19e4b7bfd32","datavalue":{"value":{"entity-type":"item","numeric-id":3094164,"id":"Q3094164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a95014671abfb9813c1b7d9ec5baf9d034cf047b","datavalue":{"value":{"amount":"+0.8593188","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4304128$8899A145-E900-41BF-88F1-9F5DE047D0D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc3f3700b0889a5df262e2fb0c29d495d333731b","datavalue":{"value":{"entity-type":"item","numeric-id":5704003,"id":"Q5704003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0f0a7a36b8756b6a02f3f9f298ede8df26c70e9","datavalue":{"value":{"amount":"+0.8564606","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4304128$8886EBBF-FF33-4EE2-B4BC-4AA19C059989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27da39c224984c42dd01ffb42f69f521aac50eac","datavalue":{"value":{"entity-type":"item","numeric-id":1891931,"id":"Q1891931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46421c558f9f24f92421f38cb9f39112092c21c8","datavalue":{"value":{"amount":"+0.8545072","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4304128$651B8B70-285D-4291-84D7-3ADE05115F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c3b51f8a0d80d67354e45b2e72b0c69c6d1b718","datavalue":{"value":{"entity-type":"item","numeric-id":2871868,"id":"Q2871868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc1a7eb295d5e33a1bee8115b0e0e6d106d6a3b8","datavalue":{"value":{"amount":"+0.8529759","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4304128$8914CFD7-AB96-4060-A988-589EF2B77466","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4304128","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4304128"}}}}}