{"entities":{"Q4736394":{"pageid":6765974,"ns":120,"title":"Item:Q4736394","lastrevid":48312415,"modified":"2026-01-04T08:17:43Z","type":"item","id":"Q4736394","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2085171"}},"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":"Q4736394$C1B37DC4-E753-4C7C-A71E-DEBE7F3089EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e5e4f86621c920487c839647d1ba665fee1f00e7","datavalue":{"value":"1054.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736394$FE8129BE-A78E-4BB8-AB75-95B937B9DD83","rank":"normal"}],"P16":[{"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":"Q4736394$C5656E9E-E770-46DB-AF8F-7FAA727FC722","rank":"normal"},{"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":"Q4736394$6CC101B6-A776-4391-A0CC-5EA4305A8526","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d96456414d6af50ce04ff076f3343376c47fba2e","datavalue":{"value":{"time":"+2004-08-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4736394$F0916B99-D1F6-4B59-A294-4D52954FE268","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d50d12652f015e86fe04b6d4b29c8f659a8f2705","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2277/22770125.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4736394$5470486D-3B18-4AEB-AEC5-2FC3B6E1A2A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736394$685B62CD-7EEE-4C97-BA24-A571F83D0C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736394$9E75FDE8-DD06-49ED-9421-402CA842E742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736394$360460A4-9B63-40C2-B52F-9CE5DC17A6DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736394$83C7947B-07EE-42E5-A883-9F32446D8D2C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b99554f8f4b70df49567d07e4eb49e455b50717","datavalue":{"value":"2085171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736394$5EE2CFAE-1239-4865-8DF5-93082902B6DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0805df5a141295af95d64629b80e071ac530959f","datavalue":{"value":"fragment of classical mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4736394$FCE3698B-D02D-45F6-A7C9-2F899629C219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5f43ab23bab2cf648f208975eb8fafa2e4993a4","datavalue":{"value":"computational content of LCM-proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4736394$41360E43-B430-42C3-9F6D-701BDD2FF3F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0192518f150b73973913d232038c377dc92e9574","datavalue":{"value":"limiting recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4736394$A920143E-11B9-46FB-AD1F-F7B0F2C81B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29bf94c19388de771b39e4bf5bfc588420bb3684","datavalue":{"value":"proof animation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4736394$D32D078F-C0E6-4F28-AB22-69FAE476FF65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05ca76faeb672415cff41bbc3ad8454e227be1fa","datavalue":{"value":"learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4736394$9B1650D1-0949-4263-B8FF-3B01271752C5","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":"Q4736394$0B86B703-B514-4D6A-85F8-6BC2455CFE76","rank":"normal"}],"P1643":[{"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":"3f4aafe01454fa94852e1c308ab1380843b75f1a","datavalue":{"value":{"amount":"+0.9423528909683228","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":"Q4736394$E0B1355C-156F-451F-8A12-E73F87876B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78eafef59b3a0ef7b87587a9e17a2707764708ed","datavalue":{"value":{"entity-type":"item","numeric-id":4546091,"id":"Q4546091"},"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":"Q4736394$4459D99F-99E7-43D9-83E7-71F8D1326EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdb9a4ec4a6260f032e7589f7e8b0b0b5a5176a6","datavalue":{"value":{"entity-type":"item","numeric-id":5466549,"id":"Q5466549"},"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":"Q4736394$68AAD648-B40B-4F5B-9342-91DCBBF5F23A","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":"e23ff411d44f54e785580617788b016591dd0d41","datavalue":{"value":{"amount":"+0.8354542851448059","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":"Q4736394$245BC55F-92BF-496B-B205-886741A31800","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":"392d6fdba211c1e3473153c4e8e59d9d74cadaa5","datavalue":{"value":{"amount":"+0.8318748474121094","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":"Q4736394$15F99BC1-4FF1-4ED7-9160-CED421F0CEB1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4736394","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4736394"}}}}}