{"entities":{"Q3570163":{"pageid":5600067,"ns":120,"title":"Item:Q3570163","lastrevid":58220463,"modified":"2026-04-04T07:08:57Z","type":"item","id":"Q3570163","labels":{"en":{"language":"en","value":"Towards applied theories based on computability logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5725864"}},"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":"Q3570163$46A2EB3A-C56E-4313-9D5B-1F0FA4CC5F9F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2913a9cc9d800aa235b918326d156a26683661c","datavalue":{"value":{"text":"Towards applied theories based on computability logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3570163$7E744319-5E4E-416B-A3CB-63768129CFB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb662d5438d9fe233a85b5e2aa960920f56c45b1","datavalue":{"value":"1201.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3570163$E752DCF4-9828-4ACC-8B8E-9F6F558893C7","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":"Q3570163$E6330E6C-3D27-42F6-A1B2-6995B720B9E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"caf3f7cd2503675447a84ac318a43c4484b6a487","datavalue":{"value":{"time":"+2010-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3570163$0B750A4E-869A-472B-BD1E-5DDA2F78C2C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d3f349a4f6c7e69b6ee987a2a4027e25009a011","datavalue":{"value":"https://arxiv.org/abs/0805.3521","type":"string"},"datatype":"url"},"type":"statement","id":"Q3570163$3A95F4FF-CAFD-4652-A758-2F5C9BF6D75C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3570163$C3EE448C-1C6E-42AB-A725-CB797026A559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3570163$79C726B0-62CF-407A-AE92-D6BDCA25D654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3570163$C1DF61D2-BC45-41F9-9E1D-CC8942782BF9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01e598a1d3a5cfcadebc5e8b7fed6ddd25079845","datavalue":{"value":"5725864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3570163$4357CBD9-F213-4BF9-B941-3E2A46D20786","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6945a219886acf273899692df184d0a728d65a6","datavalue":{"value":"computability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3570163$88D8456F-464D-42A2-8E75-5D90E675E96C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3570163$1EB3006D-D377-4A26-ADA6-5996B46D5AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3570163$7FE46BE7-4DE2-48FF-9A33-F040AD5AEB90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b40814bfb9713b6ffb18947b83d0cc7e4a5dde41","datavalue":{"value":"constructive logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3570163$A875550E-80F8-4FB0-A336-3BF1E1056D54","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":"Q3570163$AD17513D-BE69-4533-A2CE-F52B6FADF65C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a305c6eb788a57e2a8495f277098f778ecb70f4","datavalue":{"value":"W3098537093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3570163$79C9ED33-EDE5-4AC1-B9E4-7F7CF2151AE4","rank":"normal"}],"P223":[{"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":"Q3570163$3AA05581-2D42-40B1-86E7-4E8369BEFE72","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":"Q3570163$1448F61C-2D53-421F-9D65-B713E90B202E","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":"Q3570163$30E931EA-4960-4BE4-887B-3E1E3F5EB941","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":"Q3570163$C74262BB-AD21-4A47-B27D-330F222874BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eccdf72e1f203c4524bc6a55b606b03cc00d9fc","datavalue":{"value":{"entity-type":"item","numeric-id":1005975,"id":"Q1005975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3570163$EBF73F25-CE40-4DAD-A1A3-CE612C20BA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa774fc0329edab6d9b75a21a0a00add130cdf5d","datavalue":{"value":{"entity-type":"item","numeric-id":999265,"id":"Q999265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3570163$D2B3AA99-621A-49C8-A92C-BAB7603C4C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1415dfa837a4251d2ff5d5cede791ad27b76f47","datavalue":{"value":{"entity-type":"item","numeric-id":3549318,"id":"Q3549318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3570163$486CBA53-6EEF-40A6-8ADE-B111FD401824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d08db90fc57c825e5f23bae2086dda52e101a32","datavalue":{"value":{"entity-type":"item","numeric-id":2373697,"id":"Q2373697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3570163$429B9C04-81BF-4EAF-92D5-2C89BBD7A88D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b1e0ca244183345f021f0a50fd7ac4b3b1a4db2","datavalue":{"value":{"entity-type":"item","numeric-id":3426573,"id":"Q3426573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3570163$8E7680A4-002C-4557-9DA6-52257FC9549C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96836528b25b6ab1aa5711f1b2eb98249a8075a0","datavalue":{"value":{"entity-type":"item","numeric-id":2373705,"id":"Q2373705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3570163$74144674-8060-4954-AA8C-1089660A3E53","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":"Q3570163$EE1C3366-3041-4546-8866-94488B8ECFD4","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":"Q3570163$B8B9B2A0-772F-4F50-AF6F-E06AF71E3B4D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d111fd4b763fed24cd8848b28d616617f8ef2fb","datavalue":{"value":"10.2178/JSL/1268917495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3570163$769D31F2-D6FE-45E1-96CD-CE8EC99C686B","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":"Q3570163$C54FB2F8-0A6E-4BCA-9610-1640F400E4DD","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":"00952776af7699037e6bfa6f760521732bfb87cb","datavalue":{"value":{"amount":"+0.8712332844734192","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":"Q3570163$1462E2BF-C5A3-41E1-8FC8-8BB566D7C273","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":"8c40d156461b838562aea93641376e2505dbc0ba","datavalue":{"value":{"amount":"+0.8684387803077698","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":"Q3570163$257A524E-7F5B-4A98-A418-8352104EFDA1","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":"a1746dc3347e90bbc6033462f5b2461449474253","datavalue":{"value":{"amount":"+0.8398377299308777","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":"Q3570163$356B75E3-BA97-449F-9316-A124C84A6DDE","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":"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":"Q3570163$4A17F648-0956-4D5F-BC3C-66721F903E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4eb149bc6519c3abf792ae6e041dfa6630b2513","datavalue":{"value":{"entity-type":"item","numeric-id":2893325,"id":"Q2893325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f57a1ad951d1455539021d63ae73756f076ab17f","datavalue":{"value":{"amount":"+0.8343873023986816","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":"Q3570163$BA59E7B9-3632-4B91-84F0-F98D3B7B8F4C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3570163","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3570163"}}}}}