{"entities":{"Q406433":{"pageid":408200,"ns":120,"title":"Item:Q406433","lastrevid":61615434,"modified":"2026-04-11T00:29:35Z","type":"item","id":"Q406433","labels":{"en":{"language":"en","value":"Programming and automating mathematics in the Tarski-Kleene hierarchy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6341204"}},"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":"Q406433$8490954D-A642-433C-A261-60DD879034D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"255c2b9f6f05b124d65b7aa960e6455c5e0567aa","datavalue":{"value":{"text":"Programming and automating mathematics in the Tarski-Kleene hierarchy","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q406433$F8793B61-A7B6-44C3-A246-04F1CFD61AC5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd4d3f583bbbef09c3b6b8f5ce834c097615daf0","datavalue":{"value":"1434.68637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q406433$38056D42-FAE8-4356-B490-59B61B048525","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"661058c43babba56430a6ee50eb96105dced91de","datavalue":{"value":{"entity-type":"item","numeric-id":406432,"id":"Q406432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406433$9E6A9832-2A04-4753-90E7-CBAC0526F432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb27aad50a775f188aa99887f496d209cf025869","datavalue":{"value":{"entity-type":"item","numeric-id":299200,"id":"Q299200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406433$E28E535B-E5A1-4FFD-AE1A-15DF248AE13D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1f8cd3b806fd78547b3f4844ba487e41a5ec455","datavalue":{"value":{"entity-type":"item","numeric-id":286783,"id":"Q286783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406433$D5FA358D-E703-40BA-A07C-F70698CCC712","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406433$F7E32F0F-938F-43CC-8F9B-D62CC17FEEA0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"565bc5987614f46e32dc98add32d630fe2eeb533","datavalue":{"value":{"time":"+2014-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q406433$A3B5F103-5628-44BF-9A60-121B8141A3CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q406433$C07326F5-E573-49E3-A2BF-21C804B60885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q406433$7CCB0F25-DA15-4E4C-BFD1-BD56D77B0B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q406433$65E29E2B-F122-411B-A8F4-A66FCC3EB140","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e00cce31bd3552c2c3b674f57efdda8441abdd8c","datavalue":{"value":"6341204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q406433$A9D1E0B4-24E9-42D3-B867-F7EE12E72E43","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c908e3891683d83ddbcdf71fc30e31eab2e1172f","datavalue":{"value":"formalised mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q406433$9C7E09A9-B6B8-41F5-81EF-51F0244B0455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q406433$2E4BCC2B-20F4-4BC1-B619-AE9D09145635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dce58886ffc63b5facc93c53510fce5628bb35f","datavalue":{"value":"Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q406433$8FC68706-40CD-4254-8EE2-225453A57800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199dd3cc417c20523b770c6c8cf20a0b7d3f9f67","datavalue":{"value":"relation algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q406433$48C751D8-06D3-4950-B49E-76F391EE2515","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5cedfd091c2258943cadcffdadbd4749dcfc2b02","datavalue":{"value":{"entity-type":"item","numeric-id":13546,"id":"Q13546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406433$CE59C97D-2F57-4FC3-8E09-18672602BDF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406433$5925EA90-067C-49C1-9235-9C5DC2FB2C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406433$3C5726E8-D4BC-4013-A6AE-7B61108686DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406433$E18F956E-8C8F-43DB-A45E-B3AC52D952B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b0860d94af5fdff4b5635709ae334aacdf07ca1","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406433$F7097D5A-7418-4A50-8FD8-6DEE6F08B79E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa29bf2151fbe16d38e398c515ac9a9dd0ab16c","datavalue":{"value":{"entity-type":"item","numeric-id":40507,"id":"Q40507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406433$3DB6B6B0-F35E-4661-BAD3-E76C8ED34B54","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":"Q406433$BE365236-1603-4C6A-AC99-C63F51C0AB34","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10c76b2febb6a98bef6bda4b758048948e9ca69b","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2014.02.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q406433$EAF77282-F1D1-445C-BB13-88961D709D40","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e06ecf7dd3fecbe393ce788ad328a44490f7fff9","datavalue":{"value":"W2108356686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q406433$B611C6D4-11DD-4204-A54A-1C02C1458BAE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b067541133b94d9267b7f11ad1180a48440855fc","datavalue":{"value":{"entity-type":"item","numeric-id":5479223,"id":"Q5479223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406433$0DE76267-D65F-4818-B34C-0815F6DC7E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fd3ad63d4e6ab20a377a01d92d178d9cb68c64e","datavalue":{"value":{"entity-type":"item","numeric-id":5712431,"id":"Q5712431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406433$F114D101-1B2C-40C9-8A15-1A2EFDF9ADD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72a974f637709b7c0bbe6bc15d0ab90624a923b2","datavalue":{"value":{"entity-type":"item","numeric-id":4287490,"id":"Q4287490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406433$3E4CDF83-D158-4BD6-BD35-2833AC5BEE8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca23da055412797c29f8737a832166566f69c4c4","datavalue":{"value":{"entity-type":"item","numeric-id":3007567,"id":"Q3007567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406433$F2C82F6D-2337-491F-B984-E8C9B67AAB3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd7875a3e438e4ed33c8fa5a116cda1b69814dd","datavalue":{"value":{"entity-type":"item","numeric-id":3060335,"id":"Q3060335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406433$B7751582-0C0A-4000-B2B3-267315084323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ac0741082eee268d8fb2391d4dc966a1c3f9e9","datavalue":{"value":{"entity-type":"item","numeric-id":868510,"id":"Q868510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406433$BFC695A3-2D6B-4A6D-A93B-6534B4EC678E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6fa1fb8b18d93b9c2ae8e4f7f4b34a862ea3f6f","datavalue":{"value":{"entity-type":"item","numeric-id":2372262,"id":"Q2372262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406433$213DF715-13AB-47E8-AE12-DB8638554068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14533123e0b9e73c06f9737a070ee002c25f5f1b","datavalue":{"value":{"entity-type":"item","numeric-id":3612442,"id":"Q3612442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406433$5F6BD95E-FFC3-4087-A1FE-F797FA1BE7E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad5469f72b3d14e0a040a00af8c98b8e5cf4cb2b","datavalue":{"value":{"entity-type":"item","numeric-id":3172879,"id":"Q3172879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406433$2E258E7F-B47F-4B3B-BDA5-EC371848BE17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcc11302650095b8014b4cfac23c2bd493ca57fc","datavalue":{"value":{"entity-type":"item","numeric-id":3358736,"id":"Q3358736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406433$9C68E5EC-796A-47A5-8EF1-78D94F896931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83dd7302ae5c6ff14c7d7d4f9e7c2537339e8f91","datavalue":{"value":{"entity-type":"item","numeric-id":2392416,"id":"Q2392416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406433$2496EF0B-C66F-44BD-A60D-D16050265BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406433$EF5CE716-7D45-4E1E-BF30-DCC5BA86A4C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"decc60dfbdecb52e4624e62a3849ec2745afa0d5","datavalue":{"value":{"entity-type":"item","numeric-id":5747648,"id":"Q5747648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406433$3AA1DB7E-9CAB-43A3-8DF8-B26BE57ABBD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"360383bb8da6b25f21760984236c3aab0e481c29","datavalue":{"value":{"entity-type":"item","numeric-id":604456,"id":"Q604456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406433$64FDBB59-7C1F-438F-A930-B6A3C7472FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3913a579b628d4f8deae9c770eb511538508ca80","datavalue":{"value":{"entity-type":"item","numeric-id":3994777,"id":"Q3994777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406433$BE01DAB9-8543-4DA0-AE86-2FCAA7F7DE30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a55447afe9e55109d21f7cb3e3fc40d677697651","datavalue":{"value":{"entity-type":"item","numeric-id":5891671,"id":"Q5891671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406433$C66BA8EA-8CF9-40E5-A277-54297C16B287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d22f258bcf684e873fb03cd26b86d4f19a806e14","datavalue":{"value":{"entity-type":"item","numeric-id":3541686,"id":"Q3541686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406433$88C8D291-0B56-431C-8D29-25CE3054D8DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406433$012FB01A-2902-4FBA-8CC5-E38FBFD869CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dabddbda2c90efbc7858f44bea11b065fa6ae574","datavalue":{"value":{"entity-type":"item","numeric-id":5810599,"id":"Q5810599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406433$8B2E6DF0-2624-417A-A135-33371ED9B872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d5703d8b9ac3f2ec42c5cea3cb6310bb02f051a","datavalue":{"value":{"entity-type":"item","numeric-id":627202,"id":"Q627202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q406433$23FE678A-0E8F-46C0-8853-4CDFB4CB6649","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e6790f829c0f4c289e592642ad0eb2b028161271","datavalue":{"value":"10.1016/J.JLAP.2014.02.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q406433$6287AF03-931E-4A3B-B967-5AD9BC288DEF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5f8f631d9742a6ad7d090ba11fbb7ef12c2162e","datavalue":{"value":{"entity-type":"item","numeric-id":405669,"id":"Q405669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad45910f5a43bfca24907fc1e2f72b829311ee2a","datavalue":{"value":{"amount":"+0.90294445","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":"Q406433$8C9CB0C0-169F-4AC1-AA52-75C69C7FEA24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ef8bba93f960c991c1375d51502da818a0e3307","datavalue":{"value":{"entity-type":"item","numeric-id":3608779,"id":"Q3608779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d1efa133871f77582ae5ee2b02baf8cd174cefc","datavalue":{"value":{"amount":"+0.890368","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":"Q406433$F5E3E280-CEBC-4BB5-B97D-5B03932EB8B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ddfa845e0acaa3e7926dc596271e7773e71dedc","datavalue":{"value":{"entity-type":"item","numeric-id":6174522,"id":"Q6174522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aabe8bb4a4746ca75d03a9918804e08734f8d97a","datavalue":{"value":{"amount":"+0.8824773","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":"Q406433$F897E23F-81F0-4912-B7B9-18548970366E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"497d0defe2c675fb0d107e4b88aa19fc7633fb63","datavalue":{"value":{"entity-type":"item","numeric-id":5851153,"id":"Q5851153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd13344a1f6022ede897c64a57bb90dcdfdedc56","datavalue":{"value":{"amount":"+0.88103724","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":"Q406433$9AC7A0CF-11CE-4C98-87C7-8CE97B3DEF6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2651dc685e3510fae612d1697c2cc86fd464987f","datavalue":{"value":{"entity-type":"item","numeric-id":3498428,"id":"Q3498428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17be00f56cd6864c3ada07f6a3e8dae8693979d0","datavalue":{"value":{"amount":"+0.87854093","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":"Q406433$BBC9BC9B-8C9F-47DB-A79A-017990CF7365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3434d02a55e267a9d852f2b7890dae77cb192808","datavalue":{"value":{"entity-type":"item","numeric-id":3347334,"id":"Q3347334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09e40162a59e408748d1baa37979d56e1e7914bc","datavalue":{"value":{"amount":"+0.877941","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":"Q406433$EF29A1B0-485C-4ABF-8B33-2EBC08DCC0EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e830ee596863a799118d626803699e07f9b3650","datavalue":{"value":{"entity-type":"item","numeric-id":5089609,"id":"Q5089609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3177c6356a3e691ff9f0f7dd17abd5fb01012253","datavalue":{"value":{"amount":"+0.876891","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":"Q406433$CC8ABAF6-F02D-4E8D-8900-D9883BDAC9A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdf15563105d4ad85d0501988063639e6a909039","datavalue":{"value":{"entity-type":"item","numeric-id":4028371,"id":"Q4028371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c61ac806de6e17cb716b035b677bea8f5f09c29","datavalue":{"value":{"amount":"+0.8758521","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":"Q406433$F2723AF3-E7D4-4031-ABA2-450A738AE5F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64ec70f6c707206282911ea47bb73451cfc707a8","datavalue":{"value":{"entity-type":"item","numeric-id":2265794,"id":"Q2265794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d96d4adddb6e1f47490711c62477092596779a5a","datavalue":{"value":{"amount":"+0.87574875","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":"Q406433$EB85CB0E-CBCB-44A5-82B4-CA1111067170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71f3871c91d193182f24e1450a792f7ef1c194e7","datavalue":{"value":{"entity-type":"item","numeric-id":4332419,"id":"Q4332419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73b671d8a1da8cda68a1f643aaaae1363fa791b0","datavalue":{"value":{"amount":"+0.87336624","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":"Q406433$9FA69F96-CBAA-4C06-A070-A5A075DC9ADC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Programming and automating mathematics in the Tarski-Kleene hierarchy","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Programming_and_automating_mathematics_in_the_Tarski-Kleene_hierarchy"}}}}}