{"entities":{"Q2373705":{"pageid":2384448,"ns":120,"title":"Item:Q2373705","lastrevid":57889239,"modified":"2026-04-02T23:24:19Z","type":"item","id":"Q2373705","labels":{"en":{"language":"en","value":"From truth to computability. II."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5171330"}},"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":"Q2373705$BFBACDA4-B392-4546-A694-31F093C329DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81e08b4fcc392589c889f0b923c5ee2e49f16c19","datavalue":{"value":{"text":"From truth to computability. II.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2373705$BE9F80EB-8EA0-47AA-AE93-DC4F1A728339","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bfb70d34ff4c5f882b2341bda4c1ea0bb345681d","datavalue":{"value":"1118.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373705$12C1AE5E-253E-4160-8B66-FCED293C9569","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":"Q2373705$E6961599-0FAA-4202-ABA6-21411FEF598B","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":"Q2373705$4A348BEE-F1BD-4DA6-B242-4E0668383266","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e3acd577c56b212087d574010dc1f6e1c3c3b90","datavalue":{"value":{"time":"+2007-07-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":"Q2373705$ED8F8EFD-91B5-4038-8886-6F6D9CAF0526","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9f13acd76141b894dbf4b01a69b54f4d871da91","datavalue":{"value":"https://arxiv.org/abs/cs/0501031","type":"string"},"datatype":"url"},"type":"statement","id":"Q2373705$A0F1B1AA-215E-4AEA-9A9E-85A7A83C6D8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373705$F165D90C-CFD8-4CBB-9C17-C54E9407B071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373705$C3EACF6D-5AE7-4826-8F7E-47197C18CD26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373705$F8F513C3-D9E6-4551-B9F3-337BBB6153A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373705$87A9304A-BE43-478A-95B5-DCF7A7585FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373705$CC9ADC38-4074-4E3F-B312-47BA652E2B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373705$EA84363E-BD19-40D2-9388-E364ADC82B51","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d9e82de4f055329fdd583224c100457a2f0a634","datavalue":{"value":"5171330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373705$B07EDA2C-CB34-4085-BDF4-F2B068B46A72","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6945a219886acf273899692df184d0a728d65a6","datavalue":{"value":"computability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373705$D848805A-647B-4EB9-A98B-B3F169F4442D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2230c91cdf64c16a27a5d2b9a7dc5a5864e0831a","datavalue":{"value":"interactive computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373705$91FB53AF-FF3D-486C-9A01-FF4CBCCF2228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373705$E78E815C-F719-4735-BA76-7AC574710EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373705$97B82CD7-6CB0-4631-83A5-86941821B4D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4a62be59df86ac5656fbe65ad3e6c1589611bfc","datavalue":{"value":"constructive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373705$4188F64C-53E0-4AD8-9BA6-E51CC34EC7F1","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":"Q2373705$FB7B48E4-1C70-47F1-A0FF-D89FC322E6D1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4ad7bdc6e5f898d4ba19323a1464585267f317fe","datavalue":{"value":"Q56768693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373705$7C9BFAB7-7A96-49AD-9F45-1CA0F43CFD62","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8fabce45af89d81b6e3be79ad413443c058613d","datavalue":{"value":"W4213193997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373705$A30AF92C-2B65-4561-85D8-4C6B5FA7B4D8","rank":"normal"}],"P223":[{"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":"Q2373705$EA8B508B-E459-4D87-8491-5F2701817931","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":"Q2373705$923D6334-3927-4ADF-A4CC-D900B6E9A402","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":"Q2373705$6E6DA45D-9F1B-4167-9A34-5DFB3BD0AB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad54e0569338faa758490d5d2574d6f44d69ce51","datavalue":{"value":{"entity-type":"item","numeric-id":5277751,"id":"Q5277751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373705$996CEAD5-E0BB-4721-8F7E-B5D4ED11C3AD","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":"Q2373705$AC7DD97B-13FC-484B-BE5A-656F38A9BB75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad1ec29f8ad9206b300381c2a763a935316a75c","datavalue":{"value":{"entity-type":"item","numeric-id":2500484,"id":"Q2500484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373705$A2F2A9BD-0024-4538-B6A9-3437952B134D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"032fe58f0d0e793cee7e3ac30ee9defb2d6b636c","datavalue":{"value":{"entity-type":"item","numeric-id":3412001,"id":"Q3412001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373705$E7AE4923-FBD9-4397-BA40-B288DD9A12E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e518a727768fabe4eaa82ffb7f7689f2d063546b","datavalue":{"value":{"entity-type":"item","numeric-id":3620031,"id":"Q3620031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373705$8C2D4249-CF62-49C2-A0B4-2980599977EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e22cd86b0a74fa28697db069d3cbd3bf2acf5045","datavalue":{"value":"10.1016/J.TCS.2007.01.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373705$FD46A6DC-E470-4556-8772-6999AED07BD9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f8d416a3eeeb34cb56cd2090fcfc240e555ce91","datavalue":{"value":{"entity-type":"item","numeric-id":2500484,"id":"Q2500484"},"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":"Q2373705$36F6F90F-C1B5-4D50-8BC4-E36ED8AD39A4","rank":"normal"},{"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":"704a4a8c422edf90b13e4da755e3209301ce6fb7","datavalue":{"value":{"amount":"+0.8993180990219116","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":"Q2373705$88F6490D-BBEF-4F0A-BDD3-6DCCC7CB519D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0ccf66a5c76ceab84aadb738f4b81ff6114c3b3","datavalue":{"value":{"entity-type":"item","numeric-id":5277751,"id":"Q5277751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39ef9a9b9ea5121a22ae0bb98734ebd5b1c42627","datavalue":{"value":{"amount":"+0.8906641006469727","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":"Q2373705$26F15BE6-083D-43E4-9479-288B74C481A5","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":"75eaec011423fbe4f5e65ba94f4bea73c672ae20","datavalue":{"value":{"amount":"+0.854046642780304","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":"Q2373705$73315BF5-F19E-4D28-B29A-CCA6F2A4C8CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"776bb2625ed30546b576f2d9fd7e9b57ea3425f7","datavalue":{"value":{"entity-type":"item","numeric-id":3570163,"id":"Q3570163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e55c70a4509e9141325c0fc9e775283fe9c6a9f","datavalue":{"value":{"amount":"+0.8377823233604431","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":"Q2373705$673BCD9B-CD4B-4C6F-90F9-192667BB7FE8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2373705","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2373705"}}}}}