{"entities":{"Q4236200":{"pageid":6265801,"ns":120,"title":"Item:Q4236200","lastrevid":41256897,"modified":"2025-04-25T10:09:40Z","type":"item","id":"Q4236200","labels":{"en":{"language":"en","value":"Abstract B\u00f6hm trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1268674"}},"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":"Q4236200$F440DCAA-B638-4674-B506-36C8CF9BB754","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"223fedb210cb3e7c331e0c48294ebf27c8dc029c","datavalue":{"value":{"text":"Abstract B\u00f6hm trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4236200$2F71367C-E4D0-4993-BF7E-5A3779DE340A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23532da0a86ae5d1c3afe92ec904cef2d691f061","datavalue":{"value":"0923.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236200$14578EF7-7268-4038-8588-7C403BD48977","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"629969884d4eba24064b91fdf99f051414ba7e8c","datavalue":{"value":"10.1017/S0960129598002631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236200$063C8BEE-1B20-4C9D-B468-5E4DC3B56640","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cb313c50586523a1a82ffb573c59952e4111e32","datavalue":{"value":{"entity-type":"item","numeric-id":418199,"id":"Q418199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236200$D3080AB0-41FC-4C4F-B2BA-AA357401EE9B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236200$F57A26FF-E623-4537-A02C-2E60E92C4BCA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1eeeea4931e75e6b5358c627cc3e151b80b82718","datavalue":{"value":{"time":"+1999-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4236200$0A749655-9DBE-459C-BA32-D7B5C542AC80","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236200$6A0950EB-EFEA-4757-9579-DE748D13F607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236200$38C12BF6-7255-46DF-864F-70F648403DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236200$264A440B-8063-48CB-B2A6-04D7A4CCA8DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b73640f39d622dc49c771b149f8e2709e6d281f","datavalue":{"value":"1268674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236200$1EC44D81-07F7-4562-B485-61F89E4E3590","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdb5a6a2c274741d677a08a8ef39da5ef0e18a3d","datavalue":{"value":"view abstract machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236200$C199BCC0-FD58-4239-B08B-5F671F5217CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2574b2f2d23bc74bfa4c3a7e3f8e4e9a9a1967fb","datavalue":{"value":"multi-category","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236200$03514865-B3E5-4EDA-9926-0A688AEABDFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc1782cea12820ac6f15ee71dafc496ec506bb7a","datavalue":{"value":"trees with pointers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236200$D8CD26CA-7752-4E0E-84A8-9FF05561B69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ca5848b67a8906b68b96522b7350affe121ba4f","datavalue":{"value":"abstract B\u00f6hm trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236200$640A93FC-75B2-4310-B559-D2E50241F0F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bd34074526ff9d5d53722d72ef57f42fa801ea2","datavalue":{"value":"cut-free proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236200$75E7B303-66FB-4991-84BF-264941AFF626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e27fe2ea121b658cbf87ad7343be7b921b9d4c0d","datavalue":{"value":"normal terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236200$D569879D-6D93-40EC-ACC1-59CCB5CB02C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bdf68a7e5153cc4e9460c832d86aa6d37c99ab7","datavalue":{"value":"\\(\\lambda\\)-calculus based languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236200$F296CBCB-8376-409D-8789-92155F1E9283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc81e5fd0486240a004d0fcf246694d982d459f2","datavalue":{"value":"game models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236200$D05AD723-8885-4618-9211-86458E9778D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58049be9533b1625d2ad01bf3f968fd1d108dde7","datavalue":{"value":"Novikov's infinitary propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236200$5FDBD4DA-5EC5-4C36-B447-6A3261677B68","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":"Q4236200$ACB352FB-442B-4FCC-A8D5-E2B391427C09","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b03cc22e37cfd2549eb0ff26847573a18c0cf98","datavalue":{"value":"https://doi.org/10.1017/s0960129598002631","type":"string"},"datatype":"url"},"type":"statement","id":"Q4236200$6C4908F5-CB31-4980-A5AB-6D1945E4C731","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"05399aaeef322a91e2b0a5cb90b0abe62c2b5b07","datavalue":{"value":"W2054684736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236200$871DB290-F571-43A3-874C-94EE89F8A0DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05de9bc273b65a0328636ab0718ca0a04ba55485","datavalue":{"value":{"entity-type":"item","numeric-id":4236203,"id":"Q4236203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c7dc2746600649172aa218cb5234929efb0831e","datavalue":{"value":{"amount":"+0.8803539","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":"Q4236200$BC7007B4-5236-429C-944E-61B632A7AAE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28e4b9b282f293860ccc43a6ced7a444b3ee8dac","datavalue":{"value":{"entity-type":"item","numeric-id":2963900,"id":"Q2963900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cba0f5cfd053b3caebe68eb990688ad9b932a3bd","datavalue":{"value":{"amount":"+0.8724687","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":"Q4236200$4D5F8A41-C34A-4009-AD5D-E993144A2033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06cb0e9e750a58563b7ac4926b798b8b4b406f7b","datavalue":{"value":{"entity-type":"item","numeric-id":4499287,"id":"Q4499287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9eae328a0f978e4ea9a91ee5168340112f6c144","datavalue":{"value":{"amount":"+0.86898524","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":"Q4236200$DE65A4A2-E4DC-4BB5-A157-DDB34B0BE06B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41041c232e9b48ea05c4114c7fe83936cf8c2718","datavalue":{"value":{"entity-type":"item","numeric-id":3636829,"id":"Q3636829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01f1510b5424649817a4084ecfbc45c9ff431891","datavalue":{"value":{"amount":"+0.864166","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":"Q4236200$ADE048C9-492F-48A6-A201-D655FC294FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f64a0b6ad0bb1fd8f579307e0a4c6d1c34eba02d","datavalue":{"value":{"entity-type":"item","numeric-id":2708318,"id":"Q2708318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28614f525296a02ad298030c26e9a29b11591e55","datavalue":{"value":{"amount":"+0.86349344","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":"Q4236200$4EC40163-9075-4DF0-AC85-9287A1D21401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"026852d1e1733cb0b6c1a4d4768135b9c488a68f","datavalue":{"value":{"entity-type":"item","numeric-id":623477,"id":"Q623477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e6ce4d6ec3d4707ff659d4c9ac188c3712850e2","datavalue":{"value":{"amount":"+0.8247967","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":"Q4236200$60937305-74B9-4A5C-8205-86098FBAF130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd322ca5a65eb1bdb4f66a35dc904ed5999249e6","datavalue":{"value":{"entity-type":"item","numeric-id":5145341,"id":"Q5145341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4367978c3402afbb9528b673392b33f3fda6299f","datavalue":{"value":{"amount":"+0.8155799","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":"Q4236200$3E3599FE-C47F-432C-B362-ABF1D1379E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22a5497fe4b72a6de45da24ef995791635f06fd9","datavalue":{"value":{"entity-type":"item","numeric-id":3459511,"id":"Q3459511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c363ed4c3d3f824ba69c3d46880c25b5d0714fa","datavalue":{"value":{"amount":"+0.8094477","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":"Q4236200$C24618B1-F95E-44B7-9582-10E4F7E23907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60af78d72506b685143466f69f67210ff43c68a9","datavalue":{"value":{"entity-type":"item","numeric-id":4848230,"id":"Q4848230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73fd4e298b67381c620efd7abc66b0df3b865d2a","datavalue":{"value":{"amount":"+0.80667996","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":"Q4236200$140AEE5D-E8B1-4EFF-B0B5-4E8DB8280700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdd4b62f5232d7b00f9e6dcf99cee3f622b6409c","datavalue":{"value":{"entity-type":"item","numeric-id":428894,"id":"Q428894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11f02f62101a308a880848d22a1c7ff0b87bfdae","datavalue":{"value":{"amount":"+0.8066649","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":"Q4236200$E3EE404F-6337-4E01-B4C7-0AEC05B88C69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4236200","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4236200"}}}}}