{"entities":{"Q490660":{"pageid":492427,"ns":120,"title":"Item:Q490660","lastrevid":62230794,"modified":"2026-04-11T04:40:01Z","type":"item","id":"Q490660","labels":{"en":{"language":"en","value":"Consistency, optimality, and incompleteness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6476480"}},"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":"Q490660$E517C683-D186-4192-8379-3A1B587E56A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e2beac945da710166be279c43913f82d79676572","datavalue":{"value":{"text":"Consistency, optimality, and incompleteness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q490660$BCF6F4C6-B620-4018-AD1E-046D82C24686","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37cbaa47d29289ae4e4fb8d6ff4213610520847e","datavalue":{"value":"1320.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490660$87774AF0-0BBB-499E-B9E9-56A1766EEF33","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8704f55b81438dec9b36ef863240a213d13e9a33","datavalue":{"value":{"entity-type":"item","numeric-id":490657,"id":"Q490657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490660$0D999250-1D33-4CF0-A116-2162F6D55EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"533e6a2f2483a32398b8daadaa250165970e45d9","datavalue":{"value":{"entity-type":"item","numeric-id":490658,"id":"Q490658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490660$D9A6F833-B0E2-4355-912D-26820F3AF986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db0582c8fbfa44d141be19fdff50b7f99a7578d7","datavalue":{"value":{"entity-type":"item","numeric-id":490659,"id":"Q490659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490660$3D631ACB-C0D4-4F96-AD9C-55033BB15338","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490660$64DB2F2F-2874-4E4D-B821-204A57429656","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f5d7e575ce06abec1e01331d693d8d1b08ceff3b","datavalue":{"value":{"time":"+2015-08-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":"Q490660$0A0A133E-3BF3-4E67-BC5B-8542EBF45F03","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490660$547DC376-2158-49DA-8F02-8606B40340C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490660$C074E260-437B-4B72-911F-B1A9EF0C1EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490660$AB13E135-EBAA-476C-913F-DC76F69713CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490660$40179F49-4ABA-4ED2-B785-3924CE4AA9F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c04709665a0af2b3841109c49723637952a9d88a","datavalue":{"value":"6476480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490660$BCDEC7A6-C889-4F73-ACDA-37AD8E6AC072","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q490660$005C010C-0DE6-44FA-851F-7CAEAE66C74C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c691652e78f194f9b451770fc9c15406bebf29a7","datavalue":{"value":"optimal algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q490660$4759E521-560C-49F3-9976-2E1A33FD27CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29e85a61e7939ee6f14f83214f0f77882dcad4fc","datavalue":{"value":"first-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q490660$24A4B1D5-961A-4900-B3DC-8D5D7601F950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2df2da178dcad00da3915f511e474a1a774599ef","datavalue":{"value":"G\u00f6del's second incompleteness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q490660$B40C47E8-5C20-4577-BF3A-6447F968CE31","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":"Q490660$E54F4F33-440D-415E-A98C-366D8056DD36","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"42695eb5141a13c3a79d94a1b5d94bcde19ae93a","datavalue":{"value":"https://doi.org/10.1016/j.apal.2013.06.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q490660$E1461B02-744A-4B1B-8A21-97D70076AA60","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5088abf29ac71b977d2ff89b6e9ebb8b10a29343","datavalue":{"value":"W2009038574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490660$53681C3C-2B32-48F1-A370-1BBF3B2122C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1d2e043fe8274b44ba157ccf631381529f96ac5","datavalue":{"value":"10.1016/J.APAL.2013.06.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490660$7B4665CB-45D4-469B-B53D-48F3075446AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd42326bc5434e4d083891f196b822f12749204d","datavalue":{"value":{"entity-type":"item","numeric-id":3091441,"id":"Q3091441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77cad66435aa3989a08cfa587fc3443c896140ea","datavalue":{"value":{"amount":"+0.9267279505729676","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":"Q490660$2268855A-6FE5-455C-830F-118E07F41BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d99375d9af310691fe93cef97a2d130b782c085","datavalue":{"value":{"entity-type":"item","numeric-id":3472096,"id":"Q3472096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a4bcc17f110cee10bba2894fe9e87b24443658a","datavalue":{"value":{"amount":"+0.7493136525154114","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":"Q490660$81C36139-3EEC-45DD-A279-25BD5F1B7F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aadc0bb2cb439a769b92bed21fdb682403da5b43","datavalue":{"value":{"entity-type":"item","numeric-id":5480615,"id":"Q5480615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80288710ed5c146a78de85e5db164b9c17f4bca1","datavalue":{"value":{"amount":"+0.747818648815155","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":"Q490660$137CA1CD-3659-4B37-BF7B-3862D60272A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ff46e7a52cf96da44cf36c3b1cee5d3437f75f1","datavalue":{"value":{"entity-type":"item","numeric-id":4850546,"id":"Q4850546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"731df777398047b6d89b9489a1fbf89ccb05178c","datavalue":{"value":{"amount":"+0.7387906312942505","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":"Q490660$8AFB4F17-A079-445A-B47F-68DC29EE25E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd1018e4305d1f7805c1760e3db7749c14f5f93e","datavalue":{"value":{"entity-type":"item","numeric-id":4251070,"id":"Q4251070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2edc78de50fe0d5de55ceaa22ab4e13b9db156e","datavalue":{"value":{"amount":"+0.7350099086761475","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":"Q490660$FBB2D3A6-7A71-440F-8C3F-ED51F20DFF6A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Consistency, optimality, and incompleteness","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Consistency,_optimality,_and_incompleteness"}}}}}