{"entities":{"Q5900722":{"pageid":8007019,"ns":120,"title":"Item:Q5900722","lastrevid":50958560,"modified":"2026-01-15T22:40:45Z","type":"item","id":"Q5900722","labels":{"en":{"language":"en","value":"Algorithms for ordinal arithmetic."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5695404"}},"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":"Q5900722$A0E197F6-2CF8-4913-82FA-CB3B1F13C548","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":"Q5900722$E7A1B0F3-D84B-47C8-8E12-394AA935D414","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c02354ddacd9b4107292455ef533264f94c7d59","datavalue":{"value":"1278.68272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900722$C4E85A3E-55F8-4823-BAA1-560DC9C89702","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"07ef5bce62b88cfecff16603e8667fcc383b0d99","datavalue":{"value":{"entity-type":"item","numeric-id":479822,"id":"Q479822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900722$19E256E1-9FD7-4AD6-8DE7-34697F929018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49a02d2967366c05338e9a85c6a94315b1ebf4a5","datavalue":{"value":{"entity-type":"item","numeric-id":851143,"id":"Q851143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900722$82D7E0BC-A9C7-4602-802E-B6A66AB30147","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":"Q5900722$F1C8C7E0-9AE4-44D2-85AA-CC08CAB5B57E","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":"Q5900722$7DBE761B-F6A9-4A41-89C9-D38A0B18B1C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900722$672CC1A0-23B3-4FFC-A332-77E7A3EDF44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900722$0B4AF7D0-81A4-4842-B298-B1B5DED4A8FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ae77b7014ae74d050ddd08c7570cbea14e17b7f","datavalue":{"value":"03E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900722$07F2C003-EFBA-456F-899D-D51F077A604E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3fb10448253a567c3d6b198660b37afd34bdead","datavalue":{"value":"5695404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900722$6E95BDEC-7060-4922-AD79-142F6D88FC51","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":"Q5900722$722ABE92-C263-4BE2-B591-AE33D9941F94","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":"Q5900722$4404B6CC-A309-48DC-B36D-B9D3FAA41775","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":"Q5900722$0E6C9849-4F8F-4BE4-B65A-916726AE3AD5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f2de3997ca74820eaa5379240d8d8210d2079dd","datavalue":{"value":"W2483160171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900722$F17C190B-685A-4B33-A01C-8F0162D96300","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77803cf595c8808153636f8e001b2ddb16a0f0ed","datavalue":{"value":"10.1007/B11829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900722$04673E12-6B09-4A31-8DBC-1C6EE60A76FC","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":"3747b37aa874a1a874ab3cf44aff937ac7f3a79e","datavalue":{"value":{"amount":"+0.9432811737060548","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":"Q5900722$9997C643-FC1B-4907-928B-AC29B56BCD58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f938a837761974fbabac281a87bcf78bb55ae38","datavalue":{"value":{"entity-type":"item","numeric-id":5492968,"id":"Q5492968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d215aa49a887e930d11a49a89ab5032e5faa1755","datavalue":{"value":{"amount":"+0.8209642171859741","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":"Q5900722$E610C41B-CC9C-4E28-9F28-CE13E93AD758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8a3cf8c5d48fe0550acfd82378ab273d76d810a","datavalue":{"value":{"entity-type":"item","numeric-id":5878912,"id":"Q5878912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27e9f66fbecbfcd83ea555a232f9e5fe8d619b01","datavalue":{"value":{"amount":"+0.7871289849281311","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":"Q5900722$03AF5DD7-4AE1-4AA0-A22E-1BDBE52B3C61","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":"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":"Q5900722$2DF02DCB-211E-432B-9E17-9FF6F675B095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8be38f52142220993800831b8830c1439a1f23c8","datavalue":{"value":{"entity-type":"item","numeric-id":5940917,"id":"Q5940917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d82134c6ff783586b28d6d0a2962ce6f9ea0fde","datavalue":{"value":{"amount":"+0.7776286005973816","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":"Q5900722$839FBBE3-028E-457F-B38E-277710D05152","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5900722","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5900722"}}}}}