{"entities":{"Q1181864":{"pageid":1192613,"ns":120,"title":"Item:Q1181864","lastrevid":66514518,"modified":"2026-04-12T10:35:28Z","type":"item","id":"Q1181864","labels":{"en":{"language":"en","value":"Computer programs and mathematical proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 28914"}},"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":"Q1181864$30ABA1A9-5C8B-4433-B573-7BA5BFABB0D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"24de28a754ee79e9c483f639aec2781e9fcf70ee","datavalue":{"value":{"text":"Computer programs and mathematical proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1181864$7FE2D7ED-905E-4A63-B5D2-BB599ABC74F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1bfdb27becb2f3189d80a263be78718421eecc09","datavalue":{"value":"0790.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181864$DAAEEECE-24D3-4626-A093-F2D1168EAA7B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e91b1c3e4d66fc19b8160f71f6c45cb2f5456bc3","datavalue":{"value":"10.1007/BF03028342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181864$FD5C30B1-3B0C-4D65-9097-8321568B14E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5b17683dd2eedd3f1d821a1087aa218b2b31d17","datavalue":{"value":{"entity-type":"item","numeric-id":1160451,"id":"Q1160451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181864$A20DCD2E-0DB9-409C-BFE0-0BD5B20ABF62","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7fb1fb9e3613de38b550373bd0384fba28a5a775","datavalue":{"value":{"entity-type":"item","numeric-id":215534,"id":"Q215534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181864$C526C445-2B07-4C82-A5D3-4D24A4AD452A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70844ffc4666eabac4e20376c648613dbe8620f7","datavalue":{"value":{"time":"+1992-06-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":"Q1181864$13F3D178-4276-4B3C-AEA6-F581CF089209","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181864$D3F415A1-0D76-45C9-87F2-E15678A59CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"654b667013631be85bc45fdfe776d3b9ed2e5330","datavalue":{"value":"00A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181864$0B3975D4-D50D-4A7F-ABD7-AFDC340AAA3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c23dec48a3293f0be30fba7ca1732a18d4263499","datavalue":{"value":"26-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181864$EA55C6A3-F8E1-4F15-8845-451AA3A760C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15bf603120f350bedce3db28105f8dc319d5bf54","datavalue":{"value":"28914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181864$03C46E6F-9718-4D84-95E9-BD4F4A414295","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5749bdb23751743f7c09c9f1d1b5e471a95fb8fa","datavalue":{"value":"Heine-Borel theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1181864$2D456243-031A-4CA8-997A-BC6CBF290F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27a34a119da172be1f6f43685a14b0049f4a1bff","datavalue":{"value":"program design","type":"string"},"datatype":"string"},"type":"statement","id":"Q1181864$54E4AC7A-3B74-48A1-9789-AC4AC72E679B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5817b18b6bb006ae55c1b2e5a21cc50abc1d9f9e","datavalue":{"value":"proof design","type":"string"},"datatype":"string"},"type":"statement","id":"Q1181864$26BC167B-BFB4-4C13-9021-CD86C48A1565","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fd13db95763fbd55373027f99dd22103e564a90d","datavalue":{"value":"Q56335877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181864$AB7AB14E-7060-46D8-BFB9-3A96AF6BA23C","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":"Q1181864$D86D2B9F-5026-4702-BCDE-8D9027547138","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b59b9a95c5ede48fa66f5efb685b30e863d99e05","datavalue":{"value":{"entity-type":"item","numeric-id":3948568,"id":"Q3948568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181864$9A3FCA44-7011-43B1-B8AC-31CAB595B3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"174bccfa571da341b9186919425907180171b135","datavalue":{"value":{"entity-type":"item","numeric-id":1071498,"id":"Q1071498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181864$01BA2580-892B-414B-81EF-254A331F3CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8db5bb473b1992e593efbe1af9b182c222810cd","datavalue":{"value":{"entity-type":"item","numeric-id":3879203,"id":"Q3879203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181864$8DC8841B-B826-4B74-8D0B-A1D705D940EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db69c3d1bea51cae9245fff8b1ff8bcd37190160","datavalue":{"value":{"entity-type":"item","numeric-id":3699664,"id":"Q3699664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181864$115809AC-831B-4CE0-A907-390B31BBCC88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f8680838b007c14f67cb4ae203d6f57432d1f73","datavalue":{"value":{"entity-type":"item","numeric-id":1055407,"id":"Q1055407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181864$602D655F-FE0B-4924-A324-A5B97B362A00","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c19cb87b100e08e587847a11b1f19060d6407b60","datavalue":{"value":"https://doi.org/10.1007/bf03028342","type":"string"},"datatype":"url"},"type":"statement","id":"Q1181864$2BCE87E9-55FC-409A-BF99-1021D1B28B67","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a7327a4e848eed93692c3c3a04caf4b3e96e23ba","datavalue":{"value":"W2024920908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181864$79B1ED25-7DE6-4E0F-9444-CEEBF7564F25","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab6ba7746db3411117fef3a34be889dfb4c4e69a","datavalue":{"value":{"entity-type":"item","numeric-id":5448310,"id":"Q5448310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e0f36191681a1208839b9965defa1cff5dd6b35","datavalue":{"value":{"amount":"+0.7941167950630188","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":"Q1181864$14C66948-112C-497F-90AF-78087A9CF259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2565d9e77d9b51b905daa5bfbb63ce859f62d93b","datavalue":{"value":{"entity-type":"item","numeric-id":3345811,"id":"Q3345811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de0dfb9cfdf54ce6a18d361cf76b7aa261934469","datavalue":{"value":{"amount":"+0.7804290652275085","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":"Q1181864$560BF662-190F-40DC-BE0E-87FA268D8F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0ca09ededf4af48ce95d845711403b571cf8b0a","datavalue":{"value":{"entity-type":"item","numeric-id":4023057,"id":"Q4023057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27c559fe93f4fd569456b1722e1bd46987af5374","datavalue":{"value":{"amount":"+0.7641304135322571","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":"Q1181864$708C726F-7E57-4998-B677-EB7F2A9350ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"595f6616d7f7c7bdbfd5649089c6877995bc6cce","datavalue":{"value":{"entity-type":"item","numeric-id":2018656,"id":"Q2018656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"059953e896b9171ad8a42564bf7598885fe578b7","datavalue":{"value":{"amount":"+0.7627336978912354","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":"Q1181864$3AB22839-2692-480B-93B2-266214925E99","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computer programs and mathematical proofs","badges":[]}}}}}