{"entities":{"Q435192":{"pageid":436959,"ns":120,"title":"Item:Q435192","lastrevid":51507818,"modified":"2026-01-18T13:40:56Z","type":"item","id":"Q435192","labels":{"en":{"language":"en","value":"The bounded functional interpretation of bar induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6054356"}},"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":"Q435192$AC5AFF1A-EB21-4D23-9B3D-4852F130CC7C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"05f0ddca90ee9b546abfb3452f9ec9113ed9f55b","datavalue":{"value":{"text":"The bounded functional interpretation of bar induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q435192$BEB44349-99B5-48BB-841C-39E6FB3E05B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef05a32f241d6ecc58aaad7993cae4e342145db5","datavalue":{"value":"1251.03067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435192$31665D01-2CA9-4EB6-838F-8F834993E820","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0643b451d3d4d7cf4c29765bcd3acb917829b66f","datavalue":{"value":{"entity-type":"item","numeric-id":435191,"id":"Q435191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435192$FF9F522F-E890-4B69-A0FA-6A040209F65E","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":"Q435192$CC543987-96DD-41A5-99CF-174FE3AE8C3A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bd45fc3d52e63dd9b568441f08440ab7d091981","datavalue":{"value":{"time":"+2012-07-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q435192$12771702-B2BC-4BA6-9BDC-7E39358061BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435192$4F59E23E-99BE-423A-830F-CDD1CA9CD497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435192$14B8C83F-734A-41F7-B0D8-BA484E2B2F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435192$0C3EF467-919B-4D13-8BA9-395278761755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435192$42F08A57-66CD-4A27-BB3D-C328A17B7BD0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34e89cda63fd4d998d883373e8dbfda54ecb8d90","datavalue":{"value":"6054356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435192$09B2E389-CC35-4C2F-BBA9-E51A43DD6FE5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"492942e689dba58f90096ed1c12c52b0f868caa6","datavalue":{"value":"functional interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q435192$8C4BD3DA-2B1C-4FE9-BB21-FCDACE7F456B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ecd18eca3fc9713df6a82ddda202d74f024f012","datavalue":{"value":"bar induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q435192$D35F8C60-C16D-4305-8664-258E44CB9024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d814d889f15eb2ffed4f8a2ddab77eb065b0fe4","datavalue":{"value":"dependent choices","type":"string"},"datatype":"string"},"type":"statement","id":"Q435192$3F0FFAF6-B7B1-416F-A2C3-0C06F5320FFE","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":"Q435192$83839BBB-F1A7-46B1-AB2D-4BAD15024741","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"13888feeda5404471906f694c1537a1b006d6d81","datavalue":{"value":"https://doi.org/10.1016/j.apal.2011.11.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q435192$38EC4DB1-0FD1-4CD6-ACCE-B0C63B3B3A5D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1865df5740b1a1e0ac42e068830e40d696dc6c08","datavalue":{"value":"W1988440870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435192$68BCB4CB-213A-450D-9F1A-5F4ACD8025AA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9e593366f31d930f40754b240c5653248ea6","datavalue":{"value":{"entity-type":"item","numeric-id":4215634,"id":"Q4215634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435192$705808CE-A4D7-45D6-9F07-3E5962F20F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"255ee49ffb6e409a3ee7cd255cf0ba0ce9b8a9ab","datavalue":{"value":{"entity-type":"item","numeric-id":3699687,"id":"Q3699687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435192$5A5C129C-E929-4092-A2BD-208BFBD19D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27ddf42d7166ec3534d79cd606a257788d4d5f88","datavalue":{"value":{"entity-type":"item","numeric-id":3570171,"id":"Q3570171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435192$CB2467D8-4E60-42BB-8625-3DB33C32868A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26b1ef00bc67d2868d77b06ad6b8d2cf11afcb4","datavalue":{"value":{"entity-type":"item","numeric-id":2488269,"id":"Q2488269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435192$BB1B9FB5-5C9F-4FA1-B5DF-A43F29C506CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e4346e6e59c11b557f53de878bdd86885037a4a","datavalue":{"value":{"entity-type":"item","numeric-id":3079692,"id":"Q3079692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435192$74F7361F-6521-4AF7-A447-D029B85768B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435192$A530EB38-1AB5-4192-987D-91515381E2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed487916d3cdc9c48e6c95427874ba546cc872ae","datavalue":{"value":{"entity-type":"item","numeric-id":5545953,"id":"Q5545953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435192$1C672B10-8C05-4914-9E45-70119DB3F976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435192$85A4C889-05BE-4ED2-80FF-6200CFC872D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fa6c57aae1d21de49bf812d56ed5b9bb9f3500f","datavalue":{"value":{"entity-type":"item","numeric-id":3837732,"id":"Q3837732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435192$7A826D92-25FD-449A-B576-5D8F97C70688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e73cbdc4f532ed72bacdc9e85f4929b162897095","datavalue":{"value":{"entity-type":"item","numeric-id":5450521,"id":"Q5450521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435192$F04D14EA-9270-4A1E-B78C-842CB2D5DCDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94dc542c9d6156fb40798000fe216fba3c289720","datavalue":{"value":{"entity-type":"item","numeric-id":5898840,"id":"Q5898840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435192$B3FAC8D0-F6E5-4A24-A995-55F82A46A9A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dac56f2072a3893c756d692707c0c07bfe6e585","datavalue":{"value":{"entity-type":"item","numeric-id":5519134,"id":"Q5519134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435192$9567595D-1173-477C-B319-C8100DD88688","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d7e555c72d62911c4b9fff98b2e2a40e8279d2c","datavalue":{"value":"10.1016/J.APAL.2011.11.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435192$4448BD73-BE74-4B95-950D-EB02301CEA80","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c1eca4444bb99a64ff5e45d5c3692d1f030ef28","datavalue":{"value":{"entity-type":"item","numeric-id":424545,"id":"Q424545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"161667fd33d394e52c029969bbd080c197446b3b","datavalue":{"value":{"amount":"+0.8184356093406677","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":"Q435192$83A74330-1161-4CC2-A74F-63EA1D0C9EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f2ca2f7785c5c758f37d5bc6832da68a2049b37","datavalue":{"value":{"entity-type":"item","numeric-id":2488269,"id":"Q2488269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4df96b1abfbf0bd1ef9ac226bbede5518a1504d","datavalue":{"value":{"amount":"+0.817463755607605","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":"Q435192$532F725B-2EB1-451D-8D42-CB8571320F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98e42f71f56b705b565b1d6fafd60e33d492f3b3","datavalue":{"value":{"entity-type":"item","numeric-id":3570171,"id":"Q3570171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebdf7319f8f6b0326c522e6d367b8e5f318c75f7","datavalue":{"value":{"amount":"+0.8090965151786804","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":"Q435192$E599D590-A8F3-4E90-9239-89688CE6FC0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a8dd623b2765c91675fdfefd6fc0fcca8224f3b","datavalue":{"value":{"entity-type":"item","numeric-id":3655246,"id":"Q3655246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f1cd08cacb2cf9d57907c733882e42a80ebd264","datavalue":{"value":{"amount":"+0.7895753979682922","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":"Q435192$A8DADE1D-1C71-42B3-8370-9561FED4D171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1566a8661a3749d8a0e2cb3993b7dd8bb7ac742","datavalue":{"value":{"entity-type":"item","numeric-id":866559,"id":"Q866559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbe6b4981109c11306bb570a9b9fad37f56e2479","datavalue":{"value":{"amount":"+0.7859888076782227","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":"Q435192$F016A3DF-46FE-4433-8DA0-3D8191756F3B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:435192","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:435192"}}}}}