{"entities":{"Q4640304":{"pageid":6669885,"ns":120,"title":"Item:Q4640304","lastrevid":90106169,"modified":"2026-06-04T19:15:10Z","type":"item","id":"Q4640304","labels":{"en":{"language":"en","value":"Incompleteness in the finite domain"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6869450"}},"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":"Q4640304$4977A174-22AF-4D8D-9D6D-71A8D90FF842","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d83c91089392ab577ec4a415bf19ec4fcd8a70a","datavalue":{"value":{"text":"INCOMPLETENESS IN THE FINITE DOMAIN","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4640304$F6AC6661-1D44-4884-953C-0B0FC059AF41","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8071774527a8008b532856ef490cb5ab9a4d6490","datavalue":{"value":"1423.03245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640304$0EBCE944-47EB-41E0-9AD3-FA46D2D3DE89","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"318018faae3560d6874b4d183002bf8aee67c872","datavalue":{"value":{"entity-type":"item","numeric-id":185618,"id":"Q185618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640304$FD73E0E5-6727-4970-B04D-2276583AADBB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640304$1358B600-7445-4EAD-91E3-FB5D68504D47","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7c01739a4214e1a2ae2105a086153c18669073f","datavalue":{"value":{"time":"+2018-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4640304$6F2DFCFD-AEBD-4CA0-9234-F6CFF1FCC11B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"69b9df303591b8fb719ca7a2404b7836852290e7","datavalue":{"value":"https://arxiv.org/abs/1601.01487","type":"string"},"datatype":"url"},"type":"statement","id":"Q4640304$C7BE3F39-952F-4A30-83D6-D8FA565FF4A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640304$411014D5-93C4-43D9-831E-6A089274E257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640304$1B8D5DAC-B6A6-4CB8-B94B-B2454374C1BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640304$6DC27853-168A-459A-BD2C-DBABCA0DC87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640304$F6F3F6D3-657A-4A89-91F1-6F73FA07E8E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640304$2C1EAB34-96E7-4484-A950-74B9C1C42790","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e7476e67d4bfe56a9427bd19422206ebc1db635","datavalue":{"value":"6869450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640304$F5A2BC6A-9939-42A2-BDF3-FF1BA52C42E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"215f27b602bb66eec3bed257831841f9f8cfa925","datavalue":{"value":"finite consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4640304$10FB02FB-AF6B-4A59-B15A-F3B5F7C5DA14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b24e51e460d663f6ecf18860b761adb8bb29e572","datavalue":{"value":"propositional proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4640304$B1151956-5CFA-42C7-A9EC-D1D6AE67BB5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1073947b3fbb0def43d29b4919adbfae8d2c2ecf","datavalue":{"value":"disjoint NP-sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4640304$F59CB377-0CA8-4910-A91C-C3C9133A8D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ece2bdad6a4be7cfe5b845bf79a689249216a8f0","datavalue":{"value":"search problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4640304$EBC110E2-107C-4132-B4A9-A10C3CA9BF10","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":"Q4640304$816CAFDD-B0D4-4931-B5BC-040982BA102D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"74b1896442ea45fbcc7d9cc8a8c89696bfe25b25","datavalue":{"value":"W2963187611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640304$72E0141C-7865-4C34-8097-FA9FE07D7762","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad5dd4ba98dd1776f5cbdb43929b322553a8d57d","datavalue":{"value":{"entity-type":"item","numeric-id":3583040,"id":"Q3583040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640304$7C0D4BFF-E9E7-4B37-888D-CB8DAA75EDBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78a870fadcdfb79e808e1dd443a2b1ac2a16c09f","datavalue":{"value":{"entity-type":"item","numeric-id":3081638,"id":"Q3081638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640304$3A579B41-B462-4560-8B4F-3B51EC240957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeebd466643aa876c1932f0bfc7bb13b63abb5a2","datavalue":{"value":{"entity-type":"item","numeric-id":5410329,"id":"Q5410329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640304$1E25B701-B224-4CF4-86B6-0E0231DD1C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f92f7cc06a90828b719727f617433d9bcf72bd","datavalue":{"value":{"entity-type":"item","numeric-id":5169973,"id":"Q5169973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640304$C258C4C7-1AF2-457B-BC72-2F72F586B641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7592b023ac89204897ab3bc752fbf29f253474a","datavalue":{"value":{"entity-type":"item","numeric-id":837177,"id":"Q837177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640304$503762C0-7A42-4864-AB8C-28AC94598EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23400c278c34c4952b60ea1739aefeaf237f99e0","datavalue":{"value":{"entity-type":"item","numeric-id":2921008,"id":"Q2921008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640304$869558A1-DC0C-47F3-A508-36D29D22B22B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"035feb3d68e7fcb8cc1f5afc2267fb8cc293e0bf","datavalue":{"value":{"entity-type":"item","numeric-id":3794177,"id":"Q3794177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640304$CF271B58-C1D1-461D-A38A-912AA0D8836C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ea905e0dd45e5f666435e07c5347d2d8ec010b","datavalue":{"value":{"entity-type":"item","numeric-id":4215630,"id":"Q4215630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640304$8AFAF782-BF6D-4FA0-A05B-1D1046284E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41cfc6d1ca649e77a169b6cd08a9283c8c165615","datavalue":{"value":{"entity-type":"item","numeric-id":1304542,"id":"Q1304542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640304$21723A65-086C-4DFD-A8B3-9ADD9A49BF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc582242659cee49d409675b8250ad17fb5d767","datavalue":{"value":{"entity-type":"item","numeric-id":5940143,"id":"Q5940143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640304$7DD05D5C-B6FE-4C90-A610-E775F9E7C335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a549ed1d776396be3e4308655e166de224ba89","datavalue":{"value":{"entity-type":"item","numeric-id":4133141,"id":"Q4133141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640304$8635EC11-D684-4621-BE36-A54394626D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640304$64C3AFC5-77C2-4F8D-8232-4B169E51D95E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54ba8f7244e4159964661fb024ab4457cffcc5e2","datavalue":{"value":{"entity-type":"item","numeric-id":5619080,"id":"Q5619080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640304$5D28D4F1-5D3D-4F7C-98D2-8B5824209379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef35df92a72ac804c0e31cf57121f38f29d45c4","datavalue":{"value":{"entity-type":"item","numeric-id":868942,"id":"Q868942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640304$4FC5B505-8362-4DB2-9327-964EF08042F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9d6d960e351c80be000f302db6efef14ab7325b","datavalue":{"value":{"entity-type":"item","numeric-id":4651518,"id":"Q4651518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640304$16AF5ED6-470E-4557-8F20-81150AFB03A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640304$D12316EA-09AD-43C5-B199-DF501D7E45E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44e8d6db2339d59c152679e6fd1d236f363d1832","datavalue":{"value":{"entity-type":"item","numeric-id":3159414,"id":"Q3159414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640304$56B80D90-C91C-4115-A91E-EB9B3A54778F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"112fa1e16c28072d1b690d88a68f10e9a878f19f","datavalue":{"value":{"entity-type":"item","numeric-id":5943094,"id":"Q5943094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640304$D53C41C8-C3D1-4738-A262-366DEA9A01D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"302adbaf2b8357f20069be2a0dab5e3eb2168585","datavalue":{"value":{"entity-type":"item","numeric-id":1109573,"id":"Q1109573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640304$6365E574-B77F-4B53-8AE7-43E189FB99FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"103a56da6ef202bd58868465f13d09f78ea35d2c","datavalue":{"value":{"entity-type":"item","numeric-id":4530148,"id":"Q4530148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640304$4DC1E927-3471-4D52-B599-2F607ACAA9F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"559db777cfd8d3556503f38e6f593a8dea97b362","datavalue":{"value":{"entity-type":"item","numeric-id":1398371,"id":"Q1398371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640304$B50C2B86-B2F0-405F-B349-2CA3E313C9CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05d95378a8c31d7715b88a9854f2b8f7d5953534","datavalue":{"value":{"entity-type":"item","numeric-id":639650,"id":"Q639650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640304$7DEDC6F3-2F6C-4A2C-AFE5-E9D5748A2D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa34ae3e34f6a863a9f8db67c2bfb8bb6401943","datavalue":{"value":{"entity-type":"item","numeric-id":4856172,"id":"Q4856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640304$A81A0868-29B7-4EDC-B7F2-6B542D7202D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30b9e272f8ccce6a7b10c8e4afc506dcafb4f348","datavalue":{"value":{"entity-type":"item","numeric-id":4358049,"id":"Q4358049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640304$5D4D083E-1337-4FC6-8395-A1D9BF3BF709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e90b195aa3313cbc2f113266d59b0433801d69fb","datavalue":{"value":{"entity-type":"item","numeric-id":3094358,"id":"Q3094358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640304$535A41AC-54FB-4941-8C3B-CF5D5A77789D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25f4a86512e0f02bf82877dbb62313fcd7fe9ed1","datavalue":{"value":{"entity-type":"item","numeric-id":3472096,"id":"Q3472096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640304$8473C478-4853-4165-96D6-7D7E5856C2B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6946af148f47d52c72c2eb1ea6817d1696cd28fb","datavalue":{"value":{"entity-type":"item","numeric-id":1177041,"id":"Q1177041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640304$132698C3-B2B2-4DA1-817E-512C636CBC0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16379452a4949bf4e97a3cd79c6104d4a7ee9465","datavalue":{"value":{"entity-type":"item","numeric-id":3755452,"id":"Q3755452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640304$E97AFA43-D99E-40AE-930A-BC1F3B712C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11c8e8c45bd30e4d2779b4e28bf2c174478c03fb","datavalue":{"value":{"entity-type":"item","numeric-id":3773878,"id":"Q3773878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640304$BC6C31E1-E70F-4F2B-A9AA-E231C1324FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8c2968cc6b721b6a3c4a7d59ce8091493955850","datavalue":{"value":{"entity-type":"item","numeric-id":3360848,"id":"Q3360848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640304$6760A32B-DAC3-40F6-B2BB-633BDA01DE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f988a28c6c270b39799b8ecc681337eb8b872d4c","datavalue":{"value":{"entity-type":"item","numeric-id":4913583,"id":"Q4913583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640304$CB7D0979-5F55-401C-911B-A4F756E9F6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee6f22012716acbd7337e204ea81532bb7502603","datavalue":{"value":{"entity-type":"item","numeric-id":892133,"id":"Q892133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640304$D15A1B42-D9F0-4CB4-9869-E19BEB7FC32F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53e45362c2747079e52180ff157261ec839d2c4f","datavalue":{"value":{"entity-type":"item","numeric-id":764279,"id":"Q764279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640304$8D1A2FC8-7204-4A90-8859-8F340A0E142A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"942542645e3b625a22193b61bdb706b1780c1e1a","datavalue":{"value":{"entity-type":"item","numeric-id":2255289,"id":"Q2255289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640304$5C8FAB26-6B92-4305-B4F4-074517C58AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bbff7fccb24b79b684abc97ac3c1bcc3f5f92c4","datavalue":{"value":{"entity-type":"item","numeric-id":3018648,"id":"Q3018648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640304$CFC81074-88C1-49BA-95CA-C49A2C58B07C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c9876f5112d5a17900157620cee0c92dba1e806","datavalue":{"value":"10.1017/BSL.2017.32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640304$696286B0-1CE1-4DF3-80C7-91B3349F0169","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78c304c6a1a0792f2235e3da0511be7d19a30d47","datavalue":{"value":{"entity-type":"item","numeric-id":2210516,"id":"Q2210516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4d9d8047db3c15d6f3ea9ed8ac4a2994296f768","datavalue":{"value":{"amount":"+0.7687868475914001","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":"Q4640304$F38F44E6-4F4E-43B8-AF1F-CEF725953FC5","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":"a3383d01f53ba436e65dfb12c4bf91873dced148","datavalue":{"value":{"amount":"+0.7578645348548889","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":"Q4640304$28C55CED-2E85-4845-AD80-7643A08A7F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7233e0d4bb61df2ab35c2aa7a4aa8dd1964e988","datavalue":{"value":{"entity-type":"item","numeric-id":731212,"id":"Q731212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d76470a699d68c2e54cc5302295501a47735c52d","datavalue":{"value":{"amount":"+0.7572689056396484","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":"Q4640304$6926FE65-7A54-4A94-AA11-841219F2594B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5223dd9677f3501866a0003e3fdc9d7b2760f67","datavalue":{"value":{"entity-type":"item","numeric-id":1374209,"id":"Q1374209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09456ffafec899a753f7de458f71134e6a3db330","datavalue":{"value":{"amount":"+0.7548438310623169","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":"Q4640304$E6A67620-B9FB-4E0E-BD10-C0D37DF4F783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"368969fd906dbf7135dd97d6869ffae328837494","datavalue":{"value":{"entity-type":"item","numeric-id":2290649,"id":"Q2290649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c629ed8947f739d86fb27eda363e4f2bbff0ed08","datavalue":{"value":{"amount":"+0.7510617971420288","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":"Q4640304$E988C6F7-7D11-411C-BCC3-D18205C06726","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Incompleteness in the finite domain","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Incompleteness_in_the_finite_domain"}}}}}