{"entities":{"Q6661240":{"pageid":14272397,"ns":120,"title":"Item:Q6661240","lastrevid":96050507,"modified":"2026-06-05T10:18:29Z","type":"item","id":"Q6661240","labels":{"en":{"language":"en","value":"A propositional cirquent calculus for computability logic."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7965525"}},"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":"Q6661240$096F04E2-36BD-4310-A988-961BD887A190","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"92cc664c5d623ee54bf44b1b910317a8bb61c7cd","datavalue":{"value":{"text":"A propositional cirquent calculus for computability logic.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6661240$82343F54-B9CC-4DF1-8DD1-593AAB64D39A","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":"Q6661240$113A4AED-7E3B-4824-AC1D-4205523D2468","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661240$47947081-B317-4B23-A5C8-E862AE9A9D60","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f056a8af4460fa19ed4a426ef391be1015492c54","datavalue":{"value":{"time":"+2025-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6661240$9D038F51-2149-4BD3-95F3-5CE079465805","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6661240$B40DBEA9-6997-447D-8AAA-FDC96CEB1B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6661240$EDE8174B-B5CB-42ED-A55C-B636A33DEC79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6661240$DFC38453-C71F-4347-AD1D-95FB5E46B14E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6661240$A5DBC540-E0A0-42F2-B18F-622110B12056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6661240$37BF04F9-9C87-44F1-8BA0-40227FB0C589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6661240$D314B805-0D46-4626-8597-5AFCAE26ADC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6661240$22039109-A201-4FAD-8663-2D7439049D27","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9de644d5061f4a02511d91312514b2339ed4a82","datavalue":{"value":"7965525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6661240$78FBE128-E69C-443E-BA43-9BA3CAEBBD65","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6661240$C398C994-506B-49E9-890B-0CE75DD0CC70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0915d380f27dbd8ffbd6d4f4683b34590343a924","datavalue":{"value":"cirquent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6661240$2353E59F-4FAF-42B4-98B5-3DC91CD6452D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4724c5a9ecdf408bc3c9c1ca8a8a3fc19f7dafbf","datavalue":{"value":"resource semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6661240$226C40D7-67D2-4F0A-9748-EA0D02BA21FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"223100e53e73fed8e253ee46e8a2984deaf67b5b","datavalue":{"value":"deep inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q6661240$9980ACFB-4192-466E-84D3-E3F4007D0F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6945a219886acf273899692df184d0a728d65a6","datavalue":{"value":"computability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6661240$63841FAA-996C-4A29-B5F2-1B65249D2ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9c4e650abc856b5f51d0b5123c5930fad01c53f","datavalue":{"value":"clustering","type":"string"},"datatype":"string"},"type":"statement","id":"Q6661240$9188214B-5EF2-4E84-A648-DFAFF2AB98A8","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":"Q6661240$AC7651D3-EA17-443E-93C8-F7360F0256E8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"01112245eaf2e24943c8eb6d237671281939c29c","datavalue":{"value":{"entity-type":"item","numeric-id":3781069,"id":"Q3781069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661240$3EE4A2C6-E3C2-48DE-AB31-2935080EE774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b449a915cc424c1a97567ec5abab79953b71e8e1","datavalue":{"value":{"entity-type":"item","numeric-id":5410328,"id":"Q5410328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661240$47BA1DC4-BA51-416D-AA89-337BEB15392D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02ddc8a5ac97bcd2e5943203e2c9d864ab0304a7","datavalue":{"value":{"entity-type":"item","numeric-id":5246717,"id":"Q5246717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661240$5E1667CF-60CA-4111-9804-1A3FE89B0D91","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":"Q6661240$7B7A795F-D697-4004-ABAD-E8362D42E6E3","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":"Q6661240$286359FD-A516-441C-9A65-5ACDC4860949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c5c3580c9d30ad06ffdbc3efa06e3324c57f8e3","datavalue":{"value":{"entity-type":"item","numeric-id":2996175,"id":"Q2996175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661240$AC4616D1-F5AC-4493-843B-9EEDAA724B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b8d4724fac31c84be8dfe751236a3355fca52b0","datavalue":{"value":{"entity-type":"item","numeric-id":2946572,"id":"Q2946572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661240$A598E0E1-E212-485D-9300-E32393D58B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52e38a3ca97ed0099e3ead495fc54b44ca719bd2","datavalue":{"value":{"entity-type":"item","numeric-id":2974793,"id":"Q2974793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661240$A992B5E5-D06E-4C31-80AA-6094C147B054","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":"Q6661240$12642080-B98E-4A2D-B71E-622F0E2736F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fe802cd8809baf377abe6a55d7cfe19465c65ab","datavalue":{"value":{"entity-type":"item","numeric-id":4783301,"id":"Q4783301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661240$31E225FE-48CB-4979-9046-A42C95E59E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ea5efcdf6f489fd488433ed1016608e720ae6fb","datavalue":{"value":{"entity-type":"item","numeric-id":5666510,"id":"Q5666510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661240$578BAE09-3D85-4F8A-8112-D512105B37EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b147dc0d95316396d16edf0810bd1ad37614ad09","datavalue":{"value":{"entity-type":"item","numeric-id":4331781,"id":"Q4331781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661240$B514F248-8D6B-45B8-B3CA-0AF24A2DD145","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":"Q6661240$1838C0AD-FBCA-4AF6-8186-B6D96735F8B9","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":"Q6661240$0F4ED72E-4CC3-4E55-9DA2-BAFF1EB939EF","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":"Q6661240$A608E5BF-22C2-4CA2-9B12-BA4029AFD908","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":"Q6661240$0846D846-95C1-454E-90C3-991830B9D376","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":"Q6661240$5750A5E9-A6D3-430D-945E-42032FFFD8A7","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":"Q6661240$F99C40D6-C4A1-400D-A435-4CA2E5FF375B","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":"Q6661240$93722951-DC90-4BC3-8B7C-B14F338151FC","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":"Q6661240$F726134C-70BC-489B-AB89-2B6C34707DCF","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":"Q6661240$1CCC2F14-2124-4E22-8A1A-57111303C3F2","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":"Q6661240$4784BF5D-C48B-4FC6-92C4-3380CCE36064","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":"Q6661240$0A03F9EA-88D3-4578-BFB2-0B90B2A1D387","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":"Q6661240$10135D7D-D19B-4489-BCEB-E5E8A1D4F207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86fef59974ba573d0e545d6c9cfab5cd51b9b8b1","datavalue":{"value":{"entity-type":"item","numeric-id":631756,"id":"Q631756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661240$593B437C-5B3E-4E64-B1B3-52B2FD535C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbe5bfe0ff83a60b6b0fbb7c948a519e1fa4194d","datavalue":{"value":{"entity-type":"item","numeric-id":3003318,"id":"Q3003318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661240$E6A51ABA-EE4F-4284-BF98-6FFC449DE762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4608ef7819774af724196f1f5e47e30e23926f51","datavalue":{"value":{"entity-type":"item","numeric-id":409329,"id":"Q409329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661240$A75D6D9F-4D98-4009-85AE-C11A5EF5DC60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"285c7c19998bf5c2f6d0df9de210ae44ff236c01","datavalue":{"value":{"entity-type":"item","numeric-id":2893325,"id":"Q2893325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661240$36399DA6-C3ED-43FA-B149-0983CED0BC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1df9598caa70624eee524bf15ca6f9277cd942","datavalue":{"value":{"entity-type":"item","numeric-id":1935369,"id":"Q1935369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661240$FD652111-30DD-4D80-8EC2-40AA2B06E536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd4dabfc716bd9417f10ac4046ac0a754e2190f9","datavalue":{"value":{"entity-type":"item","numeric-id":1935368,"id":"Q1935368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661240$307AE150-C9DE-4445-ACF0-C75A7602C534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64ab7e85a4c0ac63bad9197a138f1c673acb1f43","datavalue":{"value":{"entity-type":"item","numeric-id":2941766,"id":"Q2941766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661240$D9799AF4-6664-456E-8E6A-4F6A1E897E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddd47d283ecf5ac0229331a21706548a9b18d990","datavalue":{"value":{"entity-type":"item","numeric-id":5869526,"id":"Q5869526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661240$34F73A03-5ED5-4088-B848-DC4EE442D7CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5f19437f52720f4db601a170cde535221e05d64","datavalue":{"value":{"entity-type":"item","numeric-id":5014061,"id":"Q5014061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661240$332B962F-FA99-45C2-BEF1-F485902E0216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8971729c3b5e14da3fe5c78279d04a153e0a8f86","datavalue":{"value":{"entity-type":"item","numeric-id":5883184,"id":"Q5883184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661240$E70F081E-3235-4C27-84F7-507708FF8937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c376af624bcb2d3496d6c0f64f786c7cafb401","datavalue":{"value":{"entity-type":"item","numeric-id":5726697,"id":"Q5726697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661240$0A9C97BB-F5E9-429B-893A-BBF3217C30A3","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":"Q6661240$02D96F3F-A9B4-4741-AC22-DA49AA1DBFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4cfac78948b8177a08e8f6006c7d6bd70db4fda","datavalue":{"value":{"entity-type":"item","numeric-id":2434574,"id":"Q2434574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661240$8D585038-EAA6-424D-9C7B-D1131128BB59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ec96cacaeebb208711446ab39d4c51961a119b","datavalue":{"value":{"entity-type":"item","numeric-id":2903763,"id":"Q2903763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661240$FDD7C725-371E-4797-897E-43C6E5B7AA89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"316dcbdac27a1eeff3c1a861bf54411ccaab9317","datavalue":{"value":{"entity-type":"item","numeric-id":1948283,"id":"Q1948283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661240$5B8981D5-F347-411C-9376-E93857B587C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"104b25047bd12ff6dfe288cd35343d0f404a8381","datavalue":{"value":{"entity-type":"item","numeric-id":1934954,"id":"Q1934954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661240$988F5AA3-D246-4288-BCB4-F737FD800165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f0f56a50eab0764f8bea149b5f079b5776f922b","datavalue":{"value":{"entity-type":"item","numeric-id":4644501,"id":"Q4644501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661240$40C6A43A-B6DE-4D2E-9389-B96458AB11CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34f8f3da2c1b5d4dc299a3e400d8c3206f3e2f05","datavalue":{"value":{"entity-type":"item","numeric-id":301368,"id":"Q301368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661240$B5AF61D3-A217-472F-8FF9-E14DFE240802","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9617c1c51f1807e17efc63a1706ca7277e643a27","datavalue":{"value":"10.1007/S10849-024-09423-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6661240$9EE49D1D-3A68-4C08-9F05-7C1F2E0F12B4","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661240$F396DF6C-1FC7-4208-9718-499C0AC40DAC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A propositional cirquent calculus for computability logic.","badges":[]}}}}}