{"entities":{"Q1694476":{"pageid":1705217,"ns":120,"title":"Item:Q1694476","lastrevid":68244735,"modified":"2026-04-12T22:24:27Z","type":"item","id":"Q1694476","labels":{"en":{"language":"en","value":"A mechanizable first-order theory of ordinals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6833565"}},"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":"Q1694476$461128BA-9D2B-485C-9884-3467404A1B04","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"194f87bb1e49eeeb41f2082eafd78223df1a3354","datavalue":{"value":{"text":"A mechanizable first-order theory of ordinals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1694476$C4849E90-B940-4BF4-AA5D-23600DBE9D71","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95ba6e4a18915b8d146e80acb84a0322b1241236","datavalue":{"value":"1496.68371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694476$A1A364B4-D937-405B-B391-576FB083C09E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d78f97bf52dd0399521703966dfde81ceaf54da4","datavalue":{"value":"10.1007/978-3-319-66902-1_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694476$9C21FA81-B883-42F2-B97B-E3C1F79E07BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"924cca174357738b06b9173e0c5b8febd23b6af5","datavalue":{"value":{"entity-type":"item","numeric-id":1202018,"id":"Q1202018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694476$162D47E4-7E97-4D73-BCEE-B826819CC965","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3340cc79e75714646430612898cfc312969e0dd0","datavalue":{"value":{"time":"+2018-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1694476$83A5BC7B-3F62-4BD7-8169-01CDE2485191","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694476$467F3F9F-2B89-48EE-9BE9-6261DD4DE2ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694476$8B9726AD-B7BB-44B6-98D2-D31640C4C598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694476$83ACEA2B-676C-4D67-ACB4-0F03B5927A10","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8bfc1c518df207ca573da3bd6986c42f0ad4a585","datavalue":{"value":"6833565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694476$25FBEB39-5435-4B30-9C7B-52739C13EEC9","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":"Q1694476$9B3B5F87-B030-4DB6-8A8D-1211366694AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"911442deb7b8bbeb46da12d498b236bec86710df","datavalue":{"value":"https://doi.org/10.1007/978-3-319-66902-1_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q1694476$E1746BE0-5EBD-4E6D-A7DA-6A4E9A064978","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9e1d7810c8538c62cc6252c2704dac71428b9386","datavalue":{"value":"W2751733221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694476$D18A6157-B612-4CB4-8139-F44938B2EBEA","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":"aacb300e9e58445bf56961ed22c4ccd3bbfd038d","datavalue":{"value":{"amount":"+0.7943503856658936","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":"Q1694476$B7FADC85-42D2-4329-939B-B6119632212D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67817ded466701f9bbe95b0240a3a1e5b5ec9fbc","datavalue":{"value":{"entity-type":"item","numeric-id":5327341,"id":"Q5327341"},"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":"Q1694476$B69F26CC-89F2-443E-99AC-B81D077D38EE","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":"94a68fca518580105ef981ead0d2b6debfd59084","datavalue":{"value":{"amount":"+0.7692540884017944","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":"Q1694476$E05FF85F-5CBC-4016-82A3-81EBDD3EF79D","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":"ee4f75e7e0710f5b40414724dc25b7c24568f965","datavalue":{"value":{"amount":"+0.7655999064445496","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":"Q1694476$94BE116D-80FE-4D96-AE09-F7A43C7B6859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"406c4580d51070b7891ae82b6ceb7b54871c0af0","datavalue":{"value":{"entity-type":"item","numeric-id":2958394,"id":"Q2958394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da68b11627ad9ee2c8af67f147216fadddd778ae","datavalue":{"value":{"amount":"+0.754304826259613","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":"Q1694476$11219183-A4CB-435D-B0C3-0E329AF51B98","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A mechanizable first-order theory of ordinals","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_mechanizable_first-order_theory_of_ordinals"}}}}}