{"entities":{"Q5111191":{"pageid":7140765,"ns":120,"title":"Item:Q5111191","lastrevid":94289738,"modified":"2026-06-05T06:26:09Z","type":"item","id":"Q5111191","labels":{"en":{"language":"en","value":"Separating functional computation from relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204315"}},"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":"Q5111191$81EF02C6-896C-4867-9323-991BCC189633","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a09b572c9a10030410804964e983529ee93d5703","datavalue":{"value":"1434.03127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111191$4E05ABD3-73BC-43A4-BDBE-2559254F161E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"600d3a19753cf6cba81b7e42b63413a76fa78ab3","datavalue":{"value":{"time":"+2020-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111191$67948D9F-45AE-464A-9B0E-7C2D8CA08951","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111191$75A92FAD-6C79-44A6-B502-5C0AA138ECF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111191$3F18F8CF-14C3-48CD-B922-C0F6DA5DDB1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111191$C1D7DCAB-FE1D-43CC-96C3-461FA92D3D1A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9575dfb1f5dbdc7ef67ad349b5288c65093cd2fe","datavalue":{"value":"7204315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111191$FC7A71AA-28EC-45EC-BCE7-3D43A6712406","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"726a6b0314875adba7a88d08260b6a91ab95d2c9","datavalue":{"value":"focused proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111191$A57496DA-99FB-4107-ACB5-9243E6A0DD0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a7b0cf17169865b15e8c9d7014c24bafb8410c","datavalue":{"value":"fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111191$5636F2BA-CBB8-445E-9070-A011696676C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0d32ff029c529c1c61115c2a4700f80eeb29526","datavalue":{"value":"computation and deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111191$D27EE53B-BDCE-4A65-A4D0-50CC1A4835FD","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":"Q5111191$567CEBD6-3EED-4E3F-96E0-C6AC2269B3C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec548f9a4b31a1b11316f5cdb0a32ca35e80622a","datavalue":{"value":"10.4230/LIPICS.CSL.2017.23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111191$1B80ECF3-4DC0-4408-BC72-C7EF6A5B294D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e36e30c473efe86fbb830e5ed990880d4f822f57","datavalue":{"value":{"entity-type":"item","numeric-id":1318281,"id":"Q1318281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19e972e2fb61b4575ea1f53620f9b18ced966b1b","datavalue":{"value":{"amount":"+0.7128442525863647","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":"Q5111191$985CA7B8-4B28-48B3-9DA8-0C4A34416699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70579e0561e2947d961a7732118c010270775ba0","datavalue":{"value":{"entity-type":"item","numeric-id":3006121,"id":"Q3006121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"038f3722e19deee2d9deaf165e732d3ccf9689bd","datavalue":{"value":{"amount":"+0.706601619720459","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":"Q5111191$018506D1-407B-4EA9-BA2F-FE1034B6E5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e40c668d20a6f959bab0aea4e987f49a14342f8","datavalue":{"value":{"entity-type":"item","numeric-id":4461444,"id":"Q4461444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d07d69f9ea9c41ddc188cf52ea4efc3698ab1bd5","datavalue":{"value":{"amount":"+0.6950962543487549","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":"Q5111191$B2A443FF-22F6-4D29-B38C-C1B6BDB122CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b385eed773debe8321203b8912752d716ca20fb","datavalue":{"value":{"entity-type":"item","numeric-id":3081829,"id":"Q3081829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2decfec70073c9e49e0a11643a192a8b19894441","datavalue":{"value":{"amount":"+0.6924608945846558","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":"Q5111191$770A6053-F0F8-4687-87D9-13ECAC03CE14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5856fae6ba13e0bf5a445aba369b3e9abdc1a087","datavalue":{"value":{"entity-type":"item","numeric-id":4867684,"id":"Q4867684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82c367d6c938f031ac8ca21e9bb798424a76ac53","datavalue":{"value":{"amount":"+0.6854366064071655","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":"Q5111191$5322C187-3BA9-4D48-A045-7D029D7FFE4C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Separating functional computation from relations","badges":[]}}}}}