{"entities":{"Q3460064":{"pageid":5239464,"ns":120,"title":"Item:Q3460064","lastrevid":80524133,"modified":"2026-05-06T16:23:39Z","type":"item","id":"Q3460064","labels":{"en":{"language":"en","value":"There is no best \\(\\beta \\)-normalization strategy for higher-order reasoners"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6528791"}},"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":"Q3460064$55E47236-4DE7-45FD-A4B6-8AC5AB20652A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4832957ca62e02d827cf0ac9af81fbfdd0721bae","datavalue":{"value":{"text":"There Is No Best $$\\beta $$ -Normalization Strategy for Higher-Order Reasoners","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460064$B02C2AF5-7697-4377-94FB-CC60EBFF4D82","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4855e14c10766ebe65623c4e840604e8ac3b38e6","datavalue":{"value":"1471.68318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460064$AA8CDA30-97D6-4A19-9380-E9651AB3EE3B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a393aaf3e577437b7b49f5fea35afe14005dbd59","datavalue":{"value":"10.1007/978-3-662-48899-7_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460064$4CE83C98-4DD0-4173-81E5-3854B8A50928","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d804cf7e485bfddfeb0967f0a2ed09ee96e11180","datavalue":{"value":{"entity-type":"item","numeric-id":1799071,"id":"Q1799071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460064$3FB53F98-933A-4E4A-95C3-2BD9D21EA25A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a525f7cd8b191ac2b9090383b0dabde3689f4ff2","datavalue":{"value":{"entity-type":"item","numeric-id":287280,"id":"Q287280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460064$9889D68E-0899-46A5-AAEF-7534F3D4D90B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460064$DED66379-DBE3-4F7B-89ED-F4F1F0C902A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f91432dc3d3ba35c1a5312422600047e5b632480","datavalue":{"value":{"time":"+2016-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3460064$FD34806F-CD4A-48D0-9F82-2CDC2E1C3490","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460064$AC411EE8-D2EF-44D6-BA99-327EB2905153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460064$A28CE75C-EFA0-408D-B0B5-BD647C99AFB4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5862995bfbeb6a7e749141f18728db100ade26c9","datavalue":{"value":"6528791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460064$B54FD7B8-FB35-41A3-A510-CCCD1FEDF94E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ad14f82278379093e75b5195fcd2d15cc85b252c","datavalue":{"value":{"entity-type":"item","numeric-id":25468,"id":"Q25468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460064$810181A8-3BD2-4195-8A54-80E62879C005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"be9a1fdbfd35f7a816de32e6d9d9a2a21796c942","datavalue":{"value":{"entity-type":"item","numeric-id":14061,"id":"Q14061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460064$C8C7FBFE-4492-4F44-AAC1-F732128CCF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d83b780839e730b0091759b62a50b0f768844ed7","datavalue":{"value":{"entity-type":"item","numeric-id":21894,"id":"Q21894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460064$ADC59366-6C8B-4897-A865-5F357E218F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460064$E584A776-65A4-4C80-9C37-A23FE5EFAF5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460064$EF7EB82D-C2CC-46E6-B56A-C607C5708433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8e56b54ce67b3f3451fae93e0a157bd7197fba1","datavalue":{"value":{"entity-type":"item","numeric-id":21444,"id":"Q21444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460064$B67CD6B6-9E7E-450A-8C36-65D8EDCB5A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e3e00406e30ce785ebbefaf806da7a5b8ebf8458","datavalue":{"value":{"entity-type":"item","numeric-id":33172,"id":"Q33172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460064$E37526E0-C0A7-4901-BEC3-43201E9644C8","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":"Q3460064$DE508DBE-09F9-42A2-B1DA-B79072FC859B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"022a31f7e7d5259b4c0a411fcdca9d5bf9eba91c","datavalue":{"value":"https://doi.org/10.1007/978-3-662-48899-7_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460064$6158F738-E081-4A4E-AB31-15477D635315","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"30b7b1eaea239b93a9ee066cd5f0ceeff77fc701","datavalue":{"value":"W2253333731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460064$BC6FCFCB-E2CE-4BAB-8022-DE69F6726548","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d931526e367356240ec34d2c2080fa56c1e0b38d","datavalue":{"value":{"entity-type":"item","numeric-id":2817937,"id":"Q2817937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"378801826bc55ceda69a1ad6e769c610d2d7a30b","datavalue":{"value":{"amount":"+0.7188733816146851","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":"Q3460064$593273E0-1F67-4625-AB23-3E7090E15B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c4d101e88b11c58f66192dedc38877bf0bec8e5","datavalue":{"value":{"entity-type":"item","numeric-id":5055799,"id":"Q5055799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e1dab8fe58f2cfef73fed7517acbee0b314584b","datavalue":{"value":{"amount":"+0.6889380216598511","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":"Q3460064$D2BDCAA5-04B6-4289-841A-177F2EA840D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9d73c1c57ee476f4358f1088a1ae95586e7cf32","datavalue":{"value":{"entity-type":"item","numeric-id":2946592,"id":"Q2946592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"297663970184951a94e9d8375e923e79479eb053","datavalue":{"value":{"amount":"+0.6688284277915955","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":"Q3460064$881ED829-E899-4756-AC55-12EDDB41E068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3670522678c6e0e5d371ae4c9acfdb3762ffa3b5","datavalue":{"value":{"entity-type":"item","numeric-id":5369497,"id":"Q5369497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06a1de505b7081a40c36e11f287dc49bae3567be","datavalue":{"value":{"amount":"+0.66706782579422","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":"Q3460064$C4BF0D75-7FDC-46B3-81F2-289DE983A897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb5f2f4d1ac0a8dc6c0e79eb9870e9b10db0a421","datavalue":{"value":{"entity-type":"item","numeric-id":1401941,"id":"Q1401941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8752367ce5982e61b587b657c939347d8a9e88fa","datavalue":{"value":{"amount":"+0.665278971195221","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":"Q3460064$C1A3163F-FC0E-42B7-B59B-088FE0207692","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"There is no best \\(\\beta \\)-normalization strategy for higher-order reasoners","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/There_is_no_best_%5C(%5Cbeta_%5C)-normalization_strategy_for_higher-order_reasoners"}}}}}