{"entities":{"Q1120561":{"pageid":1131310,"ns":120,"title":"Item:Q1120561","lastrevid":66170712,"modified":"2026-04-12T08:01:25Z","type":"item","id":"Q1120561","labels":{"en":{"language":"en","value":"Decidability of the restriction equational theory in the partial lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4101142"}},"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":"Q1120561$B91ED910-69CC-4841-96E9-7BE72BD79593","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"71b3abf5447438fa31732eb3f64e74a9535be1b1","datavalue":{"value":{"text":"Decidability of the restriction equational theory in the partial lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1120561$5D2D09DD-3BCF-4724-B662-AA8D813B5A18","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"068547f34e27f362a2a3439cf251ee030b548954","datavalue":{"value":"0673.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1120561$1293EF24-179B-46AE-B2C0-EE4909F1F892","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"600dfd9a44d87665319b855be6711b027d76615d","datavalue":{"value":"10.1016/0304-3975(89)90029-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1120561$2058EDEF-B5DF-4526-BCA5-0B4BED89E5DF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120561$7C62DBCD-0F76-4AE3-A761-AE51AE8A3A86","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1120561$FD3FB750-04A7-452B-8F15-9B37D35D15BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1120561$66E65273-F8A4-471C-883A-B7264514B919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1120561$4390ECDD-7547-49FC-9595-5CCEBEEB489C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5cb4557cafe03946b9c2a6a675c26cf07b55e97b","datavalue":{"value":"4101142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1120561$375519A0-B339-4305-8CF2-14D688E1D087","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1120561$5973F378-C2E5-4A5F-BB25-ADF13660DBAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ca3e4ccd9341b679b089b8cca892444ef1de99a","datavalue":{"value":"partial \\(\\lambda \\) -calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1120561$CED00197-40FF-461D-8DB3-1B71F3050593","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8173eedd914f9f1cc8a31b7ccb6a3d161d688109","datavalue":{"value":{"entity-type":"item","numeric-id":535327,"id":"Q535327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120561$738BF09C-B553-4D08-855A-3DEC9A52AD8B","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":"Q1120561$9F64E7E6-EEAE-4A10-BC77-1D1A429A6186","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ee52389301f07f0c0a6e71e8baa5dc933d80df74","datavalue":{"value":"https://doi.org/10.1016/0304-3975(89)90029-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1120561$14C0D892-15FB-4B19-B011-CC56FA1F74B5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ec88c7aa55d717d8c75095d439c70549134bbf1","datavalue":{"value":"W2033325992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1120561$B6681F30-F4CD-4C47-83E3-687B65FFBB05","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8128be7a2395e4b6b58abe3d71613f69ea9d0962","datavalue":{"value":{"entity-type":"item","numeric-id":3785893,"id":"Q3785893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120561$E66B4B08-51A1-4CFE-96B4-7171051E707B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb96e8d2f828de26d31793885ec8de7237895a04","datavalue":{"value":{"entity-type":"item","numeric-id":3755377,"id":"Q3755377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120561$8C0A8D72-5741-478C-8FD9-A6A2862B8DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d08a7e7d403cea257b26647f08cfb168edc0c81d","datavalue":{"value":{"entity-type":"item","numeric-id":3734394,"id":"Q3734394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120561$4FBDBFBC-A672-45EE-8FBA-BAB5333E0740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120561$70BBD0EB-22F4-42AA-9ED1-5350EDC02067","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9d5f56acfe3d5bd37bb9be5aade0137b640876df","datavalue":{"value":"Q126377493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1120561$316ABF76-C57D-496C-ABBA-5663693F392B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2d809c196c39f2e163ea8fcf30b346cc6e52b3f","datavalue":{"value":{"entity-type":"item","numeric-id":4855295,"id":"Q4855295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9469a3137ac8db709a6b09596318b8aca1db1a28","datavalue":{"value":{"amount":"+0.91240966","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":"Q1120561$EE5F5B24-BAC5-4C62-A785-235C8A47E351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3260d99a7a47922e0a128a281b2b9b3f96c3b722","datavalue":{"value":{"entity-type":"item","numeric-id":5311271,"id":"Q5311271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6937a6a86990234d6659e8f8d396cc74baddf703","datavalue":{"value":{"amount":"+0.9042346","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":"Q1120561$F0126C2A-B7D4-4447-B497-3AA5D2A73473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07ee8cdadcd6bc865397bd6d0985bfbeec60a7d4","datavalue":{"value":{"entity-type":"item","numeric-id":4368829,"id":"Q4368829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a6ae0ebd8f32d1236f8e59c2bdb8f53a83c4942","datavalue":{"value":{"amount":"+0.8979301","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":"Q1120561$085B794A-AE51-4527-9B5D-A3248D2546BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fba1f603b5d91155752e2ea53d4b5acc651a3501","datavalue":{"value":{"entity-type":"item","numeric-id":5151271,"id":"Q5151271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a91731d9f726a4dad41a8091c5be7c5909914673","datavalue":{"value":{"amount":"+0.8917659","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":"Q1120561$E4B9ED1E-C5D5-4BC7-8C7C-878FB078D7C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c6e28e198e7f0c2e2686b0d35dc61587ead36d3","datavalue":{"value":{"entity-type":"item","numeric-id":1283777,"id":"Q1283777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"968ed79625a38289a4182908357cd3cc46ad56e6","datavalue":{"value":{"amount":"+0.89088774","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":"Q1120561$9B093A6F-68CE-459D-93B7-817BA42ECFCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fec5d0c616008f5cac10e35f132478da42b849bd","datavalue":{"value":{"entity-type":"item","numeric-id":1617808,"id":"Q1617808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f835c30699d8876d2cbf52f4b55a4c93635b50e","datavalue":{"value":{"amount":"+0.8901883","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":"Q1120561$26A05983-464A-44EE-9BE7-3FDDB4A4F02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f56ed859f813aa5623e7d3c6574d2c8e24181a53","datavalue":{"value":{"entity-type":"item","numeric-id":1102933,"id":"Q1102933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"321e82c6cf4a934bc1a65b98207d112491a1e9d3","datavalue":{"value":{"amount":"+0.88965976","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":"Q1120561$51554A02-AECA-433F-A8ED-7EF80860D953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab8523f9fbdd0cb5d75658db58f361aefd862698","datavalue":{"value":{"entity-type":"item","numeric-id":4903716,"id":"Q4903716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0021f0e8ce14439dedb5ae08e3556afd2de7f092","datavalue":{"value":{"amount":"+0.88963985","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":"Q1120561$F51B9118-A42A-4058-945C-4C8741038CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b636f4e8f1fa0aee790a7d6b8190c5680ec0a7d","datavalue":{"value":{"entity-type":"item","numeric-id":3779785,"id":"Q3779785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2058f56f9a2477b25d34971506684c4be9bdb0e","datavalue":{"value":{"amount":"+0.8885669","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":"Q1120561$3BD60534-592F-43EF-86FB-D63AB7387961","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":"73138c65109a777c998da2a51db942f6bbd5a1bb","datavalue":{"value":{"amount":"+0.8872891","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":"Q1120561$B5EC452F-386A-4862-8963-4C091D601E45","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability of the restriction equational theory in the partial lambda calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidability_of_the_restriction_equational_theory_in_the_partial_lambda_calculus"}}}}}