{"entities":{"Q851144":{"pageid":852992,"ns":120,"title":"Item:Q851144","lastrevid":64827057,"modified":"2026-04-11T22:29:50Z","type":"item","id":"Q851144","labels":{"en":{"language":"en","value":"Ordinal arithmetic: Algorithms and mechanization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5073792"}},"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":"Q851144$BB0BB7C5-87D7-41B2-B12A-BE95B0B6613A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c6842b90dacb3cd42624d252406755e85c73cc1","datavalue":{"value":{"text":"Ordinal arithmetic: Algorithms and mechanization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q851144$AF3DA64F-62E3-4E5C-A1D3-4439764E29DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ad7860ec71b8ee0b103e30969e9d72bf0bc139d","datavalue":{"value":"1108.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851144$0338FE5C-F566-4BC1-A5EA-82715D2FF0BA","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":"Q851144$044950B6-5C1F-412B-AD2C-2B0417043016","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":"Q851144$EAF261AC-9B26-404B-8D24-D462E93AF2A5","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":"Q851144$3DAAC636-DBD1-4B31-B828-F2FFEEDF2BEF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e72da49a9cdc23965ff0d1c9fcf6159ca75a2a61","datavalue":{"value":{"time":"+2006-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q851144$6F368F3D-FA46-46E6-A5AC-251688BBEF53","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851144$BFFDDA09-3505-4649-BF24-E2C10B81E6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ae77b7014ae74d050ddd08c7570cbea14e17b7f","datavalue":{"value":"03E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851144$86EC7C26-DBDE-4F75-B8AB-F66AF878139A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851144$D9D245CF-E9AD-4A32-9E11-BAB0C8F1D1EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3fa781453e2755fe3999e433e9f4f38a1f148bff","datavalue":{"value":"5073792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851144$FD0BB654-67CB-46AC-AD10-B965BA139960","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q851144$70F58212-A126-4809-8DCE-876FA60EF5B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q851144$7654F8FB-E089-4972-AD24-407A3FAF5B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b145e4a5289301cf65d658fc42bf17b1bff0230","datavalue":{"value":"ordinal arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q851144$8ACA6DB1-C34C-4CBC-9F61-9D2A771069FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f27119de8945b407f47e4656cb1319c2070ebb8","datavalue":{"value":"compact ordinal notations","type":"string"},"datatype":"string"},"type":"statement","id":"Q851144$F4227C23-3973-4708-A189-37766CD5F7A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24dd5926fa2c4f0ee181b086899e10f05b3e9148","datavalue":{"value":"ACL2","type":"string"},"datatype":"string"},"type":"statement","id":"Q851144$E0AD296E-4C8F-41C1-87DC-F4C9BA3735A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q851144$9C36B1DD-D4D1-4D6D-841A-EFC508DF3D77","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":"Q851144$7B1A840F-805C-4967-9584-3EBF20A9F7D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851144$BF666FFF-59AD-4229-877E-4F04D4E24B20","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":"Q851144$3A71C546-8611-4E09-907F-A08479BCD2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851144$57B6E974-5FD8-4517-A29D-2882DB6BE43E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851144$E7A22DCE-975B-4396-A988-A8EA163E8AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851144$F00B64FC-BA75-4DB2-AF53-BAE7780BAD0D","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":"Q851144$385CF0AD-3B35-4B26-8F68-D04DCDE34681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851144$ECC3F8D9-D0EC-40E2-8B2E-DD6A43B8DBB8","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":"Q851144$2101F2F3-1631-4447-B2FD-27B43BB20CD3","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":"Q851144$49D0B9DD-083D-43C5-A255-941318521C9B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a148f8604159018943120af81872725d565c94b","datavalue":{"value":"https://doi.org/10.1007/s10817-005-9023-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q851144$A17BA35E-DE1B-4809-A9D6-C774C90C9A49","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2895576b153654808321b4eda17421e61d23e828","datavalue":{"value":"W1972787069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851144$320E39D3-4446-4615-A169-20A7EC2B0AC1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"71372fdcb48501c76512b55e87a54968a7919d1f","datavalue":{"value":{"entity-type":"item","numeric-id":3999717,"id":"Q3999717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851144$E3905EAA-5BC3-433E-9439-5E3456E65B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851144$E6077FB1-2255-4CAE-8123-82761FE546BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76526d5b9376d3e887cc558d70b008c8a814d8ea","datavalue":{"value":{"entity-type":"item","numeric-id":1284711,"id":"Q1284711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851144$ED581A5D-6420-4699-B3E1-B24E9B1192A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"398de7a970405d28147185cf9a4f4da6aa968a7d","datavalue":{"value":{"entity-type":"item","numeric-id":1284712,"id":"Q1284712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851144$780D1A7F-648E-48FE-ADBA-18B0437E6273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fbf2ddfbbed91e2a92dacae506c4f39d62fa20a","datavalue":{"value":{"entity-type":"item","numeric-id":5900721,"id":"Q5900721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851144$349C0325-7D8D-470C-BC80-B7F3A3EDED0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851144$8915AEE5-0EF3-41D6-B707-9931902F19AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9373e73834e8ee2f12623553c32bfacfcc7a492","datavalue":{"value":{"entity-type":"item","numeric-id":5809281,"id":"Q5809281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851144$276C6AB0-D639-44BE-AE2F-1967F299F00C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffaa6dbfde9d5a3c49e7fbe88f1dcc36cc22e2d9","datavalue":{"value":{"entity-type":"item","numeric-id":5765116,"id":"Q5765116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851144$0C792041-5168-44FE-8B21-58186E206916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75f67cb5cfdddb90fbb8ddbe2f7d68ef882e331a","datavalue":{"value":{"entity-type":"item","numeric-id":4790660,"id":"Q4790660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851144$057D0B14-D937-4208-A271-F0738EB2557A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652c9c776ee7a39a83fd5cbc439de21161eae521","datavalue":{"value":{"entity-type":"item","numeric-id":2757839,"id":"Q2757839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851144$E1FB2CDA-C2F2-4BFF-91EA-ED029BA8C0D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0293f91a7a5459e3c673ddd6ac7a6ad599f59d43","datavalue":{"value":{"entity-type":"item","numeric-id":4272993,"id":"Q4272993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851144$331DE410-94EB-40BD-B49B-BE00A753DA9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6662fb4168387377f819bff915574b3d5395064d","datavalue":{"value":{"entity-type":"item","numeric-id":5661872,"id":"Q5661872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851144$88BB252D-3919-4903-AD6A-B4AA2DABA8AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d29c88e436f4f37cb030b97cb7fae2e14b868a","datavalue":{"value":{"entity-type":"item","numeric-id":5596228,"id":"Q5596228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851144$E9B9841A-0AC3-42AF-B732-3C5FA48A0D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61fde8a68f7ac705939927db78446d9cd7abd767","datavalue":{"value":{"entity-type":"item","numeric-id":1182475,"id":"Q1182475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851144$BBEADED8-9067-4BF0-86A3-785A961EA9D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25eaa6c3e9bb9d8953ff182f9af4a923fe4aa505","datavalue":{"value":{"entity-type":"item","numeric-id":5925300,"id":"Q5925300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851144$F9F1F388-95DE-4897-B245-AB47D721F572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851144$45B28C0C-2A1B-4AF6-A757-3002BF053192","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":"Q851144$A5560DCE-97EF-4ED1-B576-88926E9F1664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7396a7d7693b676318207b9fce821ae1fe747e9","datavalue":{"value":{"entity-type":"item","numeric-id":1425160,"id":"Q1425160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851144$D472B23E-9368-403E-9487-9DB1C714B174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e579d2eb37473683a4085bbb61a6d078273b5fd2","datavalue":{"value":{"entity-type":"item","numeric-id":4818805,"id":"Q4818805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851144$554FDB37-4CFA-4F1E-9FC5-F4EAFF233631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01cc0603799551d88cdcf60c08da4c96b4eb1c0","datavalue":{"value":{"entity-type":"item","numeric-id":5900722,"id":"Q5900722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851144$30AC7069-FB26-4CCA-AF3A-1CB5863D38DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc7d04dca4ad15128333e7c20683b21785b5adb3","datavalue":{"value":{"entity-type":"item","numeric-id":5492968,"id":"Q5492968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851144$CA8FD5E8-F917-436B-A4A7-347A4AF7D484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43ba6b837921be2d4b95f9e2607c9358a583ea49","datavalue":{"value":{"entity-type":"item","numeric-id":4113808,"id":"Q4113808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851144$4583D667-C295-497D-B3F4-08F1AFE7804A","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":"Q851144$AAB37A9D-DB26-49E8-983F-EA84A65F2809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851144$A114657D-352C-4C6D-9423-2823C0F3DD36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2097e358c778dbb154854453f32efc62a8e3614c","datavalue":{"value":{"entity-type":"item","numeric-id":1904402,"id":"Q1904402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851144$B14CE615-AF75-4D83-86F3-C5B20530F2DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b09f99d6db815f76ae0a8a4fcddc01dc77134f0f","datavalue":{"value":{"entity-type":"item","numeric-id":4809073,"id":"Q4809073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851144$318CE8CF-E63A-4EBC-8C46-3EC53DB90461","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":"Q851144$E067EE47-FE61-4601-8A66-880B590E79CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df566ef0248fe3e927a10046fdd99e599cbaa541","datavalue":{"value":{"entity-type":"item","numeric-id":5961491,"id":"Q5961491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851144$12F1D337-025E-439F-B324-DC6DC632AB25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afefbaf137f83b64b00e4ef48cc98682850f21d5","datavalue":{"value":{"entity-type":"item","numeric-id":4230664,"id":"Q4230664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851144$F5EAB94F-C5A0-49E9-BF03-65A8D34AAA28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2a346e53af0dd267fde85ce4953482f4f83e56c","datavalue":{"value":{"entity-type":"item","numeric-id":4934566,"id":"Q4934566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851144$A1783931-E784-44A3-84D6-A47AA2FE9EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae69fe803c7e5306e5c95110794f4566ef719f5a","datavalue":{"value":{"entity-type":"item","numeric-id":4944924,"id":"Q4944924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851144$9ED9FAE9-AB1D-40AD-A6BF-D66A4412C744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851144$E0AF16CA-30A5-4113-8590-5A54482D8710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7f3cd6326ce8193c736d9ba96032feea94bf7fc","datavalue":{"value":{"entity-type":"item","numeric-id":5773619,"id":"Q5773619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851144$2E8D1684-E300-469D-A2C2-273C9D5E74D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a31e8fb402b00af30c156d7add9d7d1a38b6b837","datavalue":{"value":"10.1007/S10817-005-9023-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851144$7F50BA8C-49D7-4F78-AEEF-2A04E94AC4B9","rank":"normal"}],"P1643":[{"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":"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":"Q851144$79213C83-E199-4E0D-9F51-73EE90553796","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":"7b3748d54bdac119af056294bfe95ebc805ad4c4","datavalue":{"value":{"amount":"+0.84308260679245","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":"Q851144$F717EB46-B79F-43D2-AF92-B088C2529122","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":"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":"Q851144$57198BCA-07DB-4DFD-AA21-3FFF5A4E4F3B","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":"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":"Q851144$E58434D9-55F1-42D1-8B25-60E57C46F773","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":"1e8912d85bd261187137365f9177019bdfceaf55","datavalue":{"value":{"amount":"+0.7811853885650635","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":"Q851144$AC27AE59-6616-4964-8C24-CA29987293D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ordinal arithmetic: Algorithms and mechanization","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ordinal_arithmetic:_Algorithms_and_mechanization"}}}}}