{"entities":{"Q631756":{"pageid":633604,"ns":120,"title":"Item:Q631756","lastrevid":63111993,"modified":"2026-04-11T10:40:03Z","type":"item","id":"Q631756","labels":{"en":{"language":"en","value":"Toggling operators in computability logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5865585"}},"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":"Q631756$B526031A-8548-441E-B189-CCC1B4616082","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3982e98f59acc4ed0e7c5ee4336f4e83cade5cb3","datavalue":{"value":{"text":"Toggling operators in computability logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q631756$24B70302-EFD1-4473-9B19-1540D500965A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68001bee45a35dd4c3d1d47ceecb8ff0e679c2e0","datavalue":{"value":"1209.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631756$815376A4-5833-4F8F-B643-85F668AB729E","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":"Q631756$F8DBEBD1-7530-4A8D-8CFC-803F7B28F681","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":"Q631756$CFBD7DD6-0378-440A-B498-F624E1329D26","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f05c15c599566c03aa1303bff626bf49bc05676","datavalue":{"value":{"time":"+2011-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q631756$E259B72A-3745-4797-94AA-F12F15DDF00D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3de3eb9cbfea5cc72734f0b87cf8200bc00f45ac","datavalue":{"value":"https://arxiv.org/abs/0904.3469","type":"string"},"datatype":"url"},"type":"statement","id":"Q631756$7DC4426F-DF65-4558-A93E-2F06600DCD8E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631756$82D5A629-1A9D-47CE-BD1A-88C678FCF71D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631756$6D819A46-D029-4B86-BC69-1D90E3477651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631756$5F6AED38-6EEB-432B-8E38-D84ACA86CE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631756$DB146F00-9948-48E1-9BCA-A29BA12C1361","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b70db93c0498e049757fc20f452bb31891882df","datavalue":{"value":"5865585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631756$0776D99F-7D5C-411B-8B04-60094C1CF5C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6945a219886acf273899692df184d0a728d65a6","datavalue":{"value":"computability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q631756$C9D89023-562F-4C38-9422-A121806D5895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q631756$33F70E29-8DAA-4D4D-B22F-83F4B8BC81D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2230c91cdf64c16a27a5d2b9a7dc5a5864e0831a","datavalue":{"value":"interactive computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q631756$54074966-D1E4-4611-9A77-EDA44EF58A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b40814bfb9713b6ffb18947b83d0cc7e4a5dde41","datavalue":{"value":"constructive logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q631756$B18E4CD9-F416-4525-ACEB-9A9AC737C9C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"025552cc9143e19ec34fb6c34a59c522114625d9","datavalue":{"value":"resource logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q631756$D797DD8A-37CA-400A-9C5C-E8FF20DDD263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q631756$83FAEC63-BF42-4F73-A655-4909C3EA3472","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":"Q631756$03051B5B-0A2D-40FD-81B0-E917801346CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f95adc4ee9e005ee95fd7832eae0e9f053277966","datavalue":{"value":"W2000183812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631756$8BFA97DA-609A-42D3-BDE2-158F7DD59263","rank":"normal"}],"P223":[{"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":"Q631756$C0BC148E-87A7-4396-BBAD-E91EBFD90C81","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":"Q631756$5300353F-865D-45E7-B92C-84A5D778CF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39c7e8394e4b9685fcdbe819e19be7a3da091cb5","datavalue":{"value":{"entity-type":"item","numeric-id":5707890,"id":"Q5707890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631756$98B175C1-069A-4992-957F-31755A06C136","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":"Q631756$71FD05BD-05E7-487C-B7D9-50CDCED82074","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":"Q631756$9204A5B8-D4AC-44EA-BA20-FC1FD2E817D9","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":"Q631756$1C35B6A7-1C81-405C-9870-0D9B3D046663","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":"Q631756$5ED49DBC-0AED-45DD-8775-A1E69AF0D6ED","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":"Q631756$681B7B71-952D-4897-994A-CBC18EDC4685","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":"Q631756$8F6C0821-D205-450E-BE35-59A6EA5CA115","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":"Q631756$8AD5E355-1E8C-43DF-A486-32E3496FC99F","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":"Q631756$F9240E0C-B1EC-4852-8793-75DDC2509058","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":"Q631756$4B223510-4B55-4DEB-8F2D-7BE4ECEA31FE","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":"Q631756$1F92DC34-36A3-4500-AE87-90CEE7F44304","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":"Q631756$242C0BD3-E51A-4AEE-8F0D-5E9EDC8E5223","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":"Q631756$15D8A7F9-2918-4739-81A2-FBDE67DA47D1","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":"Q631756$565FC51B-F133-415F-A807-A01567F5584C","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":"Q631756$CE17B019-9B88-4AB7-A1E1-A33AE00E40B1","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":"Q631756$F91A4306-46CD-4E67-9437-BD89C28E6F49","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":"Q631756$78D5EBFD-C8FE-4FDB-87CB-89E1E0FE9D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d86ee685d6e66e56b7080716620958264333c1c","datavalue":{"value":{"entity-type":"item","numeric-id":980944,"id":"Q980944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631756$4E7D9424-0597-4FF4-967E-F346173D06AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"25dddbc0417dc6c4f83d6dc2e01d38c21b349611","datavalue":{"value":"10.1016/J.TCS.2010.11.037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631756$E86F902F-21AC-4062-8A14-522ABBF4389E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e6c0cca1b2f49f1a64451e25d002411392ae33a","datavalue":{"value":{"entity-type":"item","numeric-id":2434574,"id":"Q2434574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d77e1bd7f637d75a1dadc38da6e59e8bf9b0cd5","datavalue":{"value":{"amount":"+0.91077197","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":"Q631756$17970634-0364-4A0E-8298-6AA5757868BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4154cd91e98b8c24d9a08a75f3aa2811c96e18b","datavalue":{"value":{"entity-type":"item","numeric-id":999265,"id":"Q999265"},"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":"Q631756$472B9D53-C8FC-4E65-BF3F-ABBCAEFB8BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33e8d32a7aae4e1fd923ad6cb3ef74c0244fefd1","datavalue":{"value":{"entity-type":"item","numeric-id":4896502,"id":"Q4896502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e47ae9f426c4623050a5a0f66757eadabdcc3ec7","datavalue":{"value":{"amount":"+0.8600473","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":"Q631756$3B734359-B3CF-4FEF-933F-85912ACBA3BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35f231a10f23c8d140b77ec7412d896510ef4a1e","datavalue":{"value":{"entity-type":"item","numeric-id":3348889,"id":"Q3348889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6ea40499d4db6b3b67e37705c4f270ede800467","datavalue":{"value":{"amount":"+0.8538111","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":"Q631756$6F29A251-6785-4A63-8240-81686CF97905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b383d4292feb341f35edadf2839fb785e7141d83","datavalue":{"value":{"entity-type":"item","numeric-id":5958286,"id":"Q5958286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8005401efcd73ee377a81deb9f575fc814e7772","datavalue":{"value":{"amount":"+0.85284436","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":"Q631756$FAD3DBA6-D62E-4977-8548-0E531D68FCF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f119cdbf09d15dc675cd7752bd26d9ac1de79267","datavalue":{"value":{"entity-type":"item","numeric-id":1174337,"id":"Q1174337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24e0a20c5fa50b9701f8b40f67f28e8ad1ce9460","datavalue":{"value":{"amount":"+0.852419","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":"Q631756$36A53D9C-F4EB-4F83-8480-EADF28287A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a256567501ac2eb6a7ede02e6becffafe9839463","datavalue":{"value":{"entity-type":"item","numeric-id":5448306,"id":"Q5448306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02aba7b025ce46349ad9049bb471446a801a0263","datavalue":{"value":{"amount":"+0.8520133","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":"Q631756$25431D68-861F-4224-AD37-C6E3F7D736D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23278f81be9ed85c87ed155cedaa6c56c3628724","datavalue":{"value":{"entity-type":"item","numeric-id":4347145,"id":"Q4347145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58d90c4baa31e497cf4033738cceb700a0e3900e","datavalue":{"value":{"amount":"+0.84893644","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":"Q631756$57D67D25-6B17-458B-B9DD-75EA696B6AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"172aa55d79bc40628a6e5b6fd6df83c40c6cd5f7","datavalue":{"value":{"entity-type":"item","numeric-id":5740660,"id":"Q5740660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c871a809657c0bc03995a2dd0c68a2841265871d","datavalue":{"value":{"amount":"+0.8465924","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":"Q631756$CFC42F1B-D9DE-48D2-BFDF-A25FDE2C4899","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Toggling operators in computability logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Toggling_operators_in_computability_logic"}}}}}