{"entities":{"Q3769943":{"pageid":5799849,"ns":120,"title":"Item:Q3769943","lastrevid":81093014,"modified":"2026-05-06T17:42:19Z","type":"item","id":"Q3769943","labels":{"en":{"language":"en","value":"On Proving Limiting Completeness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4028868"}},"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":"Q3769943$2FF4CA78-550C-427B-A722-40D5C63B9CB0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"84c406a37d2bd52f516decd366a706caacf454d4","datavalue":{"value":{"text":"On Proving Limiting Completeness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3769943$F1ED4D97-58E8-48FB-9004-1913CF92AA10","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"540fab6bb7ac8347e41b626446993f483ae52eae","datavalue":{"value":"0632.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769943$00CBE19C-CB20-4EDC-AEA8-54EEB769547D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c265c04a84675732a96740eab72fcd948ab0efa7","datavalue":{"value":"10.1137/0216015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769943$91B11735-191F-4FCC-BE2C-A5CBC325C963","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73fae7aa6d0c7c2cab5ae77c738df9d6a0e9e85b","datavalue":{"value":{"entity-type":"item","numeric-id":516040,"id":"Q516040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3769943$BAD42F16-5E29-412E-90CF-4AE284BDC53E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"387a3219b709013614b6a72c3083dc1a75c5189c","datavalue":{"value":{"entity-type":"item","numeric-id":371257,"id":"Q371257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3769943$81006148-0901-4AED-B7AD-49D1BDC4E611","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3769943$F67CCF34-ECD1-4AC5-B113-81EC0E91BD67","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3769943$3E91578D-6C26-4A68-A1E9-38F1438E7C73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769943$EEC2FE7F-B7BA-4F2F-8411-D56C01FB4D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769943$8CBA03B4-2B2B-4ECE-8BC7-CE074FC5C70D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1eb8b878acd7a958dcce11894d68c3a82f2a0a1","datavalue":{"value":"4028868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769943$9A04B730-BB01-48F0-9049-7E46DE3D6156","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769943$4BA05823-3E40-4488-A861-C2EEE4D87B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"897effdc5f2de7ce2cc97a486be83314a1422c9e","datavalue":{"value":"approximation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769943$ED1CD25A-CD5E-4873-9021-DD8D9AFA7193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3baaac9fedf0e77ddd5e4a4b698c429d99b0ccea","datavalue":{"value":"intermediate semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769943$1571B12F-566B-47A0-B27D-2C802511C221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d69fb7c833a36778b78a7f19019438059335436","datavalue":{"value":"correspondences between denotational and operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769943$F91A8D74-5739-4FF4-9DAE-847E5D802721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eefb8ad1c5c80bc426a717bb027aef20a03a38a0","datavalue":{"value":"recursively-specified inclusive relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769943$353EAD43-1738-4E0F-952D-E2C783C508B8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"78860a34c4f14c5577e2e84c1f3dbec89c8a9bda","datavalue":{"value":"Q57783652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769943$4EF343CD-9B21-47ED-90BA-F8838EAD7792","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":"Q3769943$4899E491-775C-425A-8055-FC926A1C6985","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c8cb7f85848f70b596aee06430047c4ee9e99a1c","datavalue":{"value":"https://doi.org/10.1137/0216015","type":"string"},"datatype":"url"},"type":"statement","id":"Q3769943$F1C54F6D-5282-4AA5-B022-2E0FF862B96C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"af7cb3d61ebf4f2805ea443dc9b81a1d10560fde","datavalue":{"value":"W2048570681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769943$E20AEB1C-B7CF-477C-BE92-8D2080D581DA","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"07a35531dfddea5efdc054a4e0168d09d6710176","datavalue":{"value":"journals/siamcomp/MossesP87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769943$F489E076-BAD4-42D8-8729-11D295BFB60F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04677d76518776508168f1d7a5eba2a286ffb18d","datavalue":{"value":{"entity-type":"item","numeric-id":1198661,"id":"Q1198661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd2413e37a1a450e0d12c49f6fef53a14ac4bd46","datavalue":{"value":{"amount":"+0.7595346570014954","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":"Q3769943$AD9DCF1C-F6AC-4822-AADA-4785B07BDA9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0a823bb6ab158f685ac11782ec86e1c2bcd6e6f","datavalue":{"value":{"entity-type":"item","numeric-id":4847018,"id":"Q4847018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75af137028f93b56c88f095d28bbfc5c378370e4","datavalue":{"value":{"amount":"+0.7588830590248108","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":"Q3769943$4D41092D-3B28-46C5-AB9F-6BD75B5A5172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e17a49d3f1d5d022c661804a4cc7cc6facde88f","datavalue":{"value":{"entity-type":"item","numeric-id":3765742,"id":"Q3765742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f014e5603ca5c6516ec093044ef3d03fefef1d35","datavalue":{"value":{"amount":"+0.7539210319519043","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":"Q3769943$1F028593-0321-4154-A2BF-7D76E71A48AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc3f3700b0889a5df262e2fb0c29d495d333731b","datavalue":{"value":{"entity-type":"item","numeric-id":5704003,"id":"Q5704003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"013046f935d0c1a949c51bb22ce58c85c56e9838","datavalue":{"value":{"amount":"+0.7459498643875122","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":"Q3769943$0FCBC482-8161-4A7D-9C60-A345345FC2B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7b2df7551c3d501c4167db2c28ffe426ba10dbb","datavalue":{"value":{"entity-type":"item","numeric-id":4879947,"id":"Q4879947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"550192aaa0ac46b78d7c83e91335a7e714683a10","datavalue":{"value":{"amount":"+0.7441083788871765","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":"Q3769943$CE43A729-1588-4532-8EE2-D3F0580DF654","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Proving Limiting Completeness","badges":[]}}}}}