{"entities":{"Q5089029":{"pageid":7118605,"ns":120,"title":"Item:Q5089029","lastrevid":91336253,"modified":"2026-06-04T22:54:42Z","type":"item","id":"Q5089029","labels":{"en":{"language":"en","value":"Hilbert's Tenth Problem in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559293"}},"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":"Q5089029$1B1EE732-D11C-4B79-8D86-5D5EC2CE224F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa467ab0fb5921a8aef55b984db7a2882bc4957f","datavalue":{"value":{"entity-type":"item","numeric-id":877885,"id":"Q877885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089029$71A8AA53-0239-43C0-9215-662D41A02F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7e7e54e22918a5af75f6588d5e6c4a6d7874c28","datavalue":{"value":{"entity-type":"item","numeric-id":1687734,"id":"Q1687734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089029$A0914D7E-7470-435E-B5D6-A087EA715E21","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6793430fc5b4ace9180691774574e339423361ba","datavalue":{"value":{"time":"+2022-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5089029$DFA78250-0972-48CD-B3D4-A456D8AE67A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089029$EC7D0103-EA20-4DAE-8A83-7FE60255CF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089029$EEC57820-9880-4522-86D7-7C35D6671953","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b680aede90379e06dc2d45ed81ca7a34a94409d5","datavalue":{"value":"7559293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089029$F64F0A21-B39A-4222-BECB-9085E91E2FD4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16852d397daf2bbcaad561fcfc45e655fe8e884c","datavalue":{"value":"Hilbert's tenth problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089029$6F2A7D37-0FBD-46C4-BBA2-7A702A322071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33239cec92d8b53587fd8c3b366eae95c73ac1d6","datavalue":{"value":"Diophantine equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089029$4E18A7C6-C2BB-43EB-87F7-057DB06221EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089029$21096A8A-656E-435E-88BE-E2A08971DFCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f401dd9c1f566772595ae85ebc3ea4d1157a2c3d","datavalue":{"value":"computability theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089029$8852084E-243F-46B7-92CF-CB924E14CEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfc1c912dbc1f534d35dfe4c7b828346e80b5fd8","datavalue":{"value":"reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089029$5635378D-BE35-45DC-B33F-8A2B2E472341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5143626bec5a5d2c0e6a3c2e42486b21eff5e2fc","datavalue":{"value":"Minsky machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089029$9677FD00-97DE-4784-B1A3-89343C70964D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20d47f584c87464b9659043f2b1aa552ee8b6fd","datavalue":{"value":"FRACTRAN","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089029$FCE0CA7F-7F68-401B-9225-216375C48677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089029$3147B3DF-A842-48F6-AC00-F8D7004EBF29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089029$6C0ACA17-71E7-46EA-ADD3-FD30D5BE8A2E","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":"Q5089029$B599819F-4E00-49A3-A608-18DF2EF40586","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"012b1d6c0f10a6942b99540dd3ba9e03f65c4e47","datavalue":{"value":{"entity-type":"item","numeric-id":5820550,"id":"Q5820550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089029$85C141BE-5A7C-4610-80A3-018866AA9702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175c1c6339231426570e05a46d3193da46e70701","datavalue":{"value":{"entity-type":"item","numeric-id":4401926,"id":"Q4401926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089029$2BA6446C-7896-4225-A6CD-CD8EE5EC933F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"197321586b52697dc5005c2bf7b5e782bc94762d","datavalue":{"value":{"entity-type":"item","numeric-id":1131250,"id":"Q1131250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089029$559A2279-88D5-41F8-8F88-C2366C4D3E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44741cdb786a6bf061a764c2d5d278518b6bcecf","datavalue":{"value":{"entity-type":"item","numeric-id":1791165,"id":"Q1791165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089029$5EAE7EC4-05D5-48C4-AEC1-B72A14623AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63782d14544341fc9bcb14dd400d4878549b2492","datavalue":{"value":{"entity-type":"item","numeric-id":1687735,"id":"Q1687735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089029$F2E0F7E4-E360-4A7C-ABEB-ED8C41BB848E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"850b01f29d8fac6dd0ba94059ecf97677f06259b","datavalue":{"value":{"entity-type":"item","numeric-id":4477873,"id":"Q4477873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089029$B43AFA44-3238-48EF-A89B-EEA2E3B94BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7021c91f6a866e16b579f74b23aa54446a0c8938","datavalue":{"value":{"entity-type":"item","numeric-id":1150586,"id":"Q1150586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089029$F6A1F02C-7011-4F7F-A071-F69CA75B2DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab7850c7728bbd7cdba69ebbd50415ee62a38d0f","datavalue":{"value":{"entity-type":"item","numeric-id":3734384,"id":"Q3734384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089029$EB6F3553-CCDA-4EC0-B90C-9CB5018E2A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"483ea0c4d62c8e2b10981ffd095baf3e320d1f68","datavalue":{"value":{"entity-type":"item","numeric-id":1687755,"id":"Q1687755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089029$E742A882-E595-417F-B050-841F3324DCF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c059d1355bcb0df592c7e924663d48f24f3b387e","datavalue":{"value":{"entity-type":"item","numeric-id":5613949,"id":"Q5613949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089029$8BD85FD2-4072-4687-9E1E-9291FD04FEC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"888e7f04e7560e54283c3108076eb1e95c608ef2","datavalue":{"value":{"entity-type":"item","numeric-id":1807463,"id":"Q1807463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089029$59EFFBE8-5039-4FBB-B26D-A5B48DF2E074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ef65b52f71814776438eddae95eff6e65840dde","datavalue":{"value":{"entity-type":"item","numeric-id":3305315,"id":"Q3305315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089029$593D3938-B39D-49B3-BFAF-EE3AF09E2FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089029$AB0A4700-099E-4862-A5FB-204DB49889EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8781aa749848511493ad6281b7915468f3252d9","datavalue":{"value":{"entity-type":"item","numeric-id":1795565,"id":"Q1795565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089029$D35EE01B-D442-4C51-8DDB-A4CED4D2A58F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a027e17486a202d8d8b86490433f83ca5ac06bc8","datavalue":{"value":{"entity-type":"item","numeric-id":1796771,"id":"Q1796771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089029$457321DD-D680-414F-9B78-BF31F566DE91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d938e2cf16a516c25169e92ed68817a27d01f44d","datavalue":{"value":{"entity-type":"item","numeric-id":5845382,"id":"Q5845382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089029$A3A0903E-4F87-4141-A450-FA59C34AAB66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea8234aef158df8ccea7b73b6f2497ce8cc52713","datavalue":{"value":{"entity-type":"item","numeric-id":5813178,"id":"Q5813178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089029$07C80A5D-EBA1-4704-AF17-149258A8A526","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50615688c3540765cc48901b0cd6d14b577ff725","datavalue":{"value":"https://hal.archives-ouvertes.fr/hal-02333404","type":"string"},"datatype":"url"},"type":"statement","id":"Q5089029$16E89B90-8AE5-49A0-9F9D-D94F18CE4CD0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f5c63709722f17da9f4c898f36f89368146b279","datavalue":{"value":"W2953924437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089029$38F3EB27-FAA7-4EF4-AAF5-8A500BBE8439","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5afa56094f0f317d9bcbfbead04f88fb4f1ea403","datavalue":{"value":{"text":"Hilbert's Tenth Problem in Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5089029$7F0ED17C-B751-4A49-B3DB-0E77CD35B668","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04f2fa0f8980011c4729774c73cfb97a335ef178","datavalue":{"value":"10.4230/LIPICS.FSCD.2019.27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089029$1A948C87-EE5F-47BA-A4B6-2866B3003BE7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f046f64f404969758c7411f43f2a7077a6e9d3a","datavalue":{"value":{"entity-type":"item","numeric-id":5094119,"id":"Q5094119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f297b01ce31ff87eb3b4218ffcfcc1a6d63ee386","datavalue":{"value":{"amount":"+0.9872109293937684","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":"Q5089029$BC08EA9F-2343-4264-BF75-5D514925CBA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ea768d57e4be8eac1086a71b172babfea3db61c","datavalue":{"value":{"entity-type":"item","numeric-id":4231579,"id":"Q4231579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5fcbe28d59638db4a31d92420dfa71e34e99fa1","datavalue":{"value":{"amount":"+0.7638615369796753","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":"Q5089029$23A5A56C-0B56-459D-B616-F78F50BFA2A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba0fe3822dcb82d43bb6410a3e47e6b65e5c8adf","datavalue":{"value":{"entity-type":"item","numeric-id":4501636,"id":"Q4501636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1217b012c21274e0ee2faba063f73c1e89ac2bec","datavalue":{"value":{"amount":"+0.757794201374054","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":"Q5089029$DCBB1F0D-A3B9-46DB-8A72-D8E1A519961C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e816694dcbe066a45ad972381a25a24683595de","datavalue":{"value":{"entity-type":"item","numeric-id":2311525,"id":"Q2311525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e2a0e27c56af55d732915185026a75c4cffd8b2","datavalue":{"value":{"amount":"+0.7552688717842102","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":"Q5089029$EF7A4746-11DF-4ABB-AB95-C407E71F6FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a961bfe29494fd174b15065744d439e55560c98","datavalue":{"value":{"entity-type":"item","numeric-id":2337340,"id":"Q2337340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"601ce7c7990188c364d4f314cdbb62bf799e9f20","datavalue":{"value":{"amount":"+0.746681809425354","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":"Q5089029$B25A183E-864E-4B7E-8D31-33483AE2BC9C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hilbert's Tenth Problem in Coq","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hilbert%27s_Tenth_Problem_in_Coq"}}}}}