{"entities":{"Q5215514":{"pageid":7245084,"ns":120,"title":"Item:Q5215514","lastrevid":53661554,"modified":"2026-01-25T12:39:45Z","type":"item","id":"Q5215514","labels":{"en":{"language":"en","value":"On the foundations of computing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7166151"}},"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":"Q5215514$F9735013-FC61-4CCF-97C2-9C4BEC88338E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5696d99ffade987fbc11949afacbd8ed7bc097fd","datavalue":{"value":{"text":"On the Foundations of Computing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5215514$B1A4BA08-4FA3-4A1B-BA25-B57D484622CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b7e347c902cb07b73515838e9edc4c6b67ccf70e","datavalue":{"value":"1450.68001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215514$AC1EE20C-DDE2-43C7-9A32-96A1141276A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ea65557eabb45fd055fd0b5947a39214a47505b","datavalue":{"value":{"entity-type":"item","numeric-id":310084,"id":"Q310084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215514$62E67A69-0D22-4E1F-9343-92AAAD251DAA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b6e2eeedf8e55f06b00a7b5e5c6475d26222915","datavalue":{"value":{"time":"+2020-02-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5215514$0633C4A8-0861-4E52-80CD-7BBFA4E4C07A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215514$D02A09BF-4A14-49A6-A24E-0C992765A8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"540259e42205310d3310d3dad9dbe9ae50303b84","datavalue":{"value":"68-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215514$144CD60F-67FB-4FE9-98EE-F373C477E2C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23e7cdaf2e82f5cc864274e843d1c5be36653b9f","datavalue":{"value":"68Q01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215514$797F554F-45BA-49DE-9966-CD0B5697E0D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ac8148448d048f9c87a39123b0f2392a78dbc76","datavalue":{"value":"7166151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215514$D4C27031-5E92-4A0E-B1C3-DFCB74D7D965","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"471e9dc487a56b5f3ea73c701ec3a9aa5d2cc274","datavalue":{"value":"theoretical computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q5215514$A798FA25-C7AB-4ADB-B0F5-A9BCEFF4F77E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5215514$38CFB019-A5D0-4F2B-9E13-CDD3A47AFA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f2891ec95ee556b0ac2cc2dddee3d77811bd94","datavalue":{"value":"computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5215514$E691ABE3-A6FF-45EB-91E5-7305539393D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5215514$86AB1B54-0241-4D95-9095-9AB898F5A880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5215514$AE52DBD6-4514-4298-9B79-3F421197210B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f676037d259dc0d26787ae5ea20a1648dc32dea7","datavalue":{"value":"computer architecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q5215514$68E2A4DA-A97F-49FC-BD6B-8ECD5450984C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75f7fe19f725521885c5a40b8a361664ab1a2991","datavalue":{"value":"efficiency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5215514$433F1854-9CEE-4CA7-9AD4-B2FBF923A209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5215514$5CD25963-2A29-4491-900F-65AC797A9909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18054400eed56ebe4d1e80362d98a632da0b1ac4","datavalue":{"value":"models and simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5215514$23AF9978-CB3D-4D4D-83AF-63AD1B105986","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":"Q5215514$4C27FC8C-45F7-4ABD-AF8D-115A4DE05C78","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f8cbe76e5934dbbd66b5221b3f2ccbef94371dbe","datavalue":{"value":"https://doi.org/10.1093/oso/9780198835646.001.0001","type":"string"},"datatype":"url"},"type":"statement","id":"Q5215514$E8E3E641-D927-4CFE-8637-847B35A910C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9a6d633d7188a6b87e7c8be5b013238ebed381a4","datavalue":{"value":"W4251315083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215514$9D626879-9033-458A-9DA7-D4F4D3F3AF6A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bec9936fdcb438b88756268343c43d1ca3989193","datavalue":{"value":"10.1093/OSO/9780198835646.001.0001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215514$11534CFC-DC48-4CEE-B931-24CA2F9FC6B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19ecfce99a397ebea35a1c1462c105343bfaa76d","datavalue":{"value":{"entity-type":"item","numeric-id":5172964,"id":"Q5172964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dccd17e6479cc72ea2d676cb53f62e459c42b71","datavalue":{"value":{"amount":"+0.754921555519104","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":"Q5215514$62C9C001-845D-496A-9034-B4C8A5201EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2174b5110d5d8c25a15f8b69f89bc24774a2331c","datavalue":{"value":{"entity-type":"item","numeric-id":4557014,"id":"Q4557014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af50199259b4bbe2e83fca6eaed3be7fce872643","datavalue":{"value":{"amount":"+0.7506827712059021","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":"Q5215514$3B113B52-6178-4029-A1B2-4218AFF973DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffdaf83b0147858e15dadfdde0450edfcd3445c0","datavalue":{"value":{"entity-type":"item","numeric-id":5348547,"id":"Q5348547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"620e73c7fe756b26c09581ccefd78963d7f12045","datavalue":{"value":{"amount":"+0.749239981174469","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":"Q5215514$2D290DE1-16AD-4711-B202-E3A6647FA0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2daff628d632b4091d4d2ddbfdeb023f37073405","datavalue":{"value":{"entity-type":"item","numeric-id":5401640,"id":"Q5401640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a1a286886ac3bfd47cd92c57fbc3b85240b344b","datavalue":{"value":{"amount":"+0.7454063296318054","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":"Q5215514$35F1A518-5C81-4C58-9662-2C1E669E2B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f09a11c25e9106fe5bf83b8598179e5db49de69b","datavalue":{"value":{"entity-type":"item","numeric-id":3648677,"id":"Q3648677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70aed6156b95243ba780717434c65813880c68d0","datavalue":{"value":{"amount":"+0.7447532415390015","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":"Q5215514$4D3B6C9B-65E8-4B9F-9202-29B3E1FD53B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5215514","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5215514"}}}}}