{"entities":{"Q5327341":{"pageid":7356915,"ns":120,"title":"Item:Q5327341","lastrevid":51794015,"modified":"2026-01-20T01:59:33Z","type":"item","id":"Q5327341","labels":{"en":{"language":"en","value":"Ordinals in HOL: transfinite arithmetic up to (and beyond) \\(\\omega _{1}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6196161"}},"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":"Q5327341$DB6BD2F8-8F4C-43D9-9458-6C2A67C3C024","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"692895212e7e540bbeaf4a954adafcca3e50b6c6","datavalue":{"value":{"text":"Ordinals in HOL: Transfinite Arithmetic up to (and Beyond) \u03c9 1","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5327341$ED503B55-42F6-4E5F-9786-A0441CA1E42F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a646a99f0bdaf1483f9e8c1a6bf02337c594768d","datavalue":{"value":"1317.68227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327341$C8CDA181-AB43-4ADF-917B-007E4B88BDF0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f66cad2f7a6bfc3a0b3d7978a9e25b8dcc1ef9c9","datavalue":{"value":"10.1007/978-3-642-39634-2_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327341$EA1B8DFD-DEBB-47BA-AE3B-13A24419D929","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"145fb4ab3c36a5f99f91a0be2758a779e5bceae8","datavalue":{"value":{"entity-type":"item","numeric-id":386031,"id":"Q386031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327341$9FB530EC-A5DD-458E-BDC0-F68A49AED4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab2f745f26ee211bc2fd3f1017cfc1bf31e01f03","datavalue":{"value":{"entity-type":"item","numeric-id":832213,"id":"Q832213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327341$45E17A74-273A-4677-B2CE-EA6C4889809D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327341$B6BD3EFA-B3CF-4888-9936-0C2479890ECA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00eca6587536a1681b3f41d63f34e248b2e37166","datavalue":{"value":{"time":"+2013-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5327341$61268ADA-5B04-4AD4-9B7B-AA8F631A284A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327341$D1BA89F2-8816-4AAA-945D-9E6783248835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327341$28BB179B-C4B6-4CD8-BF3A-09B0CCA84C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ae77b7014ae74d050ddd08c7570cbea14e17b7f","datavalue":{"value":"03E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327341$AE383155-9E40-4223-AEE1-436E633B2661","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee34dbd6c82c20f8211d7b7d94d0257fbc475662","datavalue":{"value":"6196161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327341$682439B3-7D0A-4D9E-9FAF-94BFAAD04551","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327341$A650B999-4726-48C1-B85D-22A6A450058B","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":"Q5327341$1CFB5A21-016D-4D7C-8B7C-51CF8FF4A712","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":"Q5327341$043075DA-1DB8-45E7-8BF6-D29F6389656F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5608eeef5fa97855caf019c3cbafb02f2392e921","datavalue":{"value":"https://doi.org/10.1007/978-3-642-39634-2_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q5327341$1FBC6E30-2155-4A00-8E9B-BFFA97BBB866","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"49305235451e443c4593c1f6f5cee258f4c04abe","datavalue":{"value":"W1604540818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327341$5280F6DA-5264-47DA-83AB-2151F83088B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e25090a8eb364cc7d791575e4d381ff027a8e3c","datavalue":{"value":{"entity-type":"item","numeric-id":851144,"id":"Q851144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69614d71a4ffea8a83cc27cfdb59d32f2097adf3","datavalue":{"value":{"amount":"+0.8151698708534241","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":"Q5327341$687644A8-1679-4C2F-AF6F-E5619B005C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f0262a4783f5bd5143965b78a01db87c4f9f3a6","datavalue":{"value":{"entity-type":"item","numeric-id":1694476,"id":"Q1694476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a704a0cd9ed21331db1f449e57336b970cdde071","datavalue":{"value":{"amount":"+0.7877489328384399","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":"Q5327341$9103F552-F2C9-40B9-8A6E-3D2A40FAC87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f78aef0b399177064640745a960d3a77dacdfceb","datavalue":{"value":{"entity-type":"item","numeric-id":5900722,"id":"Q5900722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4268ea0558ab10eec9fb7b52c7ef00d8e528b37f","datavalue":{"value":{"amount":"+0.7799760103225708","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":"Q5327341$F5A77E91-39E9-4967-A9CD-75986B65C40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ff38fa8e3323f6f62ed10be51d09d260c9bfc3c","datavalue":{"value":{"entity-type":"item","numeric-id":3523183,"id":"Q3523183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1ab231bf8eab9bd834870894170ad630ce57f94","datavalue":{"value":{"amount":"+0.7729395031929016","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":"Q5327341$2BB18F76-257C-40A0-A1DE-94133DC4A7D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b653490062e2722e03fa974cf4f542752f3cd1b","datavalue":{"value":{"entity-type":"item","numeric-id":2879247,"id":"Q2879247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"195bdc50afa38d77574ba471e93916abbf06dfa3","datavalue":{"value":{"amount":"+0.7632922530174255","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":"Q5327341$174A891F-D92F-407B-B9B1-FCAE7CD250AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5327341","badges":[]}}}}}