{"entities":{"Q6544118":{"pageid":14155262,"ns":120,"title":"Item:Q6544118","lastrevid":55668556,"modified":"2026-02-17T20:43:01Z","type":"item","id":"Q6544118","labels":{"en":{"language":"en","value":"A stratified approach to L\u00f6b induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7853729"}},"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":"Q6544118$D2EFCCB1-4C95-4E73-984D-3E8EF78F208F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb1d5e0bcd48f6ce2d3973eb966a2eba39ca5b23","datavalue":{"value":{"text":"A stratified approach to L\u00f6b induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6544118$A9DF34BC-4A37-4C86-B784-BFAD33117154","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d7658b80ca6c038e32c04e620c4cdae15306d9f","datavalue":{"value":"1541.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544118$47EC6031-8DFE-4051-BA27-9332EBBC9519","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"688ab5914c55cb17c5dce51a440b79b1611d2ba2","datavalue":{"value":{"entity-type":"item","numeric-id":5072608,"id":"Q5072608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544118$4EC4244D-C8F8-4F4C-AF29-C7DB1825680D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"573e97e485dc7f23b42802228edbcbd518cf2ea9","datavalue":{"value":{"entity-type":"item","numeric-id":444497,"id":"Q444497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544118$16BCE415-7252-43F3-839A-E9F34B6F8E2C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb446d46e1c3c1f4c9c481337a64fd2c7b9ecce2","datavalue":{"value":{"time":"+2024-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6544118$C328BCB4-8864-402D-B1B0-D7AE1607A11C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544118$F6D772A7-828E-4CB3-8106-24EF1D3C716B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544118$FAEE139C-E13C-4421-A629-1FAED9EFC358","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f939d2c488f68d3308f69ad34c620556d9216932","datavalue":{"value":"7853729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544118$B241498E-343D-4BD4-BD39-2F4DCD783339","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fd823fa813aa32375d6c4605d9195c2318674c","datavalue":{"value":"dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544118$EF62D9AC-E306-4073-B129-C20AB66AD231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78595e01e33a776db47f64e25022b2efb0c67194","datavalue":{"value":"guarded recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544118$B715B14C-A3C4-45F5-B3F4-32E1D7D4DD5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a278ca41aeffd803235a81f8fccb632735b2a2b","datavalue":{"value":"modal type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544118$AAB564FA-52ED-4DA6-A05B-72157525D777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e76da76122f5ca32c5c633ce8b9c54e05634dfc","datavalue":{"value":"canonicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544118$04B1E9B3-0F01-4F6F-8364-3011BA3DBDC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee6f9dfa2dc3b38a9c8cb00fec70f239107e180f","datavalue":{"value":"categorical gluing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544118$0A8398F3-FCD2-4B03-AE5F-011D1F8CF1A1","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":"Q6544118$4FD85DBE-30F2-4F85-98C2-5F0D0EA4A70A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f6f2c5b170769fd01bb8fc0974b3773336b41a27","datavalue":{"value":"10.4230/LIPICS.FSCD.2022.23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544118$CF79EA74-037D-47E9-8FE1-D60E551E5E05","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23c095875774ffee57b0e0e5306fd68355b8adc7","datavalue":{"value":{"entity-type":"item","numeric-id":2811330,"id":"Q2811330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b99c11addb27dee5ee3e9af071ebed80f809142b","datavalue":{"value":{"amount":"+0.7733189463615417","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":"Q6544118$89DD77C1-3836-4952-900D-34168481BBAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b7a33b967f081e59b026cdba18dadb0f9312c05","datavalue":{"value":{"entity-type":"item","numeric-id":2319985,"id":"Q2319985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"347eccbaa33fa5d743bda4ebf56a051a0c8f1e81","datavalue":{"value":{"amount":"+0.7663621306419373","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":"Q6544118$B02DDE35-FE17-4007-8CC1-2344C7F7B583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d8effd829e58950e817a9d3f1148acabc2c7bd4","datavalue":{"value":{"entity-type":"item","numeric-id":5278409,"id":"Q5278409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3364a8e259fa54ec551c57f4a3a37a78b775fc0","datavalue":{"value":{"amount":"+0.7509613633155823","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":"Q6544118$66675D6E-3155-4C70-84D2-B48F1A821EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"032e944735cb8eced73fb24ecb5a2f6a764363de","datavalue":{"value":{"entity-type":"item","numeric-id":5139284,"id":"Q5139284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aae27e19ce0aac59f5a485304a3cd85b3b5345b3","datavalue":{"value":{"amount":"+0.741410493850708","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":"Q6544118$5333CF67-4229-42DF-90CC-2EC85D68C371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3061c25d6f2c9d8be47fee4dfab609b514b4579a","datavalue":{"value":{"entity-type":"item","numeric-id":5144643,"id":"Q5144643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6f85c53cbe817fe9f970ac6ab8b4abf425ba966","datavalue":{"value":{"amount":"+0.7400898933410645","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":"Q6544118$567753A4-C287-432D-BC46-917B8842004A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6544118","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6544118"}}}}}