{"entities":{"Q5900721":{"pageid":8007017,"ns":120,"title":"Item:Q5900721","lastrevid":93573362,"modified":"2026-06-05T04:37:51Z","type":"item","id":"Q5900721","labels":{"en":{"language":"en","value":"Reasoning about iteration in G\u00f6del's class theory."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5695403"}},"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":"Q5900721$DE5CBC1A-DCD5-4267-B263-F41DAE47C7BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e7c3f040a8feb248e6dc29a1def291c92088958","datavalue":{"value":{"text":"Automated Deduction \u2013 CADE-19","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5900721$0C2F8961-CD14-46C9-8BE8-B1D84FEC9F5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35b7fecd750e9297216bc3e06de4695310ab273a","datavalue":{"value":"1260.68365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900721$90D00296-6718-4006-8CA1-21C1CCFFB139","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900721$1945D67E-22F1-4CD2-8679-8FDE01E78AF0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c61bb6d282cc95675f5b726985d020f8b0e6f23","datavalue":{"value":{"time":"+2010-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5900721$B2D50338-E89C-4851-BDC3-B20E51C2E145","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900721$958280DE-C059-4AA8-BE22-528491639984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900721$B88D398B-04EC-403D-B531-04BFBDB9ACFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee62c6319eadcc294cc15e16ec61c0d01133f456","datavalue":{"value":"5695403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900721$CA0E26A9-8BDA-4F19-9EFF-D6623F85740A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec8e8465d4cea62493b7c7f53b0fb9fe238dd2b9","datavalue":{"value":{"entity-type":"item","numeric-id":1404989,"id":"Q1404989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900721$6AACBB49-513A-4E62-86A7-10B8008EDD4E","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":"Q5900721$6ECF2A3D-9C69-4C0B-AD72-CB6D744007F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1c668ddb4fae172b1931ef73496e5bcbc0e7e0c","datavalue":{"value":"https://doi.org/10.1007/b11829","type":"string"},"datatype":"url"},"type":"statement","id":"Q5900721$E9B3D584-98B1-4E2D-AE8F-092309163421","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f2de3997ca74820eaa5379240d8d8210d2079dd","datavalue":{"value":"W2483160171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900721$98F28E90-870C-406E-A6C9-5AED95032E02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77803cf595c8808153636f8e001b2ddb16a0f0ed","datavalue":{"value":"10.1007/B11829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900721$52CF8E10-0D46-4CFC-AFEA-B24E8012C27A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1a9881ed8293d2c819194d2c67340cc6b6c3f30","datavalue":{"value":{"entity-type":"item","numeric-id":2723414,"id":"Q2723414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b103058b916f7923925ad191d920c15faff31ff2","datavalue":{"value":{"amount":"+0.8710259199142456","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":"Q5900721$60ED9C0D-116D-4A73-857E-4F746108D5B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dedf4f15a8b2f1866b80351dac806635c6a4fc3","datavalue":{"value":{"entity-type":"item","numeric-id":1284711,"id":"Q1284711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbbfe78d0bbe0bb21110d6b7c21540a48e298c23","datavalue":{"value":{"amount":"+0.7554875016212463","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":"Q5900721$554B9738-A1CE-4F14-AE2C-919CBBA53F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5affc4788d7385cd619717ccbf63240563aa470c","datavalue":{"value":{"entity-type":"item","numeric-id":1945913,"id":"Q1945913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00eedf41f8ca7aa893e0306255f7311e010dd7bb","datavalue":{"value":{"amount":"+0.7401336431503296","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":"Q5900721$D7B495AC-F75E-4458-9673-59DC1342FC7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50074d6557af33f5fd1960d631eb058e98c4ebcf","datavalue":{"value":{"entity-type":"item","numeric-id":1097252,"id":"Q1097252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18a6432c4d6e6698fb07845db27a35a4efb82e8b","datavalue":{"value":{"amount":"+0.7007288932800293","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":"Q5900721$3CFB190B-D579-4608-9ECF-E868944F0152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"149147afecdf12558b07dcf725ecaf8482e91e41","datavalue":{"value":{"entity-type":"item","numeric-id":1284712,"id":"Q1284712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07458ecffbf2720fbdfa2226210a758132fe2283","datavalue":{"value":{"amount":"+0.6977939605712891","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":"Q5900721$F34BB166-F95C-4976-8A0B-A504FAA7F252","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reasoning about iteration in G\u00f6del's class theory.","badges":[]}}}}}