{"entities":{"Q937902":{"pageid":939750,"ns":120,"title":"Item:Q937902","lastrevid":65488275,"modified":"2026-04-12T02:57:03Z","type":"item","id":"Q937902","labels":{"en":{"language":"en","value":"A weak constructive second-order arithmetic with extraction of algorithms computable in polynomial time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5312817"}},"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":"Q937902$2BC744E3-6871-4552-A618-55E82C1E600A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"614929c669a58ffe808cf9d38b099ccc23864130","datavalue":{"value":{"text":"A weak constructive second-order arithmetic with extraction of algorithms computable in polynomial time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q937902$46C4071C-3B39-421D-9134-E770EDBB974B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9cf18d9dd869c30c8a5a0731d8b94508aa8d810","datavalue":{"value":"1145.03338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q937902$921AF6A4-13A3-4045-9703-C16FBE9283F7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"17c447c8e76a3a0e73a2c70a024d9ee2f8256c04","datavalue":{"value":{"entity-type":"item","numeric-id":195577,"id":"Q195577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937902$537C1671-CEF2-41C7-BF41-308AD5281613","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"046b71469fa93a7e7a58447419bb590ca4ec43ef","datavalue":{"value":{"time":"+2008-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":"Q937902$DA9E738F-69A4-4763-B0CC-715F0F5717B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q937902$7D71EB69-E05C-46C0-9D42-AD390FC7032A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q937902$05A30CC5-B468-4E97-BF32-EF5ACA2C4ADE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6eed96ce977d6d4e59e2b3aa8795cccb2af7ce47","datavalue":{"value":"5312817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q937902$3781EB77-10CE-4E59-ACAC-C02C0DAB4D30","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea2b64f0961f0651858ae8900a541d0d880eb189","datavalue":{"value":{"entity-type":"item","numeric-id":1885029,"id":"Q1885029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937902$F5421974-D275-4324-8887-C9912BF4B98C","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":"Q937902$E051BC41-E372-45F4-95A6-A0395C108A83","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed38dac88e46d552f4cf7b022dc62f44a1a70f70","datavalue":{"value":"https://doi.org/10.1007/s10958-005-0351-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q937902$D39529D6-6FAA-4B07-B7B9-AA4D9C39333B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fc5227d74113894ed6742d2e7868215a0e613ab0","datavalue":{"value":"W2074013392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q937902$ADDC7423-A4FF-423A-AEB9-3DDBBEFDE798","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8952db6015af7b9a0e852b688c88ba02f8fe4496","datavalue":{"value":{"entity-type":"item","numeric-id":1377631,"id":"Q1377631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937902$FC872D3F-6850-4132-B18F-D9423ADAE6E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad639ed4ff8cc5c9eba21eb385219624543667f8","datavalue":{"value":"10.1007/S10958-005-0351-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q937902$8F7FDC48-53D8-4383-9368-A5DF1ED8CF10","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a126a7a1e5bee29b380fcd6748926c7a78956736","datavalue":{"value":{"entity-type":"item","numeric-id":2843916,"id":"Q2843916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"512ac38a4ad5d1bf5ac3c5d5ac13de2b79871df1","datavalue":{"value":{"amount":"+0.8098582625389099","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":"Q937902$C367B912-6CB7-4A72-A0B3-BF48CFD3F498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b18660033b36defdfeccc77ff17176ee196d07ad","datavalue":{"value":{"entity-type":"item","numeric-id":4314687,"id":"Q4314687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f917ffada006898fd5a3a890ee277d10dabc661c","datavalue":{"value":{"amount":"+0.7990893721580505","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":"Q937902$D7DD891D-4A96-438F-A3B5-61C76A09F8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bccb27d047c72219b5e53b79a1b9773d81b035f6","datavalue":{"value":{"entity-type":"item","numeric-id":685962,"id":"Q685962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d559b2823cd5b7c32d8f7c8e2888092551acb633","datavalue":{"value":{"amount":"+0.793792188167572","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":"Q937902$C7FEF91A-494E-4BA5-9711-794E01DE9981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa08c5a00f5531fb6f6d1ed4e904c01617438f59","datavalue":{"value":{"entity-type":"item","numeric-id":2500489,"id":"Q2500489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8eed7c7dba4509cc5c45fc4afb5354ac3332d843","datavalue":{"value":{"amount":"+0.7852858901023865","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":"Q937902$516F345F-038D-4AF7-AC54-9C517EEA24D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf2b8deaf00c2e620a42baf0b6f9e20f9d1cf965","datavalue":{"value":{"entity-type":"item","numeric-id":1827388,"id":"Q1827388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0ed86b57e23230ceeaf70c5aae6fb1b4a5269af","datavalue":{"value":{"amount":"+0.7742695808410645","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":"Q937902$74996004-4216-49E9-B177-B72C9682D2D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A weak constructive second-order arithmetic with extraction of algorithms computable in polynomial time","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_weak_constructive_second-order_arithmetic_with_extraction_of_algorithms_computable_in_polynomial_time"}}}}}