{"entities":{"Q4813796":{"pageid":6843376,"ns":120,"title":"Item:Q4813796","lastrevid":74581191,"modified":"2026-04-14T23:28:02Z","type":"item","id":"Q4813796","labels":{"en":{"language":"en","value":"The \u2200\u2203-theory of \u211b(\u2264,\u2228,\u2227) is undecidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2091190"}},"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":"Q4813796$6904B14A-0D48-4C04-966C-FA5AD4BCE8AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa06c4bdfe6789f30d23c02270a0cdd6aa7ccd1d","datavalue":{"value":{"text":"The \u2200\u2203-theory of \u211b(\u2264,\u2228,\u2227) is undecidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4813796$7241F99F-D791-4434-9C74-7D52805BE332","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"520a05e4cc94722937c282a819c465f9a911c8df","datavalue":{"value":"1054.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4813796$86419403-FC9B-4051-9AFD-876940733C08","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e6c645d784d6491a841ca37050f1a2ca1b1bd769","datavalue":{"value":"10.1090/S0002-9947-03-03406-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4813796$E31DD271-D23A-4B0D-A89D-65CF771A96B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43fe99ff9293f8f20f9f81a490ad97d6c40cc252","datavalue":{"value":{"entity-type":"item","numeric-id":218973,"id":"Q218973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813796$D4C59CC3-8074-428E-AF80-14BB16421A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31b4e48a13833dd9894b366d4966e95d03977c89","datavalue":{"value":{"entity-type":"item","numeric-id":175054,"id":"Q175054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813796$7608C611-6935-4301-B41A-469F665C15B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33d3e97a4220276bcc217eca6e53eef203e9d2af","datavalue":{"value":{"entity-type":"item","numeric-id":1032631,"id":"Q1032631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813796$610E0258-140E-469E-90C5-99BB6724337E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"df8563a34b35a91e952c14424ba2e926e2255a87","datavalue":{"value":{"entity-type":"item","numeric-id":559399,"id":"Q559399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813796$9AA5CAD3-89B3-4C3C-9F72-6963135AA7F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9795cb0c9a94f1d13e079b8c212829a7c382d6b6","datavalue":{"value":{"time":"+2004-08-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":"Q4813796$6D0C9972-34AF-440F-800F-B4D93F3FECE1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4813796$3FFA02D5-452E-494E-89FC-3502533FA1E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4813796$2602BA56-F59D-4D80-9B1C-21149166D2C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86e7d9065663fa3ffd8f6c70df93df9f4742e385","datavalue":{"value":"03D28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4813796$918FE92F-4C99-426B-BDC9-3827384C6FF1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39ab7869a0c6986d0d7c0f0b02c075e2a6cb103b","datavalue":{"value":"2091190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4813796$F87AE6F2-32CF-479D-965B-FD632A50FACC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93f29f8c121f47a154c10001f7bdbac3bbf1a0df","datavalue":{"value":"recursively enumerable degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q4813796$78D8521A-FD44-41A1-99C5-A7B82C2BEBB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3081325017f6a57a42ac831ee4f3088c1cf6d7f4","datavalue":{"value":"computably enumerable degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q4813796$7D363EA8-BB6B-4606-8453-8E4326FF360F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4813796$E1E43B4F-CC9D-4A3E-8D21-F1B76D885FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4813796$8B685FE9-C01D-4E79-AA5B-A106EF4BE9B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca8747e792c9ec070a2b651f7745015b1625753b","datavalue":{"value":"Turing reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q4813796$FAA6B0BB-890B-4E2F-8965-3AA0E655E9F2","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":"Q4813796$67210294-8BCD-4C46-A2C2-658E468D5EB4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4555c0d89e243a8a9351cedc1b4ffbfceace09","datavalue":{"value":{"entity-type":"item","numeric-id":5691140,"id":"Q5691140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813796$FD63B3B9-AB4C-435C-93C8-E99B8B88F296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27786c5a505f52a3cd179fed4b4c7c837d8e05e","datavalue":{"value":{"entity-type":"item","numeric-id":688789,"id":"Q688789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813796$02A006CA-3471-4FF4-9599-ABD56029D62E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72407963dfa79cb8cccbfb044a720ee135a08117","datavalue":{"value":{"entity-type":"item","numeric-id":4328834,"id":"Q4328834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813796$73D620EA-8975-4096-BFDD-17BF2EAF7D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da9035a3503d06ad7946ad5c060940ce1e7b476e","datavalue":{"value":{"entity-type":"item","numeric-id":3905252,"id":"Q3905252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813796$CC4418C8-416B-406A-8FF3-802B3C9FCAD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d3ab541b99faabf87b841c92b776d995f9d8fe","datavalue":{"value":{"entity-type":"item","numeric-id":755574,"id":"Q755574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813796$C6A0CB65-4E4F-42E0-92EF-DC43931886C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dae26af80a5696fa8c01db658b71f7ff80167bbe","datavalue":{"value":{"entity-type":"item","numeric-id":3248015,"id":"Q3248015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813796$87C43D89-98A0-4A1C-B4D3-E80E5CE487D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80e10ad025d9092a4bf339636fc9e15f8e0ef7fb","datavalue":{"value":{"entity-type":"item","numeric-id":3666835,"id":"Q3666835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813796$8DA464E0-973A-4F32-A1C4-F03FE458ECD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbfcc6f5a7085d2fce2cc3dbce48b00140ce31a8","datavalue":{"value":{"entity-type":"item","numeric-id":5287687,"id":"Q5287687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813796$3D059CCE-EC4D-4F85-86B0-0B7E08D1A8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d69df0a0537188c5035dc1690fb4ebf6327592c","datavalue":{"value":{"entity-type":"item","numeric-id":2652167,"id":"Q2652167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813796$171BFE1A-4B9F-4146-8838-BF51610E8D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86157af58fb15295b79d699d90165776b79f432c","datavalue":{"value":{"entity-type":"item","numeric-id":5537366,"id":"Q5537366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813796$9DDF9EB0-A0A2-4BDC-9B94-EA54FC4D924B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bdc477ea51711f0cface25143923945c4f939c6","datavalue":{"value":{"entity-type":"item","numeric-id":5566515,"id":"Q5566515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813796$66C2CAEF-C6D4-4CBF-A291-B7E306D480F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"654f717b930cbace7136731cda8419f1178f1747","datavalue":{"value":{"entity-type":"item","numeric-id":4128552,"id":"Q4128552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813796$2853302B-63F8-42AF-9CFF-7A7A99DC0FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb76afcdf8831554ff0c35c02ea2b59bc9b7d5c9","datavalue":{"value":{"entity-type":"item","numeric-id":4211072,"id":"Q4211072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813796$17E12EEC-70E5-48FB-9818-81DC174C88FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d4a38d40768136b5da14eec51923820ee16867","datavalue":{"value":{"entity-type":"item","numeric-id":2538529,"id":"Q2538529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813796$68EB64EB-B648-42D3-BFC7-4136CCE54794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f187757627fa06cb1748441ae500a4f898b3a871","datavalue":{"value":{"entity-type":"item","numeric-id":4044555,"id":"Q4044555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813796$C98EFB89-E6E4-49BB-95AB-CBD9B36624CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe67cddb1d2e8d4582eb3ba360c56bb29576a54c","datavalue":{"value":{"entity-type":"item","numeric-id":3329452,"id":"Q3329452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813796$D9BD6705-BD75-4B14-A3FE-722AEBAF006C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f18a682665b2970ea1d4e3a9d054a7901e4a6888","datavalue":{"value":{"entity-type":"item","numeric-id":1964021,"id":"Q1964021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813796$D36C2C90-33D2-4396-9262-ABEF316C7B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26e16431ea4844625a9bc7c5ed4e21899acfc928","datavalue":{"value":{"entity-type":"item","numeric-id":3487331,"id":"Q3487331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813796$E5724D8E-E801-48CE-B9AF-DECD7B93E429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c21179f242fd720853b7b4176222ce96b7da351b","datavalue":{"value":{"entity-type":"item","numeric-id":802550,"id":"Q802550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813796$CAD80531-ED4D-4C36-A063-082AE702DBA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b26bdc210a3d291b796088837bddd84cce8b4c","datavalue":{"value":{"entity-type":"item","numeric-id":775202,"id":"Q775202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813796$9F9CC8F2-BD9C-4EA9-9239-65F8CAA36626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5984a63b85bacde3cf0157f967dc1a521468815","datavalue":{"value":{"entity-type":"item","numeric-id":3234158,"id":"Q3234158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813796$6C4F7ACD-7181-4428-9937-B715A64C00EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03521d64425b3a96d88a59d7ca3f8a4e74709a22","datavalue":{"value":{"entity-type":"item","numeric-id":4408481,"id":"Q4408481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813796$5C64C0FB-D4A3-4389-89B4-552724621B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7acd6881add1114f062391b8c55ecda1033c2b5f","datavalue":{"value":{"entity-type":"item","numeric-id":3125203,"id":"Q3125203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813796$AB3511B3-5AE6-46AC-B64E-73F67D42AB6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abc749d216d7ef73d2e4f1819d8a2b21835f381f","datavalue":{"value":{"entity-type":"item","numeric-id":3839947,"id":"Q3839947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813796$459F1C19-632F-4354-887A-C0B106E3E817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcd3a853401c0a338f3c6d9ef11af48e72f68c40","datavalue":{"value":{"entity-type":"item","numeric-id":5729295,"id":"Q5729295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813796$F84BFA6E-2465-44D5-AEA8-DFAD9279B04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3183fe1b285e34ab4afafe2135598ac868bd7630","datavalue":{"value":{"entity-type":"item","numeric-id":2520837,"id":"Q2520837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813796$FF520118-AB2A-4963-AE26-1C1A2878612F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a04643079bb03672b8a1dbe12aa7b0f8cb6861ad","datavalue":{"value":{"entity-type":"item","numeric-id":5729305,"id":"Q5729305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813796$4C46D3DD-9E75-4FCE-9D64-28541831BC45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ced993f36d10a145c00c6bd7090e0e4ebe35bfca","datavalue":{"value":{"entity-type":"item","numeric-id":3922661,"id":"Q3922661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813796$AD8D2CA3-3BCE-4640-A76F-3F642671F9BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34001a684df33b7394d7d8425da5f772acaabdea","datavalue":{"value":{"entity-type":"item","numeric-id":4934281,"id":"Q4934281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813796$F02F2F9A-FBFD-4C61-82CF-CAB6A724214D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8f50469b41c3ab481af5e1d67324db96d3e5dc4","datavalue":{"value":{"entity-type":"item","numeric-id":1234682,"id":"Q1234682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813796$C520A71D-E12E-4E3D-B9D3-2F659F608519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01b1d3ee86794cc71b8c3535ff1f821a61ddd385","datavalue":{"value":{"entity-type":"item","numeric-id":5945541,"id":"Q5945541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813796$4AF35F01-15A0-4DEF-BC84-5B5290E778BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1edcfc8f162dce621803913f4363a765362e71d8","datavalue":{"value":{"entity-type":"item","numeric-id":3819052,"id":"Q3819052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813796$16099F08-A567-412E-A1C2-D0B333543E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75fb05ff45c85c418587a5c71d455d08c4df02a","datavalue":{"value":{"entity-type":"item","numeric-id":768100,"id":"Q768100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813796$56B27313-D624-4272-A39F-3EEFB36BCDD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff431a272f467dfb02b804bd42fce10899a446b9","datavalue":{"value":{"entity-type":"item","numeric-id":5519130,"id":"Q5519130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813796$ECFAAAD8-5FCB-46AE-949F-E0BB0CD764C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"079646dab8c1aba6169822f07cf0255af2f6f871","datavalue":{"value":"https://doi.org/10.1090/s0002-9947-03-03406-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q4813796$83AB9CA8-D684-4DEF-9207-555F51CCA9C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"501a5f2c883a57aeeefce57df5c2e41c7881f692","datavalue":{"value":"W1956375874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4813796$B024A614-F8C4-43C4-B46D-7A4323C1EDFE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34a5ae038c0a0545edad5b822563efd1d6989303","datavalue":{"value":{"entity-type":"item","numeric-id":5687321,"id":"Q5687321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"168642a6f45472100864bf53571378e5c50be108","datavalue":{"value":{"amount":"+0.8416216969490051","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":"Q4813796$29A88B94-E878-40C3-ACFE-52F9890187A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9709db5af29614f1bd07ca63c06c7a72df0aa4d0","datavalue":{"value":{"entity-type":"item","numeric-id":4032867,"id":"Q4032867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"badeb7342ad42256416fc26a4db040fa128334e8","datavalue":{"value":{"amount":"+0.8416213393211365","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":"Q4813796$1C74F88C-E852-4267-BA76-7E7697BAF24C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08a20432b00a0b794ea96e73ee40c227403904cf","datavalue":{"value":{"entity-type":"item","numeric-id":5477365,"id":"Q5477365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e6c1a1983bca87eed5d6f8cd33a90da73ecaa7a","datavalue":{"value":{"amount":"+0.828777551651001","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":"Q4813796$2E15D644-5FFD-4428-B05C-BFD0A926C188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7608aea8ff74f57cc6cc652c7cbcb9b9ab0315d9","datavalue":{"value":{"entity-type":"item","numeric-id":762063,"id":"Q762063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fb898c295e3e9c7e8a76d04e66f1867d7df70a7","datavalue":{"value":{"amount":"+0.8151198625564575","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":"Q4813796$354FEA3D-2E6D-41F9-9FF3-C9D06E86AE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a6aff6ada44a7e7a7873f07cda8f1320c47c450","datavalue":{"value":{"entity-type":"item","numeric-id":4285797,"id":"Q4285797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfd077e4db8edce2b78828b826738142e94e1f81","datavalue":{"value":{"amount":"+0.8113888502120972","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":"Q4813796$A249D91F-C446-4D9D-B733-A3F23BE391B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The \u2200\u2203-theory of \u211b(\u2264,\u2228,\u2227) is undecidable","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_%E2%88%80%E2%88%83-theory_of_%E2%84%9B(%E2%89%A4,%E2%88%A8,%E2%88%A7)_is_undecidable"}}}}}