{"entities":{"Q866556":{"pageid":868404,"ns":120,"title":"Item:Q866556","lastrevid":64947144,"modified":"2026-04-11T23:17:47Z","type":"item","id":"Q866556","labels":{"en":{"language":"en","value":"Weak typed B\u00f6hm theorem on IMLL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5126398"}},"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":"Q866556$C8701D9C-6C15-4EF8-BE31-FD68CA157AE4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d84088e872b1b895396bbf2f1572ca533b655e41","datavalue":{"value":{"text":"Weak typed B\u00f6hm theorem on IMLL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q866556$5D8CFEDD-54C2-4400-9118-D382FB9CB28B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d9ba9186538d402739e5b2a74eff1573b0a0772c","datavalue":{"value":"1110.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866556$1B3DA2A0-41A7-48B9-9486-56A6CCFA9DD6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b3fbe021fe8a37c72cf77df6028e0dcbf50af45","datavalue":{"value":{"entity-type":"item","numeric-id":601134,"id":"Q601134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866556$3607C9FF-7438-4800-B0B2-DA5398A498EC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866556$1ED3CE31-AD96-4509-A1B4-EC379F03DB99","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a94159f4ab38d8d1a06ee095402a858d13e226d9","datavalue":{"value":{"time":"+2007-02-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q866556$463130E7-A3AD-419B-BB91-73A4439A7166","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866556$896B5C17-DBB0-4C6A-AF8D-8C257AB92171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866556$92916CFA-0A41-4802-8E2E-C9EA25671D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866556$35046B40-F18B-42EF-8B44-29FFC94EA996","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4bea2c510bdf5cdf07744fe3be0ba1e7213f6c8b","datavalue":{"value":"5126398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866556$26900ADA-AF1D-4139-9380-EE0E0149BDFD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q866556$15D7B42B-D934-4216-83F6-8A597D37DBCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b80c99afc4950f85b79a2fe3707eb2e870b9567f","datavalue":{"value":"separation","type":"string"},"datatype":"string"},"type":"statement","id":"Q866556$31FC4179-7655-4AFD-B6F2-9A61AA47A2FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q866556$C558571C-0870-4CD3-AD2F-34B89B887EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae17f480993f5110336bf37df42b2b255f2e9c88","datavalue":{"value":"graph isomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q866556$FD567D6A-A96D-4050-AC26-5118F1EA891B","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":"Q866556$20F1EE34-5631-4E13-A1BD-C1A3533557B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7df0362f5e8cd3388a38cf7f3a2837658c4b94a8","datavalue":{"value":"https://doi.org/10.1016/j.apal.2006.06.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q866556$98E32A98-CB6E-46FF-B417-F7D75DFDB8E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c5f1b8857495c8a040a7f6ac3d86ecca4c26feb","datavalue":{"value":"W1615262499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866556$96CB3EE8-D455-4935-8E97-5F7D72EEE0F7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866556$8FF0C600-656A-47C2-B71F-62130EAE75C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea08311e5cede8e103fdccb0049502f7fb72a285","datavalue":{"value":{"entity-type":"item","numeric-id":1264140,"id":"Q1264140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866556$D4A5DD3A-186A-41DE-9F3F-0901A16788FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdb9e1d8ac47b2da5172822d140197006c8b55fe","datavalue":{"value":{"entity-type":"item","numeric-id":4842980,"id":"Q4842980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866556$35DB3851-4883-453F-A6A6-D6B76D7DA59B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"489a47940ceae4cbb0e073a78fad86f30d28f992","datavalue":{"value":{"entity-type":"item","numeric-id":2724040,"id":"Q2724040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866556$8A239F71-98A2-4FD4-9C47-4F075C673ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f12726e90794380dd81264e93de3b1d3cf4f88","datavalue":{"value":{"entity-type":"item","numeric-id":4916173,"id":"Q4916173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866556$C19F8D80-8947-465E-A5AB-605432F6A8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866556$84614C7D-353C-4A17-98E8-C0125A4091E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38da14e132b6ed87ebd6a06d39b0509028cb9550","datavalue":{"value":{"entity-type":"item","numeric-id":4896506,"id":"Q4896506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866556$270F4500-577D-4788-96CE-8EE327E0A3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59655309835d1bf65d33fbabff53d3818d2a066c","datavalue":{"value":{"entity-type":"item","numeric-id":4650583,"id":"Q4650583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866556$3291E3D8-BCBD-4262-A270-C481E6D4FD41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d9722cd4a2e3273cba83bfdf2161aaf8991717b","datavalue":{"value":{"entity-type":"item","numeric-id":1398468,"id":"Q1398468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866556$9E524A4F-D45E-4240-B853-FB714675D509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866556$666F351B-48A0-441F-89C5-BDDDBC59A9E8","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":"Q866556$7156A33C-C5A5-418B-A2EE-9279AF530345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b93f973f98b4638e8fbd5879c5084c6be77b8024","datavalue":{"value":{"entity-type":"item","numeric-id":3322071,"id":"Q3322071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866556$B1818041-4698-4EF9-9AD5-5BA07C77C0EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6b6a0f1004b92d4286ffbf8aa52803f1fe93d7c","datavalue":{"value":{"entity-type":"item","numeric-id":4811556,"id":"Q4811556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866556$6DE650FF-2755-4DD3-8A37-B7FAF03A854D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df345a10d5f4fb5d4890166879ec12127fbb9ac0","datavalue":{"value":"10.1016/J.APAL.2006.06.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866556$63896F2E-722E-4B02-AA11-7C337DFD098A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c2f547748106a223d53d26d3fff603a7984f397","datavalue":{"value":{"entity-type":"item","numeric-id":5013825,"id":"Q5013825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"626df3aebdbab1df6ca361ba2e61c58f575a511a","datavalue":{"value":{"amount":"+0.7991424202919006","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":"Q866556$86FA1C12-8803-4A0E-A8DD-60AB7C815481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1301fb52b89ef74f42f456c47fc225033b134c8","datavalue":{"value":{"entity-type":"item","numeric-id":3024825,"id":"Q3024825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7fb96b9d338993036b8b44aa79e5cca07cfeb15","datavalue":{"value":{"amount":"+0.7074090242385864","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":"Q866556$29A3D8F2-B8E2-4773-ADA3-BF0B10CA978C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afcbc147ff58141791856c42c017141265cfb2dd","datavalue":{"value":{"entity-type":"item","numeric-id":1781095,"id":"Q1781095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9963ba725bdb14e03194d6fb0c82126d810e56d6","datavalue":{"value":{"amount":"+0.7050929069519043","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":"Q866556$854F6626-931F-4A70-8AE8-432BEAF5B093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e8c22854c84567dec9ded8ca033bb9de29312b1","datavalue":{"value":{"entity-type":"item","numeric-id":908909,"id":"Q908909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c63b8df654a6aa286ff9ade915ed3575815cd542","datavalue":{"value":{"amount":"+0.7049791216850281","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":"Q866556$EB138A66-14EE-42D6-90EF-A3462B0B5D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56c6038cc0b3deee21532b850f3d8a53ea00279a","datavalue":{"value":{"entity-type":"item","numeric-id":1314351,"id":"Q1314351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6578baf9372716d135dcd52690b2ccb0e49fe0f6","datavalue":{"value":{"amount":"+0.7033484578132629","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":"Q866556$76A1ADF4-9AFE-4924-B8EE-A906F6237F7E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Weak typed B\u00f6hm theorem on IMLL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Weak_typed_B%C3%B6hm_theorem_on_IMLL"}}}}}