{"entities":{"Q2500484":{"pageid":2511227,"ns":120,"title":"Item:Q2500484","lastrevid":57941550,"modified":"2026-04-03T04:30:16Z","type":"item","id":"Q2500484","labels":{"en":{"language":"en","value":"From truth to computability. I."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5047253"}},"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":"Q2500484$058C1147-D38A-43C2-8255-5FD65B7FFE3B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae0eb66c78c85933df72cbec638d8f7c0002b1ce","datavalue":{"value":{"text":"From truth to computability. I.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2500484$259726DC-5C3E-436E-BC00-F2B384088A44","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32ab289054a86f050a241f0b8d90b37d9dd9d703","datavalue":{"value":"1094.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500484$4857751B-781D-4EDF-A712-114B2356E24A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b92b6dd4dc950e5b503f8f6d4e78c532d91da339","datavalue":{"value":{"entity-type":"item","numeric-id":259083,"id":"Q259083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500484$0B0F10DD-B163-433F-9D02-5B66CD6E34D3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500484$BFC7E06C-E315-4AD5-9427-6A9A1DF72544","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51baedb45b1970a218dc00cb5762a1bbcc63a6f4","datavalue":{"value":{"time":"+2006-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2500484$A331C526-22B7-491D-81C1-AD3B635A3AC3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7dbcf58a6ba527dd37335e571c3ff624bca5158d","datavalue":{"value":"https://arxiv.org/abs/cs/0407054","type":"string"},"datatype":"url"},"type":"statement","id":"Q2500484$7A1C893F-EEE1-43FE-BA3F-4BEE95F3E64C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500484$F6B29298-0966-4222-859E-6910AA6457D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500484$8B735F2C-F391-411D-84FC-E1CA48A64B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500484$FCB93AE9-64BF-438D-BE31-5424AF80BE89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500484$E4691758-1287-453B-B217-FDB5BF0E8CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500484$B855B547-DBF1-49D1-8A37-3818D23814C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500484$90EB85F2-5626-4208-AED3-35307982400F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98cb7058a1e8e644c33a49a426b651c0e594493","datavalue":{"value":"91A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500484$8E59325E-EAD4-4329-A397-8772CBA57329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500484$3097A425-D1AA-4C9D-9F00-7763D8CFF266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500484$77AB10D1-B1B9-47FD-B85A-AEB8211FA284","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"346037817aa9d89429d1f2f018e5c8530357ea72","datavalue":{"value":"5047253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500484$428D5B9B-06D6-4F32-BA4B-9757EF72EF1C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6945a219886acf273899692df184d0a728d65a6","datavalue":{"value":"computability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500484$0D7B1FB1-757E-435B-BBBB-023395D7F35A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2230c91cdf64c16a27a5d2b9a7dc5a5864e0831a","datavalue":{"value":"interactive computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500484$3C73FCCA-40A6-43C4-AB5B-D10C92D73A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500484$84F0D1F9-4811-4220-B375-7B0CADD29687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500484$B178B215-9CCB-4779-83F5-1F437720554A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b40814bfb9713b6ffb18947b83d0cc7e4a5dde41","datavalue":{"value":"constructive logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500484$5A65F408-911F-42EE-88CA-C7CE449A28AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a39d315b648b150944ead81c337df4c0a026ccc","datavalue":{"value":"knowledge bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500484$FCD60A32-5CF1-4A51-BCA1-8F7733969D4C","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":"Q2500484$C8C9748E-AFEF-4914-B8ED-02A9494E8788","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9db5990d76740c4527da1e641c8fd1b9f752946","datavalue":{"value":"W1985872645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500484$87C7453C-2A2A-4B62-9CE3-75F168515B1C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"424adad02741f01908e8ad3d8a50d22a69adbc43","datavalue":{"value":"Q56768690","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500484$631BF4F2-BDC5-4C14-8A26-E7198E5D7D03","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b74ab20e3f34d9d17b4095b9d6f5595f6d6ee89","datavalue":{"value":{"entity-type":"item","numeric-id":4302352,"id":"Q4302352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500484$6BA04292-1C64-4A0D-8D06-A0F6837DF69B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c3f05f853551418cca4e182137d4215cf968e94","datavalue":{"value":{"entity-type":"item","numeric-id":3113047,"id":"Q3113047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500484$9A28182C-54F9-4FBE-A79B-C12AE596C6A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40e1d2fad2b3369089cffb0934f8fbe434f4fba5","datavalue":{"value":{"entity-type":"item","numeric-id":1192350,"id":"Q1192350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500484$A0AD6277-1C60-4A73-9F4A-A96EDCF1A9F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500484$927F8290-F035-4604-9C76-02D09D9F9833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fe802cd8809baf377abe6a55d7cfe19465c65ab","datavalue":{"value":{"entity-type":"item","numeric-id":4783301,"id":"Q4783301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500484$23319550-260D-4034-B4BB-E9B643017281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f97d77a95875dfba966215f67390667bcff09bc0","datavalue":{"value":{"entity-type":"item","numeric-id":1361252,"id":"Q1361252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500484$257AC2BA-91B2-42B4-9C7E-54F5B795AD69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb02fae3cd606b0487ba1b7e3dd3f902776a5703","datavalue":{"value":{"entity-type":"item","numeric-id":1861137,"id":"Q1861137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500484$1E78A4FF-B5B3-4CAC-A925-665B8588A0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d53f81191d3b7c0b8a719c1d8f281eb0d61979e8","datavalue":{"value":{"entity-type":"item","numeric-id":1408853,"id":"Q1408853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500484$6B783C51-1182-4DD7-9114-5D88593B6650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a25696d83ad9c586704de353e765cf249d8dc23b","datavalue":{"value":{"entity-type":"item","numeric-id":5277750,"id":"Q5277750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500484$0AAAB49B-A965-4FFF-81F3-23A914730471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09765f946ad7b1edd8e4c2f3a7a059a83c308a33","datavalue":{"value":{"entity-type":"item","numeric-id":4928705,"id":"Q4928705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500484$195D2B7A-4A6A-4EFB-A99B-89AC3BD60986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e75044d316131685e93b46f9e6809c0127a85f8","datavalue":{"value":{"entity-type":"item","numeric-id":4215636,"id":"Q4215636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500484$904E0A57-F533-4153-82EE-71577F5C1507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500484$627393E3-A363-4E95-8E3D-505BF6EC92BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c376af624bcb2d3496d6c0f64f786c7cafb401","datavalue":{"value":{"entity-type":"item","numeric-id":5726697,"id":"Q5726697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500484$F2D4708D-C27D-40CD-833D-400B1ABB2407","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"a893bff142c17e39e4ab309f7e7a449f01f969e1","datavalue":{"value":"journals/tcs/Japaridze06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500484$89638F2E-F69F-44C1-AEE7-1259F4B13E28","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf8dab548f90a3b88a638cde6600cf0e4e957f66","datavalue":{"value":"10.1016/J.TCS.2006.03.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500484$028DF6C7-0FF8-4B00-B405-075058E6D7CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"766becdd83afbdbc94822321d063993a57432878","datavalue":{"value":{"entity-type":"item","numeric-id":5277750,"id":"Q5277750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"199076f3f07dd146f1b097ad213561c72c2c6928","datavalue":{"value":{"amount":"+0.9303397536277772","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":"Q2500484$5FB4F52A-3B9A-4061-80F3-D5A0779DB60B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1561976a38ad524cad1afbf82b5fa581c58454f","datavalue":{"value":{"entity-type":"item","numeric-id":2373705,"id":"Q2373705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"739df2d954160a1d9b5430383dba920ed12199e4","datavalue":{"value":{"amount":"+0.9109004139900208","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":"Q2500484$88F3DA1C-F804-46D7-AAFE-4EBB28D645EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33ea99126823de99fb38383061bf9814224181f6","datavalue":{"value":{"entity-type":"item","numeric-id":5124221,"id":"Q5124221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed5674589182c7db5e15e548e0f709dafb193b4","datavalue":{"value":{"amount":"+0.8896946310997009","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":"Q2500484$0C4AF2CE-6801-49F9-801D-C4CF532AA39F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86e51fb5c0cc5af6cb67bea5e3f8944959622748","datavalue":{"value":{"entity-type":"item","numeric-id":1408853,"id":"Q1408853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45464a47403414c8ce58917a3c78f778ef2228d7","datavalue":{"value":{"amount":"+0.8867260813713074","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":"Q2500484$7C420099-8F4C-4070-8FC6-CEF9913BDC05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bae927a0f075290ee94cdc59c2e5ab60c556ca3c","datavalue":{"value":{"entity-type":"item","numeric-id":4928705,"id":"Q4928705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b327b5e95d8f94dd8f40679fa7a282e475d3f28b","datavalue":{"value":{"amount":"+0.885917067527771","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":"Q2500484$DF456670-A462-4FB9-8B68-8EE8E5094442","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2500484","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2500484"}}}}}