{"entities":{"Q5190194":{"pageid":7219766,"ns":120,"title":"Item:Q5190194","lastrevid":58475517,"modified":"2026-04-05T09:27:56Z","type":"item","id":"Q5190194","labels":{"en":{"language":"en","value":"A proof of completeness for continuous first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5681297"}},"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":"Q5190194$A3A82ADF-8F45-4094-A55E-7F5A181C82F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0fe0c4bf096bd46cef8bc1d2f3a9f0bb154bb364","datavalue":{"value":{"text":"A proof of completeness for continuous first-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5190194$3F4C5530-A73C-4781-A39D-212644073C7C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b7467fcd5eddad9593f26461f5a0b3b5f6676d3a","datavalue":{"value":"1194.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5190194$8361F10A-85BE-4719-9D13-5E94CB225BEC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8be6d53cf5d4185884085e4b1d12832c3e469335","datavalue":{"value":{"entity-type":"item","numeric-id":521603,"id":"Q521603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5190194$E4E8F8F2-ABC5-45C8-87DA-0862E50A82B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0aacf324dd407732d83d8b2f9f8910f077a46ed1","datavalue":{"value":{"entity-type":"item","numeric-id":742549,"id":"Q742549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5190194$9B1DD0A9-F535-4685-AEEA-4E3740922A1A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7fe2c523e98eb62c0896902d6e731144883b50b","datavalue":{"value":{"time":"+2010-03-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5190194$81846F2C-E7F4-4989-95A9-9B362873B9A1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"31420a31d2bbe2a31db18ff498f86a2b59de65bd","datavalue":{"value":"https://arxiv.org/abs/0903.4051","type":"string"},"datatype":"url"},"type":"statement","id":"Q5190194$0B85237F-E056-44D9-936A-ED149E38AD76","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5190194$C5F25BA3-7490-4A08-97FD-A17CC5E5E2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5190194$8F379B0A-2B8C-4723-B858-9796D33B5DED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f6fd3983019f1377d9c8fc2d419d7509fc70243","datavalue":{"value":"5681297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5190194$D1964BC3-FEB4-4034-BB61-D98381CEC111","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a2a96d016586cb198f7d32c0e864c0a301f3790","datavalue":{"value":"continuous logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5190194$EABA808C-6808-486C-89EA-5BFD21EADF30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5190194$5F8E55AE-88B1-4B2B-B11E-3AF944EFBA8C","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":"Q5190194$DACDEEE8-A9F2-4D5E-A013-3F5EDFAC667E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8fbc91ac81cf2cbf32b549df4892d636c67b742a","datavalue":{"value":"W3101258384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5190194$EC147A37-591C-4826-BDFC-F6B4CFC5933E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"efc2fce602f6eda1cfccf92d954eddb3d4a4e600","datavalue":{"value":{"entity-type":"item","numeric-id":4460752,"id":"Q4460752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5190194$86C4BFC4-D400-4A71-958A-6FDD8C9055D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b883529859e33defe9138f674f356f6ad6f0fcab","datavalue":{"value":{"entity-type":"item","numeric-id":5718690,"id":"Q5718690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5190194$F65A4ECA-E938-407F-8251-9AD4E75E080E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edda81673e3bb1e6c3bc2ce7894966da82a9e946","datavalue":{"value":{"entity-type":"item","numeric-id":3890664,"id":"Q3890664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5190194$B66F3703-4830-4644-B126-64A683336BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b925138c8e342b7d781495abbd96f7a91c7f0c63","datavalue":{"value":{"entity-type":"item","numeric-id":1234461,"id":"Q1234461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5190194$4ECD2D85-9A01-40B6-9BF6-D4C6B375C918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5190194$CBD50D7B-4CFA-498D-A681-12841F31D583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bbed57047570d97d4afd4eabda171670dfd2346","datavalue":{"value":{"entity-type":"item","numeric-id":2703808,"id":"Q2703808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5190194$45729D54-8C13-41D9-B7D5-2151B0462373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fa80e47f8c0afcf3ba05ea2d9b3adfbbc7bab31","datavalue":{"value":{"entity-type":"item","numeric-id":1817694,"id":"Q1817694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5190194$433AB9CE-685D-4346-AB3E-426FC27FA8B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ac1003c3b824402da75d1eda2657089a22fd0c2","datavalue":{"value":{"entity-type":"item","numeric-id":4408483,"id":"Q4408483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5190194$2244968B-1246-4B51-8F12-F6C6477F258B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"abb81f5133311a8435a086793f7197fdc6b52c8d","datavalue":{"value":"10.2178/JSL/1264433914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5190194$747F806D-459E-4095-8308-4A52F1636E40","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5190194$A2D65336-6690-4857-BFAA-7306C778C919","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aec6b500b4b7ffe918a095376b0acef078e6f83","datavalue":{"value":{"entity-type":"item","numeric-id":3602612,"id":"Q3602612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"102aefe572838991e766f551c9c375b69b87764e","datavalue":{"value":{"amount":"+0.8190532922744751","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":"Q5190194$B91D2969-A560-49B1-900A-B3A245FDF9DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0be6e1c76a1cd8fd78fb7309e3903e30e9ed2c4b","datavalue":{"value":{"entity-type":"item","numeric-id":3133153,"id":"Q3133153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e199b8fa0077116e2652f766ff451ab56559971","datavalue":{"value":{"amount":"+0.8153988122940063","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":"Q5190194$67EE5E71-FBB5-4A39-95B2-2F39BEA6EE42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ce7d2bb564d07e8f8896d26e6f154361211272c","datavalue":{"value":{"entity-type":"item","numeric-id":3053471,"id":"Q3053471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a79d6e4f5ee3bde0eb45871713325daa60bc56cc","datavalue":{"value":{"amount":"+0.7820745706558228","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":"Q5190194$A43624DD-B305-49B6-845C-908E68EF1ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99ebb1e2146e0369b0d263433018d814b278e839","datavalue":{"value":{"entity-type":"item","numeric-id":5221581,"id":"Q5221581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88b0acd59a46bcd7a511fb75ebf6fc5e4c8fc9cc","datavalue":{"value":{"amount":"+0.7809628248214722","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":"Q5190194$172F5392-64B7-4C64-BEA9-3E953A9A6103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e558745ba3f58730f1b53110e00f383b7ee9acc","datavalue":{"value":{"entity-type":"item","numeric-id":1712937,"id":"Q1712937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a8d4fae75585167b7d225c89359445d97f2a9b8","datavalue":{"value":{"amount":"+0.7796748876571655","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":"Q5190194$BF492F67-9B03-4977-8DD8-C465BC6BF8AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5190194","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5190194"}}}}}