{"entities":{"Q2903763":{"pageid":2914488,"ns":120,"title":"Item:Q2903763","lastrevid":58050585,"modified":"2026-04-03T14:51:40Z","type":"item","id":"Q2903763","labels":{"en":{"language":"en","value":"Soundness and completeness of the cirquent calculus system CL6 for computability logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6062919"}},"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":"Q2903763$27EA5CD4-99A5-422B-AAFE-6ACDF946F7E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b54fc3da71f6b97beefe7100b254a9b712b22821","datavalue":{"value":"1258.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903763$0B0AD33B-7DAA-47BB-9DFD-71697C2EF796","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da123e10b2a154aac4947d52ae4dfe92d4d3f4ff","datavalue":{"value":{"entity-type":"item","numeric-id":301367,"id":"Q301367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903763$F0A4471F-27C7-4CA8-BFF9-7852208A2F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e4ef0bc8d8db6d1e7a09e0c8d276c50660ffe58","datavalue":{"value":{"entity-type":"item","numeric-id":319185,"id":"Q319185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903763$AC4266F9-9553-4FC8-9948-86C910F28A18","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"88fc52f7ff11d7876f7a1b3a0d8899b7968b0a9a","datavalue":{"value":{"time":"+2012-08-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2903763$EED0641C-8C3C-4C15-A20D-87C8CF174D47","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01997f97ae33557745063056ab8f293f6f070009","datavalue":{"value":"https://arxiv.org/abs/1106.2272","type":"string"},"datatype":"url"},"type":"statement","id":"Q2903763$163C235B-E8F4-491F-B210-6E7D6B9BA89E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903763$74B2B4A7-D091-4819-A376-A956328F2FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903763$5BF9412E-F983-4B52-A789-E2FEF030B009","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d71b6eaab06065fd3c30debd8c10e372f71da54c","datavalue":{"value":"6062919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903763$F6E7CE3B-38D6-4AC9-9AD9-38BDD7D106DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0915d380f27dbd8ffbd6d4f4683b34590343a924","datavalue":{"value":"cirquent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2903763$ED2E50E0-E82D-4606-B92C-707A82FACF0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6945a219886acf273899692df184d0a728d65a6","datavalue":{"value":"computability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2903763$01825F9B-9F22-491F-8FDA-82AB27E2FACB","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":"Q2903763$8084ABE8-6D5B-4CC1-A9B4-A1E0FB39C46E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"49c3a337b53a503e4820e9af21a23b34d06f4d04","datavalue":{"value":"W2071793875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903763$671F94D3-44F7-47A5-8693-7D67611CBD00","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf07d827dfa00a936ab073a135e9bbc48fe88ffe","datavalue":{"value":"10.1093/JIGPAL/JZR043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903763$07E45E7B-7F87-4C3C-B8F9-970C50CCEDD3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903763$8A0938FD-35E2-4B36-90F2-59845B13B4AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b6ee434103eeeaefeb77f61e5b36ca73f649e43c","datavalue":{"value":{"text":"Soundness and completeness of the cirquent calculus system CL6 for computability logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2903763$2078E522-9EA9-482A-9A98-CBCD3B478C13","rank":"normal"}],"P1643":[{"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":"032fa7018ac30fb1239702bffce6977a27f002e6","datavalue":{"value":{"amount":"+0.8178467154502869","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":"Q2903763$0FA73ED6-7376-49DD-A866-538FBF57B678","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":"73dfcde6ea8f2e0ed03b023a917d6e56d7063d02","datavalue":{"value":{"amount":"+0.815494179725647","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":"Q2903763$E76918A3-9373-47CD-9C22-DD740EC0919A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e55d565c36b1aa090a1ceb9853afcbd184969aaa","datavalue":{"value":{"entity-type":"item","numeric-id":1935368,"id":"Q1935368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5f8ec6d18b3a2ece2b2b4003b7a093f49547ea0","datavalue":{"value":{"amount":"+0.8144648671150208","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":"Q2903763$F6425D1F-18D1-4737-B669-BB888533A7D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65c6458e15270b0da70832c907cfa88dbcf2df23","datavalue":{"value":{"entity-type":"item","numeric-id":1935369,"id":"Q1935369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eef1c211ac3073a504a9256b05fb3fd2d87a65e","datavalue":{"value":{"amount":"+0.8090613484382629","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":"Q2903763$AB49581B-D96E-4167-81FE-695F63549270","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":"4b579ad20e53880ae677c1a58c220205e6d5345f","datavalue":{"value":{"amount":"+0.7974560260772705","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":"Q2903763$08B6D9D6-6714-43CB-B9BD-556BC50BBA59","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2903763","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2903763"}}}}}