{"entities":{"Q1005975":{"pageid":1007823,"ns":120,"title":"Item:Q1005975","lastrevid":66566238,"modified":"2026-04-12T10:59:06Z","type":"item","id":"Q1005975","labels":{"en":{"language":"en","value":"Many concepts and two logics of algorithmic reduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5529414"}},"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":"Q1005975$943A19CA-3562-4666-BF10-8770BA697DF5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53a931f631dce9f875a9dea78768fb6e3f08e306","datavalue":{"value":{"text":"Many concepts and two logics of algorithmic reduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1005975$E8EA7EDF-3A2B-429C-B196-3FDDF1F3182F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c25254c0ff0e88ea98095b2d3a9951a13019ff43","datavalue":{"value":"1162.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005975$B40B77FE-1AB9-4394-920B-C69094715ADD","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":"Q1005975$F081BDB2-0BB2-483B-80FF-1ED89E98E53D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005975$5D31AA6A-C5C4-47DC-AA87-D0E83B145580","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17814350209354c715cbf2c1580c94a27df99545","datavalue":{"value":{"time":"+2009-03-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":"Q1005975$8F141C49-304F-4594-B2BD-FADD008B26E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f60521ae5ea179d3aa4aa2b20b392bf4066cd59","datavalue":{"value":"https://arxiv.org/abs/0706.0103","type":"string"},"datatype":"url"},"type":"statement","id":"Q1005975$500D9C7C-5196-492C-B416-04EB158C751D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005975$452A2446-CBB5-4727-BF1B-59C9E8508CA6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"429141b527218c8ad96c50e54a16c08b375da6bb","datavalue":{"value":"5529414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005975$DB9B2B41-A7AD-4F3B-9A73-1D33318FC908","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6945a219886acf273899692df184d0a728d65a6","datavalue":{"value":"computability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005975$7BB2D010-46AD-4E68-A79C-D64F358E3A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005975$80F065D6-54A2-40F3-B680-CFCCC5CC1BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc35f05507f2f599ca678dae484d9c6c08184fec","datavalue":{"value":"affine logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005975$825BD5B6-7334-402A-A596-1D68370F2D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005975$1FF88EDE-9815-412C-A319-BD0F1B50C236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2230c91cdf64c16a27a5d2b9a7dc5a5864e0831a","datavalue":{"value":"interactive computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005975$62C71AF5-AF07-418B-A03F-B66C05DDAA21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005975$A7AD02A8-F2C6-4BA4-A780-4EA0CE5AFAEC","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":"Q1005975$91D36AC9-F5D4-46C6-AD88-5C1015C8A11D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d0865a16ce4c2adcdef69ae7f5f00519f7f31be4","datavalue":{"value":"W1794149593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005975$8214DD7D-3712-449D-A9CD-18628E3B6822","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":"Q1005975$58284359-F963-429C-A13C-3ADC70800CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c6d8760610b24af897d36abe23e626dbd7c5d38","datavalue":{"value":{"entity-type":"item","numeric-id":5643819,"id":"Q5643819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005975$85FDF5FB-2FD9-4F78-AC5C-2E8B9E3F8E35","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":"Q1005975$D34EC32E-88A6-4737-B62E-BB292D5D196C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5207398c45b5e7df39723f7ac821dc2d196e33aa","datavalue":{"value":{"entity-type":"item","numeric-id":4453637,"id":"Q4453637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005975$BE72FCDC-092C-455B-AFD9-DC922480F02C","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":"Q1005975$856678C9-0BBB-4A7F-AA6D-4D63199CDBC8","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":"Q1005975$A90179EF-5A32-41C2-87EB-238EB154EBD6","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":"Q1005975$9EEE7507-4BDA-44E0-9A9B-26CED2A19C8D","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":"Q1005975$868DC29C-6BED-4C74-8C77-8D8068496F56","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":"Q1005975$3F42E95A-B8EB-4563-8FD9-C0ECC661E771","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":"Q1005975$7D714AAB-685D-4F80-9DE1-40ED436B427E","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":"Q1005975$647A6119-D845-4C05-A52D-7AB4FC0EA720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d08ba3bafb42c8fb86c0120e4597fef1cfd0878","datavalue":{"value":{"entity-type":"item","numeric-id":5422557,"id":"Q5422557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005975$EDE665B3-2804-4C9A-802E-85A18FD039ED","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":"Q1005975$77C965BE-3700-491A-B68E-9A3AE722D47B","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":"Q1005975$07F13815-BF3D-434E-BEA9-85CC056D56E4","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":"Q1005975$A8EA96F3-6E52-416F-8801-9B6FF16976F8","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":"Q1005975$9126AFA6-F287-4FBD-84C0-53E752D06FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c2063e7a98e675ceb548b4cd1f848d40c89a6ce","datavalue":{"value":{"entity-type":"item","numeric-id":3570163,"id":"Q3570163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005975$82F2EA1B-D9ED-4491-81AA-254F16361598","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89fe1c2e50f26148f6db97fff1fe7f10d5275017","datavalue":{"value":"10.1007/S11225-009-9164-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005975$6F40809E-E19E-482F-98D6-6B569831AEBB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4db3b2db89c709471041cb103e328d46ae78485c","datavalue":{"value":{"entity-type":"item","numeric-id":3426573,"id":"Q3426573"},"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":"Q1005975$B43B8006-A11D-4056-99D3-51F69D61D432","rank":"normal"},{"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":"38648128dd827b471cbf801c8dfa76f4c871fe01","datavalue":{"value":{"amount":"+0.7468103766441345","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":"Q1005975$374C0CD5-A5A5-46DD-881B-A95F4971F8FF","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":"5748b7be6760e12543cf9a2da10dd6f56bd42f85","datavalue":{"value":{"amount":"+0.7413564324378967","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":"Q1005975$C39A2650-641B-4700-BF30-314197FDDB92","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":"4cd2c82bdd5b39c0de706668c2275185da6cf787","datavalue":{"value":{"amount":"+0.739376425743103","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":"Q1005975$DBD79A17-0F59-4EF1-82EC-4371EEB16718","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":"2baf54508fdc18ed86c75b58094b89c1fdb08426","datavalue":{"value":{"amount":"+0.7353975772857666","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":"Q1005975$D8F8DA2A-1622-4A63-A634-4A663666FA73","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Many concepts and two logics of algorithmic reduction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Many_concepts_and_two_logics_of_algorithmic_reduction"}}}}}