{"entities":{"Q1319386":{"pageid":1330136,"ns":120,"title":"Item:Q1319386","lastrevid":70132191,"modified":"2026-04-13T12:39:36Z","type":"item","id":"Q1319386","labels":{"en":{"language":"en","value":"Set theory for verification. I: From foundations to functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 549828"}},"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":"Q1319386$FF24579E-D231-4147-99AC-84B0B8F09C9E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8f1f2448ab5177c096947bb8f1d239ec81ade1a","datavalue":{"value":{"text":"Set theory for verification. I: From foundations to functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1319386$ED9ED898-A49C-48BB-B5E4-320A0BF8B620","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e131ee2657fe348bc7ae5393ac8bf216a5a9b66","datavalue":{"value":"0802.68128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1319386$CCF10158-4B60-496E-8E74-FFEA8B67050E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4ee0317b7350251b218ab4d02ff4124cee4186e","datavalue":{"value":"10.1007/BF00881873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1319386$B1AE74CF-8408-4577-8220-1C3FEA7E4BD2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319386$9982E659-0266-4D6B-A00E-48EA4B6AF11E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"10b8be3aaae04a8b6e1fb062263f34380fce1ca5","datavalue":{"value":{"time":"+1994-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1319386$87B7BC10-5CC3-455B-B971-8E85A3674152","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1319386$703D4195-3C07-4B3E-B917-526C8E194BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4360a3cfd8e657af32addfcb7ca1e57dc87719ba","datavalue":{"value":"03E75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1319386$B769BEB1-FB3C-45DD-8582-6070EB63AF85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8724ac1f861fd4485a474d1844744a1ace24834","datavalue":{"value":"03-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1319386$7A77EAD5-4DA7-4704-ABD6-A9FD1361CCA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bca2081b99b035015e2950ceede7293145c867a7","datavalue":{"value":"549828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1319386$3D59CB06-0448-4B17-A399-931DF5524D0F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9fd1c79a080386cbbfbc19d24d04f364ade741a","datavalue":{"value":"Cantor's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1319386$1E072E2B-A3E9-46E4-A4D2-A04E137B2393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"546f982464ca9e4d7b2d83e5ae55c43306696e3a","datavalue":{"value":"Ramsey's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1319386$0E35AFAB-0AB0-4A2D-9178-27208A34A09A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fca68678f0226476760659b8a62b898b90f2b853","datavalue":{"value":"higher-order syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q1319386$BC443E9A-EB71-4316-A66A-AFF63EF5420D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b2d924427894014a8804325269238652ff50a2b","datavalue":{"value":"generic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1319386$5107C2CB-208E-4E85-BE05-951EE67FE81E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c222d2154c724462abd633657d9386ca4ec975ff","datavalue":{"value":"Zermelo-Fraenkel set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1319386$90C02FEB-E3EB-4F0B-A387-5A0CA8E4EBBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7eefb2b1f5e1ddd95f5db204b23cfb4c53d0151","datavalue":{"value":"Isabelle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1319386$C33059AA-7483-47ED-A2B8-AAE1330398E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8428c3fa111c0542ed22960ce5dd7f76f7043e0","datavalue":{"value":"interactive proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1319386$F7D3CD1B-439D-4101-BA30-D7F261B1E443","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a1c6ebe424cce518167d02dc332f70bb604b4c04","datavalue":{"value":"Q57382712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1319386$9FB7407E-A781-43E7-B78F-2AC848F3996D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb5dfbdfa6d8a2070a67ff948fb8abd387eda36e","datavalue":{"value":{"entity-type":"item","numeric-id":352969,"id":"Q352969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319386$77105417-D020-4686-AC66-D693DAF1B1A8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319386$75CE1C46-54EB-4736-9052-6A2209A8A409","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":"Q1319386$6A722690-352C-4612-8AE0-ACC0CDF188FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"634575e13890e0b300ce3ec585399a650d10ed4a","datavalue":{"value":{"entity-type":"item","numeric-id":35809,"id":"Q35809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319386$3851B9E1-B13F-4CFF-A6AF-10CA57EDB806","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":"Q1319386$2B85F7DB-059C-4D17-AA31-90ACEB750FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aca41f313ec935c6c7a90dad170b49859b6fac14","datavalue":{"value":{"entity-type":"item","numeric-id":17120,"id":"Q17120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319386$DBA51F74-2CB6-4FFD-B9A4-51101E2C38B5","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":"Q1319386$314C48FF-7CD8-4835-A9AD-7B8CCB0D0501","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":"Q1319386$E3FE0B56-CE6A-40D6-AAA6-B6B9563F06A3","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":"Q1319386$6E1DEC7B-E80E-4A81-AF53-6F9BBA9E9AE7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edbd4db20ecbcbb1c315d5320a38ebf3acfa299","datavalue":{"value":{"entity-type":"item","numeric-id":3992552,"id":"Q3992552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319386$3F3216AD-AD2E-4948-A50F-8F225D114BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c9f2843640e7eabb53dcf6b38d2e418915c6350","datavalue":{"value":{"entity-type":"item","numeric-id":3343471,"id":"Q3343471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319386$BD7CC0F7-E075-4979-BF68-1912C48398F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"699058486e8b00064491357c30e4bf001687c940","datavalue":{"value":{"entity-type":"item","numeric-id":751644,"id":"Q751644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319386$579AAED4-C40B-4458-B48C-E235E8474856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b3cd1e4c8a325fa7e9a7d1a0eb085324974feda","datavalue":{"value":{"entity-type":"item","numeric-id":1319387,"id":"Q1319387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319386$D9AE4896-2FE6-45C9-B0F7-E996C87F1C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"804ce03be7531b05346ed40bd30dacbbe0cf6de6","datavalue":{"value":{"entity-type":"item","numeric-id":4012877,"id":"Q4012877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319386$0665EDCC-064A-4A57-9E35-067EE84D58AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e857e95d91a8e9f3746c9aca423c534197fa21d","datavalue":{"value":{"entity-type":"item","numeric-id":1238434,"id":"Q1238434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319386$6ADEBDBA-CC8A-4908-B6C3-F3E8C853F5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f46aebace2a25a127b5f8fa91e5c1e1d9e767403","datavalue":{"value":{"entity-type":"item","numeric-id":1097252,"id":"Q1097252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319386$D86F8BB5-EE8F-4C94-B1D4-75CF5258E268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c1b079c7d185126ec0a687c39691da56b5aff96","datavalue":{"value":{"entity-type":"item","numeric-id":1253108,"id":"Q1253108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319386$F098E2D8-9C6B-4C8F-908D-5FB5EC1B8C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deed870d3160c3d9176d3cd4064d414d164ca374","datavalue":{"value":{"entity-type":"item","numeric-id":810489,"id":"Q810489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319386$2E78FADC-9A8F-48D7-BF3C-A161A37B40F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbe0d38e4ddcad71d635c28ec0c347feb4337ab0","datavalue":{"value":{"entity-type":"item","numeric-id":1257892,"id":"Q1257892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319386$6562E730-B174-4400-A078-7A44E1D62652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53272d2173db9c6e31a2df5def7f3ca8e8e0c9bb","datavalue":{"value":{"entity-type":"item","numeric-id":3753927,"id":"Q3753927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319386$B655797A-5951-4E04-BE0F-6920589B1DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74c86d89cd4b3f778eea50012f0bf53063ad7680","datavalue":{"value":{"entity-type":"item","numeric-id":4004176,"id":"Q4004176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319386$CE33180B-D028-431E-95E7-6E893D79E454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fecc7ce8fe53bf0ab0f560a96ff760721b70f9b","datavalue":{"value":{"entity-type":"item","numeric-id":1230505,"id":"Q1230505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319386$2E8D2AEA-0AA3-4B81-9633-FA973A2168B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64fb3e8e1bce2eac8344ce1eacc6de3a8144fcba","datavalue":{"value":{"entity-type":"item","numeric-id":688572,"id":"Q688572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319386$5D4BFC72-367B-468A-9758-94F5883C1F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c8c8ed706a86d97db05d5b778c49fb79be8a30","datavalue":{"value":{"entity-type":"item","numeric-id":1144013,"id":"Q1144013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319386$B76240CB-2A0C-4512-81DC-B43536FD81E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d5978f4bdf14ef5fd8b71ce390dbec5034a1e6","datavalue":{"value":{"entity-type":"item","numeric-id":805251,"id":"Q805251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319386$2EB3B650-6778-4EC7-A1DC-050BC7A9E5F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"894ea3c0e75ceafd9402be6648d89711f1bcc74f","datavalue":{"value":{"entity-type":"item","numeric-id":3216156,"id":"Q3216156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319386$3CB6A727-14CC-4381-B48F-130A6D41376E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b4f4d44dc19f26559592a12ba4d75f8fcd246fd","datavalue":{"value":{"entity-type":"item","numeric-id":1201348,"id":"Q1201348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319386$C3BC42F8-270C-4D87-A8F4-58F60069A9DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86db483e9a40527302031aff778bd8060ee45920","datavalue":{"value":{"entity-type":"item","numeric-id":1312157,"id":"Q1312157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319386$C950DA2B-8473-4E73-BA73-71864F500907","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":"Q1319386$A1DF9F03-1A16-4D9B-924B-7B8050393FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccba0bbd9daf5d687a63a4dadd7212bd0602fccb","datavalue":{"value":{"entity-type":"item","numeric-id":1245007,"id":"Q1245007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319386$D0C532DF-A5E6-4282-895F-EBFF29133957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1404903fbb3450c69ae4b46e148487834232fe43","datavalue":{"value":{"entity-type":"item","numeric-id":1823013,"id":"Q1823013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319386$44B49FD0-9FCC-4C3B-B421-7B1ED881E240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0136d3bc330af377385e6266bfd9e4c2d4c7a96c","datavalue":{"value":{"entity-type":"item","numeric-id":1319386,"id":"Q1319386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319386$A61CCFFF-A182-4996-924F-2794C0237373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5587664e371fa7cdb52e3b1329f22cf9fcff022","datavalue":{"value":{"entity-type":"item","numeric-id":1101242,"id":"Q1101242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319386$95F36A98-69D3-4373-949C-99EBD0429B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbf7a392ff381d91eb3e0017a3df59be02487110","datavalue":{"value":{"entity-type":"item","numeric-id":757071,"id":"Q757071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319386$5736FD0D-7009-46A6-8A85-EF340CFC11FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319386$5624EFEE-DD56-4BC0-B3F3-67112E535A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9e9c7ff207f36939585420da3be0c8db2297ca","datavalue":{"value":{"entity-type":"item","numeric-id":1187858,"id":"Q1187858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319386$B3C9257D-0420-49EE-9AB5-3D783F859553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76599f5b67319d1435dbee3630fec1cd7db94ea1","datavalue":{"value":{"entity-type":"item","numeric-id":4055643,"id":"Q4055643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319386$8C80AB61-3700-407D-876E-E5983E7023A7","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":"Q1319386$DB58690A-F417-4E78-9938-D32AE2AEB989","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"ef28752772a7e4f28ef5ebf73360026724f2a791","datavalue":{"value":"journals/jar/Paulson93","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1319386$39E7B7BB-D5CA-49E8-AD1F-FE0C2245CB0E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24fe603be126cf3667eea9dd66064ca9076cdc76","datavalue":{"value":{"entity-type":"item","numeric-id":1904402,"id":"Q1904402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b766ed2f3d473e9b4473676c3751767853892b1","datavalue":{"value":{"amount":"+0.8131672739982605","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":"Q1319386$857A08C5-EC03-49BA-A935-A8E512DE59B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d4d8bd861fad72b8d2a4ae0cc98add32adbe3f3","datavalue":{"value":{"entity-type":"item","numeric-id":1312157,"id":"Q1312157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49629c40c2551bc10fde5d5e03a3b65db06a2bf5","datavalue":{"value":{"amount":"+0.8085775971412659","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":"Q1319386$E153E74A-AB01-4C5C-9A3F-4565294DEDE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef914c5d16ae991870856bd539a5283395a477b7","datavalue":{"value":{"entity-type":"item","numeric-id":3543647,"id":"Q3543647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"063dd5826eeb496a468f8e68cf198aac065eb3d2","datavalue":{"value":{"amount":"+0.8071167469024658","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":"Q1319386$ADD020B7-4C7C-4C6B-999C-E4359F7EB5B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"619d07d39ad50d8b9a4d0bfcd8121f291b2fc77d","datavalue":{"value":{"entity-type":"item","numeric-id":4364537,"id":"Q4364537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ada7b762b50bb2744298206c9f2a32de28f3d779","datavalue":{"value":{"amount":"+0.8003330826759338","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":"Q1319386$D8DB8CEF-4B9D-4BEB-B35D-FDA4419D9D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"027e66e493294de396e3f06701b232a3660c5eaa","datavalue":{"value":{"entity-type":"item","numeric-id":1823013,"id":"Q1823013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3049f8084d585829b04de8bfb5abcf4084bf9a6","datavalue":{"value":{"amount":"+0.7948826551437378","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":"Q1319386$E758770E-8C3E-418A-82C2-3E206544BB09","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Set theory for verification. I: From foundations to functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Set_theory_for_verification._I:_From_foundations_to_functions"}}}}}