{"entities":{"Q3426573":{"pageid":3437276,"ns":120,"title":"Item:Q3426573","lastrevid":58175763,"modified":"2026-04-04T02:52:49Z","type":"item","id":"Q3426573","labels":{"en":{"language":"en","value":"The logic of interactive turing reduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5132674"}},"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":"Q3426573$513935D7-E682-4B83-8BA4-AE9CD66561F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bcfd8b41b6cf5de3e4299637a6350812ea0784d3","datavalue":{"value":{"text":"The logic of interactive turing reduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3426573$DD0063B0-13D8-4002-A947-54215B6E91BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5aaf3e97f5ce4f5725c9192216752068eb3c4df5","datavalue":{"value":"1161.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426573$4999D657-E882-40B2-B653-1197534217D4","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":"Q3426573$79033550-2843-4CD4-AEBE-7AC5EB162991","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3426573$187C5628-0883-450B-9EB0-59DEDA582E9A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39eed756ef4774638f5dc70a5b404d4f34900328","datavalue":{"value":{"time":"+2007-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3426573$842D9477-2F0E-4718-B6CC-9DE26C1E7FF6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"927618be007aacff5eb8a9e788d146bfc6aa198a","datavalue":{"value":"https://arxiv.org/abs/cs/0512100","type":"string"},"datatype":"url"},"type":"statement","id":"Q3426573$794DD6ED-0F36-43CD-A574-1C005FFC5645","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426573$4163F2BE-AD00-479A-BED5-A9CF73BF4AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426573$58D3863C-E7AA-42DB-8063-B97AB49C3733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426573$2F833F92-4557-4931-B779-02589803CA17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a243c8f73cc474d44aae72f7aae8607d0e9ec075","datavalue":{"value":"5132674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426573$8F1D1B1C-9D73-49C3-A2F0-B2B7FEA43870","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6945a219886acf273899692df184d0a728d65a6","datavalue":{"value":"computability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3426573$1C301B70-C71C-4067-8DA1-470A395CEF94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3426573$F456542B-7F51-4FA4-BADA-D566DAC1499F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2230c91cdf64c16a27a5d2b9a7dc5a5864e0831a","datavalue":{"value":"interactive computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3426573$43D54D8E-8024-4A4F-AE69-C8DB7ECC8CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3426573$0D9E1507-923E-4904-A5D2-8E090DC659C6","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":"Q3426573$F9FB5DAE-1274-469B-9FD4-9D8EA4792481","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a999efe5f19d1c529b5a133dc0cedadd17dae06f","datavalue":{"value":"W3098668213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426573$C3636F13-032C-4BF2-BBD2-8A75F2BF88CB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a8451a1a8984525916d6ed336ce0dccee29af793","datavalue":{"value":"Q56912345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426573$E9AC5487-FB25-4F4C-8B76-B2ACA5A14A0D","rank":"normal"}],"P223":[{"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":"Q3426573$7F45174E-6DE7-4842-AF3E-A7B86BE21952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a6601d282ebd0f221ec910ff490d3669a9666ee","datavalue":{"value":{"entity-type":"item","numeric-id":5689034,"id":"Q5689034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3426573$F3030453-C6F9-46EC-B12E-1EB016E1D4B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a97caab4eedf8cc839cc8e57d1098c35577157dd","datavalue":{"value":"10.2178/JSL/1174668394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426573$4AA4006D-BCC0-4E99-94B7-A6BA2DA03381","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c60b75289d076836125f4aa9b14e12c8bb115af","datavalue":{"value":{"entity-type":"item","numeric-id":1005975,"id":"Q1005975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b8bf1734409344da2587c886903a31ea40d50a8","datavalue":{"value":{"amount":"+0.8268620371818542","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":"Q3426573$6A124AA2-D4CC-47B8-A81E-F3D015CEFC30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bff6f80817dd96a065d2f8283c26187a08a010d9","datavalue":{"value":{"entity-type":"item","numeric-id":2373697,"id":"Q2373697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dda7ddaadd9ca02df27ed39440b72098793c0f5","datavalue":{"value":{"amount":"+0.8262413144111633","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":"Q3426573$3DA539FF-751F-4201-8DF0-6C9D3F8A3F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4be32e5189528300d9df370552fde8bfab872da6","datavalue":{"value":{"entity-type":"item","numeric-id":5422557,"id":"Q5422557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82bd87c233199f82488f37991f6de8faaa4e68c9","datavalue":{"value":{"amount":"+0.7915803790092468","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":"Q3426573$866CB81A-59DC-48D8-BED1-4B79A562DD08","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":"3654fdd625762aa0565b6c248bc15b3debd02a72","datavalue":{"value":{"amount":"+0.7723290324211121","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":"Q3426573$5C05517F-8635-4760-8129-5356473DC5BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90dc0ffdfd43a44a8ec1748a6e94a6dd8d7a9319","datavalue":{"value":{"entity-type":"item","numeric-id":3755454,"id":"Q3755454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"347c3797b6d6a8ccfeb9f54efd086b0fcc7da13e","datavalue":{"value":{"amount":"+0.7703492045402527","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":"Q3426573$08D59195-CD72-45FB-A835-5647729427FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3426573","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3426573"}}}}}