{"entities":{"Q3750136":{"pageid":5780042,"ns":120,"title":"Item:Q3750136","lastrevid":51669104,"modified":"2026-01-19T09:27:14Z","type":"item","id":"Q3750136","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3986665"}},"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":"Q3750136$A55D51EB-75E3-4ACD-BFEE-5A45C17DB3B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"293f155fe6a02988ff25cb65ea5ed2b1492df936","datavalue":{"value":"0609.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3750136$C94BECE5-B2D3-4C4E-9D45-B34EA34C0818","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3750136$0B33BB40-3673-42D6-8C08-2C09ED56CF6A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3750136$D7748199-B7A8-4C69-ADED-DC133F04F716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"280a65d907047d5094769e55a4a308fa043f2982","datavalue":{"value":"68-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3750136$72A52973-444C-42A7-AE46-71886A9FAFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea6ef7477a3a5eb71fb9e3a3c21c38781cfc5e16","datavalue":{"value":"11-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3750136$86E1172F-B541-4BA4-AFD9-C2EAFF496C44","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b64da19e027c668e80a0c08e09c94ce1faf7a656","datavalue":{"value":"3986665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3750136$7353E0F5-5F53-43F0-A4FE-C17171F5F9D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16122eb8295941a38e44aee0baf82b5aac9659a","datavalue":{"value":"Nuprl proof development system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3750136$69DC383E-95F0-4872-9D7F-D5A9BEB41632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7be4aaccbe38f226680ff287897d4f7a5ae2e8e","datavalue":{"value":"reasoning about computationally meaningful mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3750136$1319BFF1-C011-4B02-A1F5-B62F2C9E5F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebcb3e967d7f344660d4e6719070e8abab46ff77","datavalue":{"value":"proof construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3750136$43F322E6-FB9D-442E-B2F3-1215A55188E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb111f358878095d3946009d8137cbd7bc3b8f1c","datavalue":{"value":"formal reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3750136$F5754202-F15A-4C04-BB14-CB67984A9CEF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3750136$4A52BE1D-6204-4A81-96EF-2CC0482387E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d008c0652adbb92fc29f999e1cff965654b89fb0","datavalue":{"value":{"entity-type":"item","numeric-id":1917067,"id":"Q1917067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3750136$8DF26E57-1822-40DD-A00D-E7E020C6311E","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":"Q3750136$A6675BF9-C87F-47AC-9F75-1474EECA26AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d4a936d98ae0d5ebdcb9122e43f543841b8a600","datavalue":{"value":{"entity-type":"item","numeric-id":4594262,"id":"Q4594262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"117c0de5fe36d682651212a3916169dae6c854f6","datavalue":{"value":{"amount":"+0.8352477550506592","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":"Q3750136$21DF64F3-C4D2-457D-9A88-CD1C30259775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6069596235a77af4a0ce188dbd6c4aa338ad0602","datavalue":{"value":{"entity-type":"item","numeric-id":3789525,"id":"Q3789525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c17d6619e336cdfc81aef06b091f00068e0834c6","datavalue":{"value":{"amount":"+0.8147460222244263","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":"Q3750136$D79A0604-E9CE-45A2-BBB1-E42F96BCDD82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67cdd104d863c39b0565ae3b3af9db913af6cb2e","datavalue":{"value":{"entity-type":"item","numeric-id":3826519,"id":"Q3826519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5b892f7a224368f4a047c0773e7499220feb986","datavalue":{"value":{"amount":"+0.7901399731636047","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":"Q3750136$3F480376-D18A-4507-863A-115FB2117A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60f2455c9872822fab6d8bb0ea3a402ab12360ee","datavalue":{"value":{"entity-type":"item","numeric-id":5234717,"id":"Q5234717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa5f2eda90767371b72969e26ea98efe66dc48cf","datavalue":{"value":{"amount":"+0.77599036693573","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":"Q3750136$D32FED84-4595-40E1-AF7E-47ED8D73B729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a0eb2ef71a63b4151a922e2d61aea3f6b4cfd39","datavalue":{"value":{"entity-type":"item","numeric-id":3783631,"id":"Q3783631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11895ee4d99edfcc17ae7e0961ad2198ea07e4f0","datavalue":{"value":{"amount":"+0.7559973001480103","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":"Q3750136$B51FA495-1601-4D6B-A810-AAA7874EA4ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3750136","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3750136"}}}}}