{"entities":{"Q4236203":{"pageid":6265804,"ns":120,"title":"Item:Q4236203","lastrevid":37347368,"modified":"2024-07-30T09:48:21Z","type":"item","id":"Q4236203","labels":{"en":{"language":"en","value":"Regular B\u00f6hm trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1268677"}},"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":"Q4236203$9585755B-8830-4EE2-86AE-126E7176F28E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b66b8ded861f508f404ff734c914ee04d28913f4","datavalue":{"value":{"text":"Regular B\u00f6hm trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4236203$18F26E0F-2FE0-429B-8202-0E5B007440ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f47b52790f9d9fafa3b314f1c26a76d568dd18a","datavalue":{"value":"0923.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236203$DA0C609E-72A7-407F-9EA8-9A22F3E3D332","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1893c2c29cf89a383e3662b1aa448797f136db96","datavalue":{"value":"10.1017/S0960129598002643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236203$42E460AC-2ED7-480A-A7FB-110F214B4E7E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f9facad47142ae6aca78e42226d987a134e9bf3","datavalue":{"value":{"entity-type":"item","numeric-id":789175,"id":"Q789175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236203$DCEBE993-011C-4949-8D78-BC2D5B729229","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":"Q4236203$ABCDFF8E-24C3-4EED-9E4A-B085099B58E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c181d2feac21a0f0954982c351421c590c4c609a","datavalue":{"value":{"time":"+1999-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4236203$266A2DFD-4240-4494-9D34-AC4C17D52ABA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236203$2B458B1F-60EE-49A2-B131-FCBAF320255E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236203$785FF940-B014-44DB-A407-C6D77C67BD63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236203$623EABBE-E591-41AF-BB09-769C60462A73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6119be0bc1b2791df3300b26efd663af66bae209","datavalue":{"value":"1268677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236203$28B4D40F-1D07-4ABF-AE2D-4DC1AD051B1F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236203$2FF79F13-12F7-4FF7-A8B2-1F6DC0954475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236203$8EF08A8F-4A82-44E9-8746-9A75293AFECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0b318642d28d9c554b5753c119901ef06411d51","datavalue":{"value":"extensional equality of total B\u00f6hm trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236203$2A3D959B-68B8-4DE4-8395-D405BA5D52E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acd03ed8c3a3c69c0996d7b7d658d4fff455389c","datavalue":{"value":"regular systems of recursion equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236203$B3E59E8B-C005-4DE2-98D1-CF0544D51F6C","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":"Q4236203$0052C532-ACCD-43AA-B684-B7B42841E54C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ab9bb3eb29e7e116db8b3702e68a3b3d2b0a8230","datavalue":{"value":"Q56608661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236203$0726E105-D842-4259-8134-6C440EBDB62E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d2efb35e96c66112a4271cd24d5cd495f37a4f6b","datavalue":{"value":"https://doi.org/10.1017/s0960129598002643","type":"string"},"datatype":"url"},"type":"statement","id":"Q4236203$7BF5B007-A0C4-4923-9DC2-CB23C28ADD38","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a5b4ce1c2b8f8d6c91e8d7147b43b71441fe094","datavalue":{"value":"W2135098752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236203$70692725-2CA6-4879-871D-3BEB5A0E3096","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4236203","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4236203"}}}}}