{"entities":{"Q4546091":{"pageid":6575683,"ns":120,"title":"Item:Q4546091","lastrevid":47963488,"modified":"2026-01-03T05:03:03Z","type":"item","id":"Q4546091","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1783013"}},"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":"Q4546091$632D534B-0833-407B-8E91-C8732D961FFE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c638d47a5753d78a442cc026cf856fa461751ae","datavalue":{"value":"1003.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4546091$DB3070CE-4FB9-40FD-A39A-28AD24974ABF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73d9d02996b9df5a49d4c95e6d6e91fa90929243","datavalue":{"value":{"entity-type":"item","numeric-id":2784793,"id":"Q2784793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4546091$8A5E5598-56D8-4817-88AE-1DB71289A4D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdd19df90689677c5397c0740db5d3f48f7a8b48","datavalue":{"value":{"entity-type":"item","numeric-id":235608,"id":"Q235608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4546091$55D12E5A-CA17-46AD-8CA7-1DC4A60EDF12","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63ff829be26711905016fdc54cdab22246fd5f3d","datavalue":{"value":{"time":"+2002-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4546091$365A8D66-78ED-44B8-9508-45A0196990BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4546091$5D5432F9-BE72-4698-930F-A85421ECDA49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4546091$4489BA74-4B47-4D41-817C-DDB480B783EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4546091$3A2C46AF-7DA3-43DE-9745-4DEB1F45FF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4546091$7B585C2A-C576-451C-A6F5-28698C9BD5E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4546091$90A366E3-039D-44BF-9135-69AD6CC40864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4546091$F7E240BF-4586-490B-A531-57C375DFB787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4546091$60BA4ED1-C721-4F5E-821E-AA1A22963E05","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6063ce4cf29def0f982438228604c998d747439e","datavalue":{"value":"1783013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4546091$B2ED79C1-4AB4-40D4-ADB9-C8E2E691638F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"891cb52951cd8665ac2e626ec216a4ae5cfa2b4f","datavalue":{"value":"semiclassical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4546091$0D9A1435-2F24-4A13-9EED-A5D38FAC684F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29bf94c19388de771b39e4bf5bfc588420bb3684","datavalue":{"value":"proof animation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4546091$7D16130B-CCAF-4CA4-8E7F-94F3CAB31EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4546091$ADF9D557-D4EA-4899-B253-F416B4604564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f01a6254f35d44b5497fd58b1547d759a6a51209","datavalue":{"value":"limit computable mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4546091$D8E82E0A-EE4A-485A-A1DC-36A6F4E742BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bca5b8f8493e57969b551637f12770d6fc436fb","datavalue":{"value":"learning theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4546091$9803B5CF-AB49-4E20-930C-87EE7F04AC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3102f4c12b5f51fd58e4f3324f426aac8a49e397","datavalue":{"value":"realizability interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4546091$906EA3FF-B105-42E7-8F4A-75BED101500C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0192518f150b73973913d232038c377dc92e9574","datavalue":{"value":"limiting recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4546091$E4817450-EACE-4384-85A4-26497802F086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaee43cc17bcd9aabcf75fabafc38e1083116de9","datavalue":{"value":"automatic extraction of limit-algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4546091$BE979570-64C0-4E23-B69E-4467E408E463","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":"Q4546091$EA469A79-18CC-475B-A197-27E3806D3604","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adb9fe95ae2313d2d4fa1553573be070f106b348","datavalue":{"value":{"entity-type":"item","numeric-id":4736394,"id":"Q4736394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25402c1d5e2d06d3df43a0f4e1212f3638136222","datavalue":{"value":{"amount":"+0.8806405067443848","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":"Q4546091$0D0557A9-9E71-4A8D-9983-25A2DE4E5072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3fd93d64187ca53d6800947951b8442bea684ee","datavalue":{"value":{"entity-type":"item","numeric-id":4411811,"id":"Q4411811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"797da2e6a7d468d2d9bf75764b56115473ca081f","datavalue":{"value":{"amount":"+0.8574879169464111","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":"Q4546091$44E3D61D-B36B-43A2-AC63-6BB4F6C9CE5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46df7930d4b5dc7ab0e9b7d72e1d7ad9dd092984","datavalue":{"value":{"entity-type":"item","numeric-id":4420630,"id":"Q4420630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4c8191016216df798d1a7fb86f4526db6ec1f68","datavalue":{"value":{"amount":"+0.7615728378295898","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":"Q4546091$98BAEE70-7660-47A2-8F33-70A14F31A145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77d21420c6da3eaef366a9deb3a45c7bcfef9f7f","datavalue":{"value":{"entity-type":"item","numeric-id":817838,"id":"Q817838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9f1cc64a87f91cc2325d14a202fd16e526e4dee","datavalue":{"value":{"amount":"+0.7594156265258789","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":"Q4546091$94025CDB-F404-4556-A76E-25076CB0C450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9192d321194d539e4b0c90c8f4bb37cb56fcb399","datavalue":{"value":{"entity-type":"item","numeric-id":4215635,"id":"Q4215635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6d1b03dd1f736230811f074e9408bfc791323e3","datavalue":{"value":{"amount":"+0.7554565668106079","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":"Q4546091$9BFF2B83-B39E-4214-80F0-85CE12243280","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4546091","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4546091"}}}}}