{"entities":{"Q1181706":{"pageid":1192455,"ns":120,"title":"Item:Q1181706","lastrevid":67050108,"modified":"2026-04-12T14:35:31Z","type":"item","id":"Q1181706","labels":{"en":{"language":"en","value":"The Ackermann constant theorem: A computer-assisted investigation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 28712"}},"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":"Q1181706$C812264F-6516-40AD-B7E2-E46335E8289A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5da320e3282b132bd6a85ac9bd22bccabe1a383","datavalue":{"value":{"text":"The Ackermann constant theorem: A computer-assisted investigation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1181706$1A6353CD-BF07-4198-9659-7CDCDD2DB782","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad0f198d9cc9dfb7d7bc8f4eb48f1526e10b4bca","datavalue":{"value":"0743.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181706$C7A13191-390E-4B09-9C25-A14405AF03CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e332c3c34f47516013e49c7730401e6f88cdebd","datavalue":{"value":"10.1007/BF01880324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181706$7BBF8D36-02B6-4862-9BAC-233867600569","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bcf20fbd6e518d6ec705e75c1250ec189c8029f","datavalue":{"value":{"entity-type":"item","numeric-id":689215,"id":"Q689215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181706$72206A40-EFE5-4C42-8DFB-E9182D1875E2","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":"Q1181706$AF61D40B-7EA4-40DA-A290-ACAA2F25F083","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70844ffc4666eabac4e20376c648613dbe8620f7","datavalue":{"value":{"time":"+1992-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1181706$143BF9F4-C254-4FF0-9FBA-4EEE090FF09D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181706$98CBCA88-3009-42CE-AE0D-78BEF98AD404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8724ac1f861fd4485a474d1844744a1ace24834","datavalue":{"value":"03-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181706$878179A5-CC75-4086-A2ED-31FE5831E07A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181706$CB45D021-B00C-4633-B61B-6B07838028C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d1924a8480f07045c6ee1078fb5ebaa90839acf3","datavalue":{"value":"28712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181706$0AB35E8C-F3C3-49AC-9043-B4E6C4400C5B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47dac5a5c19e4dff1f2f7e3635a8f3b9fe1d94ca","datavalue":{"value":"Ackermann constant","type":"string"},"datatype":"string"},"type":"statement","id":"Q1181706$9967F3B5-5B77-4C58-9732-3084615D56DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"479e5fff40245c5f833b898982fa01e82ecac3e1","datavalue":{"value":"sentential constants","type":"string"},"datatype":"string"},"type":"statement","id":"Q1181706$177DDA28-7F68-46D8-B1A8-E8DEDA8766CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00fab533cd38d922e3a2c54a153ccdfb1b56ca89","datavalue":{"value":"constraint satisfaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1181706$5BE768B2-7835-43D9-8571-4AD8F207DBB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f5929c8a9e7fdd0d7009b64aed2f3b62e411259","datavalue":{"value":"finite algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1181706$052FCEDA-06DE-46D5-AA94-05DA03CE00DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1181706$BD017BF1-7EE4-41E8-8E64-F3ADD910BF81","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":"Q1181706$3277E8A1-60C9-4E69-AD58-110E3045070B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181706$C26178C8-FC71-4E67-9221-EFC33BBE17B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ebb81c5b91fbc05a090177adc4268ae243c00fe","datavalue":{"value":{"entity-type":"item","numeric-id":4342081,"id":"Q4342081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181706$0C0979BC-1752-45A5-B54C-50AD7687655B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc38739f50cf2ae1a4a90c1e0e690c3178c9a3f6","datavalue":{"value":{"entity-type":"item","numeric-id":3962966,"id":"Q3962966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181706$97CDA0F9-13A5-46D9-B71E-4F39A079ACBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bad02d802f98c584b905e9a5a5f372d341f4de8","datavalue":{"value":{"entity-type":"item","numeric-id":3695256,"id":"Q3695256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181706$2387AF6C-D12E-40A2-BE41-E678E57BD2A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a83762a6aabbc0eac81e7de98bddd07b2367855a","datavalue":{"value":{"entity-type":"item","numeric-id":1119633,"id":"Q1119633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181706$1054B041-E27A-41B7-BEEC-4C2111983DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74a21243111cda15893417183dd35870b92788e3","datavalue":{"value":{"entity-type":"item","numeric-id":4732137,"id":"Q4732137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181706$FFE51D1A-09B6-4899-9841-5DCE17663066","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0af83420b18338b816ff140680225aa9c31fda8c","datavalue":{"value":{"entity-type":"item","numeric-id":1313086,"id":"Q1313086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"134580b9c458b2fcb79bc5115198f00af4d387e0","datavalue":{"value":{"amount":"+0.8367674350738525","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":"Q1181706$1F2F9D6A-6F1C-44A1-B09C-20B1722A6F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e962669c5fbcc386d84fce1ffa478d69f2a9464","datavalue":{"value":{"entity-type":"item","numeric-id":3695256,"id":"Q3695256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f262ea6009332e14ef29285d8c99f19ccbe115a","datavalue":{"value":{"amount":"+0.7848300933837891","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":"Q1181706$5D168C33-FF7F-4192-9F27-EA2DCC9D91C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"773ef69573188ec71ec45fd62605e8e75aa4f1c9","datavalue":{"value":{"entity-type":"item","numeric-id":1092033,"id":"Q1092033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39a1fcdbe75509a65aa0ccb4f4a08ae714fed30e","datavalue":{"value":{"amount":"+0.7305488586425781","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":"Q1181706$0001C467-01C9-4B90-8BAB-FF39E35E8FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b423fc7b06128ed4f7efd84a5273136376f72fb9","datavalue":{"value":{"entity-type":"item","numeric-id":5020361,"id":"Q5020361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"832364710c4f781bd0e949c59439652c1fe21ff1","datavalue":{"value":{"amount":"+0.7063772082328796","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":"Q1181706$CF812DB3-2525-4F73-86B2-95A8E26B10E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Ackermann constant theorem: A computer-assisted investigation","badges":[]}}}}}