{"entities":{"Q999265":{"pageid":1001113,"ns":120,"title":"Item:Q999265","lastrevid":66531222,"modified":"2026-04-12T10:46:12Z","type":"item","id":"Q999265","labels":{"en":{"language":"en","value":"Sequential operators in computability logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5501946"}},"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":"Q999265$06A768DB-5435-44E0-95F3-97871F737916","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bde81a203b6e1e62272ddd0aec1d248c34aa3ef5","datavalue":{"value":{"text":"Sequential operators in computability logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q999265$5F4F50ED-2CB1-47E1-85E4-F069478776F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e669411c3b005c33fb086b8efa38d36c50c57d1","datavalue":{"value":"1161.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q999265$B975A727-913B-4ACB-AB76-B518FCE9002F","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":"Q999265$5910E68A-4E1F-4037-964E-3A0F5CF66A66","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q999265$0B1287E2-DBF1-4AB0-BE74-62F1B3B77C43","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8252c9bc11ad46ff65a647eb67c4c4f635569088","datavalue":{"value":{"time":"+2009-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q999265$1CF543DA-8E40-4A78-AA8D-400A5018C6DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"42eae9b5d51be0f9099390fd343bce98549bde7a","datavalue":{"value":"https://arxiv.org/abs/0712.1345","type":"string"},"datatype":"url"},"type":"statement","id":"Q999265$DA01CF7B-88EF-403F-B83D-4CBD67A2EC9C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"507b7121fb01609ec60d18c84e439b2d8b8cf127","datavalue":{"value":"The article is a continuation of a series of works of the author on computability logic (CL) as a formal-logic axiomatic system formalizing the process of computation considered as an interactive game between a machine and its environment. ``Truth'' is understood as existence of an algorithmic winning strategy. A sound and complete axiomatization of the propositional fragment of CL is given. CL is an extension of classical logic. \\(\\top\\) and \\(\\bot\\) are symbolic names for the players. Classical propositions and predicates \\(p,q,r(x),s(x,y),\\dots\\) are viewed as elementary games that are won by the machine if true and lost if false. General atoms \\(P,Q,R(x),S(x,y),\\dots\\) represent any other games. The operators \\(\\neg\\), \\(\\wedge\\), \\(\\vee\\), \\(\\forall\\), \\(\\exists\\) are generalizations of the corresponding classical operators from elementary games to all games.  Negation, \\(\\neg\\), is a switch operation between \\(\\top\\) and \\(\\bot\\).  The choice operations, \\(\\sqcup\\) and \\(\\sqcap\\), model decision in the course of interaction with disjunction and existential quantifier, meaning choices by \\(\\top\\), and conjunction and universal quantifier, meaning \\(\\bot\\)'s choices, respectively.  The parallel operations, \\(\\wedge\\) and \\(\\vee\\), where \\(A \\wedge B\\) or \\(A \\vee B\\) means playing in parallel. In \\(A \\wedge B\\), \\(\\top\\) is considered the winner if it wins in both of the components, while in \\(A \\vee B\\) it is sufficient to win in one of the components.  The operation of reduction, \\(\\to\\), where \\(A \\to B\\) reduces \\(B\\) to \\(A\\).   Blind operations produce games with imperfect information.  Sequential conjunction \\(A \\bigtriangleup B\\) gives a game that starts and proceeds as a play of \\(A\\).  The branching operations come in the form of branching recurrence and its dual branching co-recurrence.  The first-order level is outlined.","type":"string"},"datatype":"string"},"type":"statement","id":"Q999265$7A7B021D-12C2-4321-8E17-DDD0EDB5A8DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q999265$B2F7771A-9D3B-4649-8AF3-7FDA09E494C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q999265$9FAF5847-59D3-4144-9A0D-D8D389F382BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"740c6264405aff44e92199385390732bfd848ab9","datavalue":{"value":"5501946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q999265$92D82018-9C65-4663-BCB4-655BD28B85AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6945a219886acf273899692df184d0a728d65a6","datavalue":{"value":"computability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q999265$3EDAE850-9C2F-4D0C-8B76-4EA07946F9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2230c91cdf64c16a27a5d2b9a7dc5a5864e0831a","datavalue":{"value":"interactive computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q999265$355F0C7B-8F7B-49FC-A80E-AC21F14DE623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q999265$F764A174-ADC6-462E-938B-FFCF1455CC04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q999265$1DEC1372-648A-40D1-9C80-1460D19547A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4a62be59df86ac5656fbe65ad3e6c1589611bfc","datavalue":{"value":"constructive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q999265$B3D4B5D2-E5E7-4BE6-B394-220F49B83E31","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"99c46714fd57f79713a70ae9aedc1a7fbab92e17","datavalue":{"value":"Q56767143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q999265$A0E5534D-D58D-4DF3-8D01-84CCECA007CF","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":"Q999265$5F9A9699-3BA6-4457-995C-AC4768DC7B0A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"055370f73940596e70c3f0020c29644dfcc93443","datavalue":{"value":"W1964882086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q999265$DC48A750-A028-4DB9-A271-8C86B77192DE","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":"Q999265$36C920CC-635F-49E0-871B-AA98C25EF4D5","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":"Q999265$5970BC38-437A-42AF-B943-E70249503FE8","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":"Q999265$840A8C77-52ED-4FF5-A964-519722A99070","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":"Q999265$000D1223-5D9F-47C8-B561-F97178222C03","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":"Q999265$5A634E48-7DF4-47CE-9B92-C8327B2A7F23","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":"Q999265$33C0DEF3-52DA-4ED2-8069-D6DEFCC83FD9","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":"Q999265$6C2531DD-2292-4415-AC35-283C53D49EC7","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":"Q999265$19C660B9-C510-4E83-9E58-86C7747CEB3F","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":"Q999265$1BA29420-3446-4F9A-BAD8-73E152DEE63A","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":"Q999265$3A52852B-8695-4399-A05C-7C93FF50CA4C","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":"Q999265$1D591101-84A4-48B1-9B79-77D398AD7D33","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":"Q999265$88BC2E3B-B2EC-4E86-A945-7D31C57E4B7A","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":"Q999265$D72940DD-FC30-4F25-8C6C-E907E3873EEA","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":"Q999265$BE6F3DD3-3853-4DDA-B8A5-4BBF34D18BFE","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":"Q999265$8D57AF52-E78E-4CA5-847E-48253007B8C6","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":"Q999265$CCFABDCE-7AB4-4CE2-9D0D-A50C19020539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca7d3938191910b4560c168a326b0febb423bf4d","datavalue":{"value":{"entity-type":"item","numeric-id":1565791,"id":"Q1565791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q999265$7C51889A-7E57-4B0B-AD9B-F54E85683488","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b683b007f6fc3ba8ea29a5939513f594173fd3d5","datavalue":{"value":"10.1016/J.IC.2008.10.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q999265$8408023E-AF67-466D-846B-DAAE0124F591","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71280657ab8daca175bf34f8ca4df2811aac603f","datavalue":{"value":{"entity-type":"item","numeric-id":4263841,"id":"Q4263841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9daa4d51519a8944c9b99ec5d600d2b2f65f779e","datavalue":{"value":{"amount":"+0.90193814","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q999265$1CC0290B-AEA1-4B8D-91B6-AEE2CCE47541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94adda7d56c31cdd14ed132f15b6580606e443f0","datavalue":{"value":{"entity-type":"item","numeric-id":3520146,"id":"Q3520146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a11548a7e953170dcd826bfc83127c86aec2f5c","datavalue":{"value":{"amount":"+0.8918371","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q999265$BA9132D0-CB18-4007-A2C8-4750BC45C024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f92aba65c4784b6aabf699bb3317b7439b59d2bb","datavalue":{"value":{"entity-type":"item","numeric-id":3498460,"id":"Q3498460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da1d7173813b9bff157fa6cf866d3c78345d2a6e","datavalue":{"value":{"amount":"+0.8914852","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q999265$1209F432-6ABF-4BE1-A347-4ADE54372B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5506ffb464f173144aa485f8bd205f69973ba98e","datavalue":{"value":{"entity-type":"item","numeric-id":3586044,"id":"Q3586044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc9895a0faa1f7bf25c814527fa56143bad68da8","datavalue":{"value":{"amount":"+0.8895249","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q999265$BD1F6917-AD75-4152-9362-D9906E5A6B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50a5dd7cad07c407f1761513b82cd0170f16802f","datavalue":{"value":{"entity-type":"item","numeric-id":631756,"id":"Q631756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7ecb4e1bf20903c0a1c022fee725816f3b0b671","datavalue":{"value":{"amount":"+0.8859526","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q999265$E73F96A8-5CFD-4D25-AC7F-2A24FB5CF799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"520bb8a623dcf2b25b675cfa19bfda530a17910b","datavalue":{"value":{"entity-type":"item","numeric-id":1810258,"id":"Q1810258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1498e445740fa995d2c1e3d70ec3a4250b40d69","datavalue":{"value":{"amount":"+0.88583934","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q999265$5E2C0211-BB49-4773-906C-C09A7336AFDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"179335922538aa559b620a63590fd93e6c19918d","datavalue":{"value":{"entity-type":"item","numeric-id":3792235,"id":"Q3792235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddfd53c9dba4392dae3000c5671c1a111fe5865c","datavalue":{"value":{"amount":"+0.8855938","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q999265$A3ABC5D6-D642-488C-B341-2ED33D6EDF95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da81af5f4a808e6f0731c873ef48e1a30d1a952f","datavalue":{"value":{"entity-type":"item","numeric-id":1866903,"id":"Q1866903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cc5bd2468e8f4b6140b90148faed4c377e3a487","datavalue":{"value":{"amount":"+0.8809601","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q999265$458BD242-D2CE-42A1-8D55-27776402026E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9f4679e7d026ea83a7d7eec1a506d23997e110b","datavalue":{"value":{"entity-type":"item","numeric-id":5212020,"id":"Q5212020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df4fd15ee4fa99886aa31d0a36957c2a08f2dc77","datavalue":{"value":{"amount":"+0.8790921","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q999265$F8278ACD-0DF3-416B-9A7B-901C3FEF4407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"661490dde3d431cdfa96834c184b8b743f3ea63d","datavalue":{"value":{"entity-type":"item","numeric-id":3758809,"id":"Q3758809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6036ce29c1068b78d493b2020de5c0c8cf138659","datavalue":{"value":{"amount":"+0.87668395","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q999265$D6E0CF42-5A3F-4EC5-9313-8467A16C3A7A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sequential operators in computability logic","badges":[]}}}}}