{"entities":{"Q392280":{"pageid":394047,"ns":120,"title":"Item:Q392280","lastrevid":61571163,"modified":"2026-04-11T00:12:50Z","type":"item","id":"Q392280","labels":{"en":{"language":"en","value":"Intuitionistic completeness of first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6244768"}},"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":"Q392280$8E50C8EA-0C24-41A3-B732-FE49EB6CEE82","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b71cfc301348dce43fbc1456c35fba45e0ad3e8f","datavalue":{"value":{"text":"Intuitionistic completeness of first-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q392280$1E94F0E6-7CD7-4B59-A7F7-3C3187C7F003","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d9c6bf5a8f35b74738d582d51c3b4b0b4922e648","datavalue":{"value":"1345.03114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392280$D5A09C54-EAAE-4DD2-BE63-105CB22767EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf4e80c62f3af6544d946ed36bab3a03f4f43897","datavalue":{"value":{"entity-type":"item","numeric-id":392279,"id":"Q392279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$5137EC06-E8E3-4CE5-9BB9-77827B6EB583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9f99e72dec046038a5377ceee67d8841bab629f","datavalue":{"value":{"entity-type":"item","numeric-id":1051423,"id":"Q1051423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$BE8E1680-1623-4C33-A095-E2CF4336981B","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":"Q392280$A977D40A-7353-4A8E-A755-C2B2E20DE3C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a7f0ce9f8644dc92186acf7aa59a26f9b811cbd","datavalue":{"value":{"time":"+2014-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q392280$82D40982-998A-45B7-8D28-500A61F29997","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"02c0de88c8f6db5a5f0d19c503d0ec77bbe1277f","datavalue":{"value":"https://arxiv.org/abs/1110.1614","type":"string"},"datatype":"url"},"type":"statement","id":"Q392280$AA4D128C-7CCA-4794-A0A4-407055A32E2C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392280$37E7CB6F-5C1E-449D-B8CA-50E841F21CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392280$42F698A2-E9AC-44B8-9B5F-9D9A4FD9A44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392280$E0C1DBDD-A8E2-4BB8-8570-7EF8C1E79571","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32af6d36e24f3308f9eafaf8a803f64e390e993a","datavalue":{"value":"6244768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392280$75EA23ED-1351-4AE8-8A4B-EC63DAB65381","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71c95d6371d47e86c84e2b2a5b875b171f4c6886","datavalue":{"value":"BHK semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q392280$4A4C685A-307A-433E-B781-2C437BB6A51C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q392280$8035AC58-6494-463F-A38D-8462FAB7B4CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6c658f92cfca10399e0b9df9aa408c3bc22cae6","datavalue":{"value":"constructive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q392280$395710D1-303E-478D-A298-EDD8E4BF8C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c5efd37e6d1917f93b6972913b3d19dba9b2e05","datavalue":{"value":"evidence semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q392280$8825CDCB-80DF-4D4E-8047-DFAEEE3B2456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a7529bf31e2ea8592c6daf3ee10f15edeca469e","datavalue":{"value":"intersection type","type":"string"},"datatype":"string"},"type":"statement","id":"Q392280$AD707B63-9DAD-4F93-8FD4-99351A74CE02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q392280$6526B16F-5617-494C-9FA4-F6FC63A1029D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fef5f048f2ff970244195639e7bcf4e64ea5e666","datavalue":{"value":{"entity-type":"item","numeric-id":16795,"id":"Q16795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$9E69A66C-2F10-40CF-93DB-629F4E50BA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"25db55153babd7076d594d911b639e78d62b451a","datavalue":{"value":{"entity-type":"item","numeric-id":20369,"id":"Q20369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$199229E9-F89A-429E-9223-03E2444CB48A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$1B49F9F2-2258-4131-BDBF-E4D97E1DB9B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$EC368194-E33E-4A2E-8F8F-3363D8903DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$E8CB4EE7-23C1-4C1F-BCD4-C0E0A89D03AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$43E77953-48E1-4083-B7EA-9378E643B8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$56181D75-83B0-4185-907E-215D3D8CB9D5","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":"Q392280$561F97DE-6EC4-4EDB-889F-39777304873F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed6ceef5499e25ffbf8420597f8ffb3269723703","datavalue":{"value":"W1999807931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392280$EFEB64FE-18E1-4513-8F25-A0BA8063E353","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3c17116dec4d8864ef7058f9b2bcc008f395019e","datavalue":{"value":"Q55967618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392280$4229DFB2-836D-4801-B6C0-E452DB581224","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f33bf517641d12fc4df4d7fdbda832f3ef440e8b","datavalue":{"value":{"entity-type":"item","numeric-id":865639,"id":"Q865639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$404638D7-EB6F-4054-8093-2711A1F26D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdc900d486447f0b76a2eb4ac040d31e39f00348","datavalue":{"value":{"entity-type":"item","numeric-id":4499151,"id":"Q4499151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$12A25E3C-9063-42FE-B66F-6A470D54B9ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fa11a04c0f140295c802cb4c1b4a898935164e1","datavalue":{"value":{"entity-type":"item","numeric-id":5316409,"id":"Q5316409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$56F95033-6B65-4FA5-BC41-8C4181EAE7B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7931dc29f3e5a2a167917b66423fa0388ae2206f","datavalue":{"value":{"entity-type":"item","numeric-id":911744,"id":"Q911744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$8EA6701F-2F10-47AA-A5BB-DA4F79CF43AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e6f0b82d28d67b4e3312c91b8fa8f0254a3dc1e","datavalue":{"value":{"entity-type":"item","numeric-id":4524766,"id":"Q4524766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$1A8D94A3-9553-4CDC-90F0-FD4ACA20FDE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$97D34CF3-04F0-4E55-909F-E3059BD69E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8545af4a901b69e26235f7e5ba413765102a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5792923,"id":"Q5792923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$FF8B3459-726D-4F59-BAF6-33F91D245DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ddc7b17e2372685cb3e0a9ecc84a40a206e9c34","datavalue":{"value":{"entity-type":"item","numeric-id":3235350,"id":"Q3235350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$DF0420C3-BA58-491E-9C0E-925C21E7D8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73fd06da9348f1d52e2cbff62e89d8a526dbbeb2","datavalue":{"value":{"entity-type":"item","numeric-id":770676,"id":"Q770676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$238AA8E7-AA3B-40AE-B1F9-77DB7DE49A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"893885a383e0bd64c43ac93da1b3141a70b646f9","datavalue":{"value":{"entity-type":"item","numeric-id":4981439,"id":"Q4981439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$6A397F5B-E904-48FC-BA2E-34776DE6E606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$AB861E81-2917-4CAB-A4EA-40306D2D8F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1903be4a36187a0a0e197e708bc72f62f93b28bd","datavalue":{"value":{"entity-type":"item","numeric-id":3183520,"id":"Q3183520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$52F38870-39BD-466B-899D-EE620CA2AEA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19a962d0a7be8a0ba0ddc1bcd8d1ce60fa548737","datavalue":{"value":{"entity-type":"item","numeric-id":5670174,"id":"Q5670174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$E91D55CD-078D-4B74-8615-D7E2CD63C762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$B1E784E4-BC62-4D58-8BAD-1C766AD9B64A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541bc36e9357802534d1e52134710ec758d76fb7","datavalue":{"value":{"entity-type":"item","numeric-id":5753923,"id":"Q5753923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$6735FC65-CE6E-4066-8E79-7A1C9705886E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c8d0dda71cd4de4005dfe831ab14458886317a6","datavalue":{"value":{"entity-type":"item","numeric-id":4647571,"id":"Q4647571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$73E354D1-DFCF-47A2-89C4-8482E2333709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$3169C3EA-33A1-4C8D-A173-34452FD602AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dffad437e017fdc15baf42ce447a323a98e8dfcf","datavalue":{"value":{"entity-type":"item","numeric-id":4133603,"id":"Q4133603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$CDD44357-0929-4C4F-85E5-F0B4E0ED0EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b40211716e772b4a2f4dcb616dccc635488709a","datavalue":{"value":{"entity-type":"item","numeric-id":5582318,"id":"Q5582318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$B30DD771-F809-4A45-B628-ACAC581B4923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$8CD1D16A-DF1B-466A-91EA-0A83E28D8928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$755A178C-1114-4447-94D2-DD2F44C1DFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8ca0d51854621bb08fb0858d69501b553d7e23b","datavalue":{"value":{"entity-type":"item","numeric-id":5339292,"id":"Q5339292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$6116B815-7C7A-4D0B-9DB7-5737C063D652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8d0c87a102dfbb72d08dbbff01d1e3e0d27dec5","datavalue":{"value":{"entity-type":"item","numeric-id":4288818,"id":"Q4288818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$070D96D8-ADF9-4BA3-8288-E2EAE7ADC9AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$0778B67D-C7A2-40A3-9673-282A3EA1B560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eed06f3a1051c38b77692fd862191034be4a8eb1","datavalue":{"value":{"entity-type":"item","numeric-id":4757531,"id":"Q4757531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$56AFA85F-7CF1-4B79-AF4E-901514DF9562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08e4429a6922f7caf8159242b5f0d4eae86492fd","datavalue":{"value":{"entity-type":"item","numeric-id":5724783,"id":"Q5724783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$1FE1A8A5-D1A2-4970-A2F9-E9AE75099308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf37a67188bb478aaca8d5a295c49a3f0529c426","datavalue":{"value":{"entity-type":"item","numeric-id":766956,"id":"Q766956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$DBC80EFB-96C3-4F06-9E0F-03967EBF9A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b48e9b8e84cf9b3c532b9fc4eee79bd50b0243a2","datavalue":{"value":{"entity-type":"item","numeric-id":4068683,"id":"Q4068683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$352336E9-6CE0-49D6-83E9-8F5EC551D264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"978af8987770da9ce87981964976dc7a47a0da09","datavalue":{"value":{"entity-type":"item","numeric-id":3204055,"id":"Q3204055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$9AB9EEE0-A241-4CD8-BE26-E12CF563FD73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afecb437dc3fe209f80586712ec2bd25abaaf75c","datavalue":{"value":{"entity-type":"item","numeric-id":1946671,"id":"Q1946671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$12A829F7-4775-41E3-B229-753B7BFA7E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f231c78aee0a9996d37683e0e5678e6c7352ac95","datavalue":{"value":{"entity-type":"item","numeric-id":5843995,"id":"Q5843995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$DB46B84B-9B9F-4DD8-9281-0908077D7C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$0A8F23D0-B2E5-4846-9701-3B485F6F99FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91ba25d69cadc919d80d2b5e82a0eabcb1b50c8c","datavalue":{"value":{"entity-type":"item","numeric-id":5343325,"id":"Q5343325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$F1A979AB-0073-46B1-8C67-B650F941E88C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca7d3938191910b4560c168a326b0febb423bf4d","datavalue":{"value":{"entity-type":"item","numeric-id":1565791,"id":"Q1565791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$F935105D-94A2-402A-BA87-91769CFC245F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"171f82c1628c2a301543b8df444943d13a9c70e8","datavalue":{"value":{"entity-type":"item","numeric-id":5726687,"id":"Q5726687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$F37A32CE-45DC-400B-A15F-19780ADA6030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc0fbba62806d6611fde9901ad3ff3bed111c8f","datavalue":{"value":{"entity-type":"item","numeric-id":5509675,"id":"Q5509675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$F19E2469-1F65-44FD-ABE7-434783F86CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0ad9da17a866aedbb1fcb0b1b80324ca70c7695","datavalue":{"value":{"entity-type":"item","numeric-id":5619069,"id":"Q5619069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$FC1F64F1-44FE-4B94-AD4D-78EDBB696441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4622804a4a5864d5bd07b0d1d16a6f64d614c609","datavalue":{"value":{"entity-type":"item","numeric-id":3722497,"id":"Q3722497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$90201693-17F7-4E26-896D-C59698DD239F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4dc969c8bfb3f24910ebe4979e630408a402208","datavalue":{"value":{"entity-type":"item","numeric-id":1923579,"id":"Q1923579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$C600E203-6DB1-4406-B2DA-28B0AF65DAAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"289e5708eb0cbb9a9dbb4d75ee2db63a898b6188","datavalue":{"value":{"entity-type":"item","numeric-id":5181669,"id":"Q5181669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$BF358AD8-98F7-4431-A1B3-072F43F0C26A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae94f828af67e50fecbc9e4b645ed6964977b9db","datavalue":{"value":{"entity-type":"item","numeric-id":4099613,"id":"Q4099613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$13739C48-4EEC-4A9A-9F6F-9E0F144B1DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"009122af7eb8e6ecc8feb2892d4b88e663912c90","datavalue":{"value":{"entity-type":"item","numeric-id":3328540,"id":"Q3328540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$DD74871B-3D03-4338-A6AE-3D70BBBF7EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d91a6fc5a255cbadfa617ce94146193166c4f9ed","datavalue":{"value":{"entity-type":"item","numeric-id":4247306,"id":"Q4247306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$A062C866-1BEB-4B1F-A05A-D6B4A4EFA14A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9cab8f9ce419a387d177a7e53c7b2a5d79c4c0a","datavalue":{"value":{"entity-type":"item","numeric-id":1815411,"id":"Q1815411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$C358AADA-743D-4B83-9496-8F8460E1F49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad0517629d8c4015787a5747683dd1b2eac9e20","datavalue":{"value":{"entity-type":"item","numeric-id":5502819,"id":"Q5502819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$FA8F7464-E29E-452E-A3F7-4FA4FC8836D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$669A3A60-AC2D-430D-B4D2-98CDF61AB366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$31E5958C-1DE4-430C-80BB-CD6F0EED35D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$BAF6DD65-BB56-4DC9-AE48-E112213A8435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$18F40D0F-7A5A-421A-9FEB-CC3F75FD89DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aee2f94b9261db91fcb79ee075343540417328d","datavalue":{"value":{"entity-type":"item","numeric-id":4843182,"id":"Q4843182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$60E18EA3-83BF-46E3-9B1F-60A67F7CA060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce52d4f27e8543c3e57e7dec883e2886338c2d77","datavalue":{"value":{"entity-type":"item","numeric-id":4214829,"id":"Q4214829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$1CB7CDC0-C9BC-4BAD-9AB2-49D3F587BACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$6D74D6BB-B82A-42B7-9BC7-ED8DBDC8B78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4441a33df5428b009347f1022f1440c1aaee513","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$BC51797E-567F-49CA-8384-5588C2A81ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bbc8f88f9dd6d69367a9b83c7e7ba087292aa06","datavalue":{"value":{"entity-type":"item","numeric-id":3998865,"id":"Q3998865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$4F63FDC7-F264-40F8-AA0B-3711462384A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"963205d84a6d89f699ac214f7c6807103ea70c5b","datavalue":{"value":{"entity-type":"item","numeric-id":4163532,"id":"Q4163532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$1E0FB234-1D16-4F76-AC1D-193D0725E3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$83EA3384-6465-4F2F-8796-921F161304AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ba85b98e8e346ac6a87314074cf35bf1d70516f","datavalue":{"value":{"entity-type":"item","numeric-id":4003339,"id":"Q4003339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$0CF80031-50F6-4FDA-A2A9-C8FE9E6534B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e45693061e506ddfc304d90cb392dffdbb69b973","datavalue":{"value":{"entity-type":"item","numeric-id":4215635,"id":"Q4215635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$799A6326-3820-424C-B5B7-BC3D99990255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$0E4439A5-E782-4BE2-9E4C-7FC5E2911120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"475cbdbbb7f14d6e3e0d9483dc4949b7a9efba76","datavalue":{"value":{"entity-type":"item","numeric-id":4126319,"id":"Q4126319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392280$8A68111D-CA77-4E09-88FC-577FC5162E74","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2393183bbfceb54fbafb3ed0b262b628bd00ad8e","datavalue":{"value":"10.1016/J.APAL.2013.07.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392280$C86277D1-D4BC-46EF-85C0-72BCF806A4C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07aac25750eff53e5ccca8bee0eed4f1d1c3ba04","datavalue":{"value":{"entity-type":"item","numeric-id":4254637,"id":"Q4254637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc139b56239b392ab612c5c34ace4d5078f989e7","datavalue":{"value":{"amount":"+0.9713274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q392280$9699226B-AF76-4679-8BA4-15C755A93EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22eed11b0b0c9c9ec9c7b273fbd8edcda3ada453","datavalue":{"value":{"entity-type":"item","numeric-id":4397034,"id":"Q4397034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6206626ccd6d76cd1e4a314bf5016e302176d911","datavalue":{"value":{"amount":"+0.95692235","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q392280$FA1BAF29-5A9F-41F7-8B37-ECAC0A2DBA60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bda8203e90c35ad1cc66854ea0db74d933291f4","datavalue":{"value":{"entity-type":"item","numeric-id":5502819,"id":"Q5502819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eff211f14b5017d51bf3f67c221b45b1b5c4dff","datavalue":{"value":{"amount":"+0.94859743","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q392280$F130235E-4B37-4BE6-BDEE-74B746FDB1F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b958373e2438e27311212a3abfee89b629d882e","datavalue":{"value":{"entity-type":"item","numeric-id":1882403,"id":"Q1882403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca07f4174f45e4ec8e424e6fd0c5ff4c54746fbb","datavalue":{"value":{"amount":"+0.94180685","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q392280$695D7A5B-0C16-4CD6-BA32-074F6122F800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0528b1a95ac25e7672938cf2137e84e9856dfdb3","datavalue":{"value":{"entity-type":"item","numeric-id":598308,"id":"Q598308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c7c939d4765100a27f9cb62810dde78f5328931","datavalue":{"value":{"amount":"+0.93216133","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q392280$9A2DB45F-BA3A-4151-B7A1-25B0D18FD2F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27d2601f2a687ae1d279514dfbf8f168e27a265a","datavalue":{"value":{"entity-type":"item","numeric-id":1118588,"id":"Q1118588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd5cf79ddf3fcedc9aaa0b50cde65fa45ac8e804","datavalue":{"value":{"amount":"+0.93205976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q392280$BD8CBF62-588D-40BB-9A94-1764BE5F5D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37010375bf26eb8003e1da184d21e7fe0ea45d35","datavalue":{"value":{"entity-type":"item","numeric-id":3367332,"id":"Q3367332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f629c4bcbd25cb932c4d733023170a22d296571","datavalue":{"value":{"amount":"+0.93189","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q392280$750CC44D-BB69-4D4A-B5AC-CC18AF8578CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5602416a4c5e64e6351ed5df649ffcee55293583","datavalue":{"value":{"entity-type":"item","numeric-id":3597456,"id":"Q3597456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68b20fe77551744d3af81015829b2f27b27bba93","datavalue":{"value":{"amount":"+0.927238","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q392280$F9FBC500-4670-4BAB-8990-7672ECD8B6F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4be32e5189528300d9df370552fde8bfab872da6","datavalue":{"value":{"entity-type":"item","numeric-id":5422557,"id":"Q5422557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f725fda3c4015643ce63d7ee11e38817b255d96","datavalue":{"value":{"amount":"+0.9254507","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q392280$BA39269F-E7E6-4106-B1DD-A1E98C289000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8498276b0ae6a2bdc554445ff25a6b25b5011339","datavalue":{"value":{"entity-type":"item","numeric-id":3027002,"id":"Q3027002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbfe397fbabfe87ef6595272a6704434db11401c","datavalue":{"value":{"amount":"+0.9241768","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q392280$634E405A-12BE-4AB9-9740-B0B7E5C7CA66","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intuitionistic completeness of first-order logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Intuitionistic_completeness_of_first-order_logic"}}}}}