{"entities":{"Q286772":{"pageid":288539,"ns":120,"title":"Item:Q286772","lastrevid":56772516,"modified":"2026-03-23T13:34:03Z","type":"item","id":"Q286772","labels":{"en":{"language":"en","value":"A mechanised proof of G\u00f6del's incompleteness theorems using Nominal Isabelle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6585233"}},"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":"Q286772$472CDC31-6CE6-45F4-B611-694EFC9C56FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad030c70bf008b19be87d5cc077c5da034034407","datavalue":{"value":{"text":"A mechanised proof of G\u00f6del's incompleteness theorems using Nominal Isabelle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q286772$848AFA5A-97AB-408A-8A6F-70EB2C68B032","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8eb9b2a23e28e8f8ac399052d94055671636efdf","datavalue":{"value":"1357.68200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286772$D4FDED71-6C90-43B3-8459-25A563B58F7C","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":"Q286772$7030AF09-776B-4E4E-BC8F-D5AD1976E22D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b626bb78b3e93b3076e6958296f7f25e2e74c3ab","datavalue":{"value":{"time":"+2016-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q286772$AF54D8FB-B2E8-4D0F-ABEB-E4BF0686F9DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d2757828f953a0c1a78dd5720e8092b6fde93f1","datavalue":{"value":"https://arxiv.org/abs/2104.13792","type":"string"},"datatype":"url"},"type":"statement","id":"Q286772$B909CBAE-8F02-41FD-8761-5E8F9857042F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286772$8EED2036-25DC-41AF-AF2D-494B07AE7009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286772$256EF3DC-A3F3-4E88-83A9-1EB59CB28BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286772$8F49C75D-F296-40B3-BB11-C2B7C8F89780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286772$1C37E922-AB7D-4183-8A18-AF7AF9D5DBA6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d6ac5a1f6fecf1ccbd3b754a3718d6fe0315a8db","datavalue":{"value":"6585233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286772$ACADF4F2-0476-44EA-9101-A68136944FAE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a966af23592156087b1c150d4af3a65966a84a54","datavalue":{"value":"G\u00f6del's incompleteness theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q286772$90E42F0B-60F1-4D63-8E5A-3041A16F349D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q286772$83BDC0D1-D710-479F-A3EE-306CCC2E1B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bbf696ef5d13344e8ef71c4c25913319b16179e","datavalue":{"value":"nominal syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q286772$CDB608BD-B4CF-4C3B-83C9-2DCF773498FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78c180ee2d56162da3a93e683315dfd57d39ecfb","datavalue":{"value":"formalisation of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q286772$65E191C6-B3D8-46E0-931A-0BFF988A58FD","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":"Q286772$1B41F884-D72D-43E0-AFBC-65E32E980A57","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286772$CC8F5CD6-82D0-43A8-8812-5E0929E0FAF7","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":"Q286772$01B69C3A-CD8A-427D-96C0-B284A1FD82D1","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":"Q286772$8DE6B0B7-FB45-4FEA-8B49-3A3124416220","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":"Q286772$A5C8F17F-6B20-4ACB-8AB5-F6DCC06E25EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d40b61763c81cd80c5c82e03c39b2fdb5cbb80a2","datavalue":{"value":{"entity-type":"item","numeric-id":23989,"id":"Q23989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286772$452C7945-220A-43E9-AACB-BD4DB637CD07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d240ff7e867c5bb76d4187c835e1f4943ad921eb","datavalue":{"value":{"entity-type":"item","numeric-id":40250,"id":"Q40250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286772$48E5EA22-C1B6-4C24-BDDE-99F5DC6D2FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b250c7c0eb7aa99a5d5a809c83652df35288f119","datavalue":{"value":{"entity-type":"item","numeric-id":40326,"id":"Q40326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286772$F324B507-9BA0-4083-9BDE-03F02CB6B185","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":"Q286772$06E519ED-8F28-4180-A4A8-C0F7356E340C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"af7c17571d77dc7eb3fdb96bfcda16347ab549ab","datavalue":{"value":"Q56853390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286772$94C2364E-E5F8-4CB6-9298-2FEF02449569","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0ca8b387e198b5e576a266c0f87ad7049cb4df28","datavalue":{"value":"W2015224901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286772$B4E6E416-4954-4CC6-B9E5-CC868EE01785","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"845969487dd8e0c91747e5b0285df64cc79ce670","datavalue":{"value":{"entity-type":"item","numeric-id":4397069,"id":"Q4397069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286772$C7F04309-C64A-4A95-B934-9355AF465CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286772$8CD19D9F-4C03-4E6F-8F54-8604526BF0B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90c95dd58cc357dcb1c686b471efeabc9b455ace","datavalue":{"value":{"entity-type":"item","numeric-id":5466245,"id":"Q5466245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286772$A7C34CC1-7D37-4DF1-AC11-E744101DB840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882e318ac9b6bbd79e82dcc1ce3fe340042f5778","datavalue":{"value":{"entity-type":"item","numeric-id":699761,"id":"Q699761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286772$B7D96A05-AB39-4035-B8E2-61F6EAECE487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"714f8e4af0bfa214b606156b622ea2fb394842f9","datavalue":{"value":{"entity-type":"item","numeric-id":3244331,"id":"Q3244331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286772$81A29D70-42D1-4D6D-895C-E1AB93FB544F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a55f8c2b319d70b60be30ee404d4dbd182565eb7","datavalue":{"value":{"entity-type":"item","numeric-id":3423150,"id":"Q3423150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286772$E074BEEA-75DA-4FFD-988A-91714D277012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14dcafd1d5ad0fa82894e6036f6ce40f59f85e5b","datavalue":{"value":{"entity-type":"item","numeric-id":1247307,"id":"Q1247307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286772$A4F4AAB4-A785-4E8D-BC4F-DE26BE083EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeedc506ee95714a79cfc16f82862182df8774bc","datavalue":{"value":{"entity-type":"item","numeric-id":3613408,"id":"Q3613408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286772$D30CE5E1-A0B6-4FC9-8288-023D9F07E87A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03cb8e50e6c3bd60a9a9a59407cf30e8e788baa4","datavalue":{"value":{"entity-type":"item","numeric-id":3618853,"id":"Q3618853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286772$33B77048-463A-4D6F-8BB9-CCCFB402B9F5","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":"Q286772$C4732B37-4AFD-4A5D-9ABE-89823E94DC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2819bd996a82604201d8aab0900cbc265825a6b6","datavalue":{"value":{"entity-type":"item","numeric-id":2369295,"id":"Q2369295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286772$3FA0FD5A-D3AC-4C07-9078-1584221B99E4","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":"Q286772$56AE6CEC-5DD3-4CCD-976B-48A50FE0DB5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1887ecc00a11b9bb8173940cb3b7e85286faf2b","datavalue":{"value":{"entity-type":"item","numeric-id":3183537,"id":"Q3183537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286772$E8F710F7-C4A7-471C-93DB-627C1B8145C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab11f968a1fe231094f125d88568cff5c0be92de","datavalue":{"value":{"entity-type":"item","numeric-id":1595924,"id":"Q1595924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286772$A684F703-0534-4A05-A3CE-D8BE98E29ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d78f9e51b63c4e692cfd1c2dfcec05b263377e7f","datavalue":{"value":{"entity-type":"item","numeric-id":5477669,"id":"Q5477669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286772$960B8DEC-AD2E-4CF0-8D28-9427AA25EAA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286772$FECE137A-D923-4A58-8A34-DB2DA61B41D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"933ff89cc5998a8f55afbc41a4b90f3170f8cd61","datavalue":{"value":{"entity-type":"item","numeric-id":3523176,"id":"Q3523176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286772$324B91BE-96A4-4109-8547-235938D50F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc4ddddb5840ee99760e1c2afc56ab700e598c2d","datavalue":{"value":{"entity-type":"item","numeric-id":5477659,"id":"Q5477659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286772$C84237BD-6FD3-4081-AFCA-C0C85C9272A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0109241a704d91dc3140ac5a94ac34a08698fd6","datavalue":{"value":{"entity-type":"item","numeric-id":4827615,"id":"Q4827615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286772$1202A599-935D-4DBE-9AF2-BA2C683BB3F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16c05aa45210aebb87236e38d8954563df144e4d","datavalue":{"value":{"entity-type":"item","numeric-id":2940885,"id":"Q2940885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286772$B488AEAF-FB40-4286-A957-E75EF79DDCA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7c974da2fbdfbb494f4ddce13bd1f1e2231832","datavalue":{"value":{"entity-type":"item","numeric-id":2849600,"id":"Q2849600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286772$CD6CA361-C4C0-4D33-A315-DA27B3712870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5f1a85252a4c0a5bb2b7a3eae3c76b6088496bd","datavalue":{"value":{"entity-type":"item","numeric-id":4296962,"id":"Q4296962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286772$C8093875-88BD-4F6B-85D0-646A89C67E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a251d54cb8d77477d7b56edd116f203ae2ce0345","datavalue":{"value":{"entity-type":"item","numeric-id":4829437,"id":"Q4829437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286772$776669E7-CA7F-4850-B15D-E2EE923AFCA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4feea37c535bd22cbdd726fd39655db123c9a3f5","datavalue":{"value":{"entity-type":"item","numeric-id":928672,"id":"Q928672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286772$FF38AB54-3809-450F-BC93-49E73FBB6BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20d4a2aad4cebbcfa646c9c5d2e3fb1738d09daf","datavalue":{"value":{"entity-type":"item","numeric-id":5891628,"id":"Q5891628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286772$F5FB8328-D9FD-4E92-8C49-431D8FD954D6","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"d5e0a023b71c11c416f5f7fe2e25936464985bb2","datavalue":{"value":"journals/jar/Paulson15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286772$833C9002-DBCB-4CA7-B148-A1C14C90B237","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a9fc7edc2743decc7cdcf8676c5416b1a7e3051e","datavalue":{"value":"10.1007/S10817-015-9322-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286772$7C6EAF5C-5FFE-4A58-BDA3-6A6F511604D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2454600514756771921ca2d58e70225397847431","datavalue":{"value":{"entity-type":"item","numeric-id":2940885,"id":"Q2940885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71bc16d9a070dc1c7a9cc83d57dc61dc8f60804a","datavalue":{"value":{"amount":"+0.8311644196510315","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":"Q286772$3CEBDFA8-5622-4E0F-B98B-9AA5C32C79DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eebdf485c1ad7f7b30ca2e308c926b46b09ac74","datavalue":{"value":{"entity-type":"item","numeric-id":1893141,"id":"Q1893141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4543f62629e8e1610afdbb96c5cede98e55f5121","datavalue":{"value":{"amount":"+0.7722629308700562","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":"Q286772$29277E48-4C42-4209-A889-102DE8C6C609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce67b722c848150f825586e03f4e67750a7de47a","datavalue":{"value":{"entity-type":"item","numeric-id":5477659,"id":"Q5477659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a83772816a2131503524b795dbb9c3b02d41b523","datavalue":{"value":{"amount":"+0.7643721699714661","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":"Q286772$7B70E8FA-CE6E-4A1E-B2D2-3384CDC5B1D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4acd6afb10e57544b9634a0985d5af6293067b6","datavalue":{"value":{"entity-type":"item","numeric-id":5207886,"id":"Q5207886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e435069f168332b88ea1e9677ad910a99fc36203","datavalue":{"value":{"amount":"+0.7609717845916748","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":"Q286772$A1ED31F4-786A-44F0-8FCA-7B03CE7F0B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fee23f5b88cb89559fe4903fd149898b93eacf1","datavalue":{"value":{"entity-type":"item","numeric-id":2945576,"id":"Q2945576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07eeea6aec35017778a7168c21416655465d3509","datavalue":{"value":{"amount":"+0.7609549164772034","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":"Q286772$0B0A0F67-776E-43DE-A1F8-2134C2F7E4C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:286772","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:286772"}}}}}