{"entities":{"Q3497624":{"pageid":5527527,"ns":120,"title":"Item:Q3497624","lastrevid":90210614,"modified":"2026-06-04T19:34:33Z","type":"item","id":"Q3497624","labels":{"en":{"language":"en","value":"A formalization of Newman's and Yokouchi's lemmas in a higher-order language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5587009"}},"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":"Q3497624$9BD8D9E2-A129-4B3F-8D22-1F58DAC6D436","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1fb0d7dd4dd3004e9a3f126980ba60ea5d6783d","datavalue":{"value":"1171.68713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3497624$E9FA62AF-1851-4D32-A928-9D53D701C64D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"baaf8ee5290380abf3ee36f3d116f49dd8b26b4a","datavalue":{"value":{"entity-type":"item","numeric-id":1791142,"id":"Q1791142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3497624$E3C6E54F-53E2-4AD8-BFA2-3DB7500A1EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb39c66b74dd471ce57c28215b275dfb915aaaa4","datavalue":{"value":{"entity-type":"item","numeric-id":529653,"id":"Q529653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3497624$0B7E4766-C7D4-412E-8C1B-BBE14846CD1E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d60ea8f72fb34c12d98efcbb4ab2f5f6bfd76074","datavalue":{"value":{"time":"+2009-07-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":"Q3497624$D0E1735A-3DF5-4F63-A00E-17FF6E243826","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"385774786c43fc6e9d89c0a070a6f4ac6d1bae9b","datavalue":{"value":"http://jfr.cib.unibo.it/article/view/1347","type":"string"},"datatype":"url"},"type":"statement","id":"Q3497624$F22DF121-BE4B-48AE-9B93-E83A56FE339E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3497624$A5B3A536-3B53-4053-B089-9DEABFDD65F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3497624$37D8A538-0E8C-4B5D-B2CD-FBCE0F33AD40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3497624$DE062F6E-3AC8-4850-8BC0-C4E44D193160","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b93088cc9acefdf100b09e4051f9a4d52ac56f55","datavalue":{"value":"5587009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3497624$65BF2CD7-62DB-4E30-BAC0-E33F66F6FE4C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3497624$4A3E9A4B-D1C2-459F-B94E-899D29125539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e916eb1dc395e3830d6317d3e8aefcb052d11440","datavalue":{"value":{"entity-type":"item","numeric-id":21785,"id":"Q21785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3497624$AC19C98D-EE2E-4DCF-AAA3-13354E2A0E04","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":"Q3497624$C133E84A-C6C6-4689-A487-3D765EEB5D31","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"784d752e89c7e05bd25348ed6bba8840b1f27fd1","datavalue":{"value":{"entity-type":"item","numeric-id":4665735,"id":"Q4665735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e13cf21d180da197d6219d06e1afe814c6df782","datavalue":{"value":{"amount":"+0.760967493057251","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":"Q3497624$E3944756-41E7-4C68-BD1D-90871B71D711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"067b9ee5d1759bf8dfdf5a7d76851fcc9c0894c5","datavalue":{"value":{"entity-type":"item","numeric-id":1610218,"id":"Q1610218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c38c116bac47d7214d3cc2b34a0ba31e81d07a49","datavalue":{"value":{"amount":"+0.7542163133621216","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":"Q3497624$C6878A5F-B31E-4137-80E9-EC8B0D225E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdb3531ff2751186a7a9c4e837386d4dbee1edd1","datavalue":{"value":{"entity-type":"item","numeric-id":616850,"id":"Q616850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d88129558f94da0319f2492d48dcaa0f9f97f31","datavalue":{"value":{"amount":"+0.7450841665267944","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":"Q3497624$4F2E8D51-5BDC-42F0-BA24-3D5A21B78D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c3fcc70cbacba082674ba9f2308e715eac7d5c2","datavalue":{"value":{"entity-type":"item","numeric-id":5178962,"id":"Q5178962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c801415a6c0c9f7665749d9f1268827a8a766b96","datavalue":{"value":{"amount":"+0.7321221828460693","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":"Q3497624$E091844A-5BC2-4CA1-B05F-6C1411313763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74fcf341e56eb6ee74155d07e9b0e438d2a5b766","datavalue":{"value":{"entity-type":"item","numeric-id":5477667,"id":"Q5477667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80572730d040c78893f8bfecb53b23125bdefad3","datavalue":{"value":{"amount":"+0.7197017073631287","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":"Q3497624$1F2BB79F-1DAA-498A-B439-3B092F494FCE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formalization of Newman's and Yokouchi's lemmas in a higher-order language","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_formalization_of_Newman%27s_and_Yokouchi%27s_lemmas_in_a_higher-order_language"}}}}}