{"entities":{"Q3088013":{"pageid":3098728,"ns":120,"title":"Item:Q3088013","lastrevid":85749752,"modified":"2026-06-03T11:22:05Z","type":"item","id":"Q3088013","labels":{"en":{"language":"en","value":"Mechanised computability theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5940075"}},"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":"Q3088013$B2972EFD-A577-4016-AFC3-7FCA9CE15C0E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c1b21d3c0b43370623be71d6392336945f74673a","datavalue":{"value":{"text":"Mechanised Computability Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3088013$965EDBCE-11F2-4B9C-A9A9-56F2B7C8D824","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c88d74c4eb376ef77f232cc4063e602918a4927a","datavalue":{"value":"1342.68299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088013$13F4320E-7510-4367-95A9-8703F49403BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57823bd7cda6d6a3aa46f99287f942d427360dc4","datavalue":{"value":"10.1007/978-3-642-22863-6_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088013$94D43083-A29E-4088-95B6-A5FE000A5CEF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"145fb4ab3c36a5f99f91a0be2758a779e5bceae8","datavalue":{"value":{"entity-type":"item","numeric-id":386031,"id":"Q386031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088013$1D62B8C7-28E5-4A14-B3C5-80BA63C2E2AC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088013$E21ECF16-1D54-4F74-9D18-F664AD0C1F5B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf253edeced6fad2edf52e73f99001914b4fc105","datavalue":{"value":{"time":"+2011-08-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":"Q3088013$C1D94C35-9D1B-43E4-91D3-32AB131DB031","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088013$D4FEC39A-2BA3-45C0-829F-5FE9E2C8A9A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088013$1D18CFC9-0C05-45AB-85F8-EA67EB41C3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088013$FECFDECE-1D31-4B0A-9D6D-4A9A2EB42F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088013$FBF94E5C-8A40-43A7-9CE4-6BD5F1CBA4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088013$F7EA9364-B1F1-4C99-A944-69B011A012E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c96320b2da14f7dee21ea6d5952ecc3f13e89d4","datavalue":{"value":"5940075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088013$B758E936-00F0-458F-85EC-545E6ADA8D55","rank":"normal"}],"P1463":[{"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":"Q3088013$9DE6F20B-1E36-4D9D-BBA1-5682220B616A","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":"Q3088013$C1292F50-F595-4967-8542-9D0EEF33D1D5","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":"Q3088013$2DB3EB08-AEFC-44A4-A4FD-332F5BD52885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088013$4CCB035B-58A5-4E26-9E6F-723539AB8B1E","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":"Q3088013$40643E67-38DF-49B7-BB6F-0E11BE9BDF29","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"200d295dbee9785442e88644f5ea9c36573e1984","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22863-6_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q3088013$439E3178-4DE3-4662-9DCA-0BB0B5AB2FF7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"81d1c2fadf0a80468aed155520a9c7a3a610105f","datavalue":{"value":"W2133921140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088013$16FA9CDE-AB03-41A9-84F0-7E43A4BF6E1B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088013$332059D7-8652-4305-8F5B-47E7873E8F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17a69741364102658aa60a87b94db8d7506ce725","datavalue":{"value":{"entity-type":"item","numeric-id":3183517,"id":"Q3183517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088013$E8B8A419-76DB-4A22-BFBD-5DE78B1B5143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c193b2b170f7626fc739837cea7c223c4266fe6c","datavalue":{"value":{"entity-type":"item","numeric-id":853738,"id":"Q853738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088013$3E1F2313-7CBD-4B9A-AF7C-9ADA0CD34623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"933ff89cc5998a8f55afbc41a4b90f3170f8cd61","datavalue":{"value":{"entity-type":"item","numeric-id":3523176,"id":"Q3523176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088013$0EEC1B99-06DD-4E7C-B6EE-36BFC61C9EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc4ddddb5840ee99760e1c2afc56ab700e598c2d","datavalue":{"value":{"entity-type":"item","numeric-id":5477659,"id":"Q5477659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088013$CE8135E9-AF6F-43E2-B2A3-55CFD23144A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5f1a85252a4c0a5bb2b7a3eae3c76b6088496bd","datavalue":{"value":{"entity-type":"item","numeric-id":4296962,"id":"Q4296962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088013$A5439FD2-33DA-4691-BAF9-671515E87820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1837aae353ce3d28a1359a1a3eef34d561d959a6","datavalue":{"value":{"entity-type":"item","numeric-id":2946633,"id":"Q2946633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088013$6F5CC00B-F80D-421A-B94D-5F89F08488F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"140576b4d917f46ec7f3bf2c1b3333b3f2b3c316","datavalue":{"value":{"entity-type":"item","numeric-id":5327342,"id":"Q5327342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ddaaa2926e39a76048a8dcbabc3cdedf6cf8bad","datavalue":{"value":{"amount":"+0.8354412913322449","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":"Q3088013$843BE567-AE35-46FC-9812-DFEADD8E3749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0d8051ea290f1808aa3c6c4c511ea5dd89c1056","datavalue":{"value":{"entity-type":"item","numeric-id":2102949,"id":"Q2102949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af5f78b0f22cd2366868655a77878d326dcb8ec0","datavalue":{"value":{"amount":"+0.7860089540481567","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":"Q3088013$47D8BB67-C64E-460A-8907-0828F69AD400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4745afb07e21c0e1e58292c222e65c5f5145862","datavalue":{"value":{"entity-type":"item","numeric-id":3616433,"id":"Q3616433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b75e25d21aa36c1ef4dd01971131acd9b97cb712","datavalue":{"value":{"amount":"+0.7537786364555359","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":"Q3088013$71E5EDE4-A3EC-4C2A-A45F-BDA38042C836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bbb218983d2f81330dc0466a32020cb97799b1b","datavalue":{"value":{"entity-type":"item","numeric-id":853738,"id":"Q853738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b87eecdac2c5e8bfbe75744641001b5a6c31e0ce","datavalue":{"value":{"amount":"+0.7499808073043823","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":"Q3088013$3777EAE3-CE72-49F9-9215-FA089B7A67A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a5ccccc3845cab9f9d2079fb15c9cc0b66d58c7","datavalue":{"value":{"entity-type":"item","numeric-id":5153715,"id":"Q5153715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"321b9754e9a5f55013f9d010e52fd23e2c85fa1f","datavalue":{"value":{"amount":"+0.7411341667175293","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":"Q3088013$2D1130F8-1E13-456A-B4B8-D7157AC45E92","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mechanised computability theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mechanised_computability_theory"}}}}}