{"entities":{"Q3003318":{"pageid":3014042,"ns":120,"title":"Item:Q3003318","lastrevid":85694360,"modified":"2026-06-03T11:11:04Z","type":"item","id":"Q3003318","labels":{"en":{"language":"en","value":"From formulas to cirquents in computability logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5900070"}},"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":"Q3003318$0E308CDD-8BA0-42D0-BF33-72B63D28EF20","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e61f7cfa2514a79bee5c4c1b31989702b306424b","datavalue":{"value":{"text":"From formulas to cirquents in computability logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3003318$564065C7-6EF0-411A-B86D-12749D8753A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f8c0fc322abc5bf14a857a281b926aa22b0c9b90","datavalue":{"value":"1218.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003318$F4E69C37-460D-44DD-BF86-804C13C07828","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a6a88cc14a1b2e5529cc758833239f7db59638be","datavalue":{"value":"10.2168/LMCS-7(2:1)2011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003318$81D00F8D-C5B4-4C05-9241-DB2484605935","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":"Q3003318$A0A105EC-329C-4ECB-99DC-C5E9745EB1C0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003318$CCBA7C02-DD63-4F9C-B4B5-56FFA606C625","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0d41ce3332fcf97fd23ad798d4a05a02b8284bd","datavalue":{"value":{"time":"+2011-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3003318$998FD89F-8C63-4282-9A29-B88A517876B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e3be43a3eec4d7b15d01c0ed8d43afacc75cda7","datavalue":{"value":"https://arxiv.org/abs/0906.2154","type":"string"},"datatype":"url"},"type":"statement","id":"Q3003318$1735827C-4214-4A22-AB32-2B6881A46008","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003318$8B54744C-24C6-4932-8A28-9978AE2F0E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003318$7F028A39-495F-4FE0-ADEE-8ECA15D4EDE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003318$11B1B51A-2C8E-4D5C-A589-205DBA4310B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003318$7108FD58-D882-4FAF-9198-6E56F040C5A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003318$BBE0137A-0A2A-4BD7-8C0B-C7123535BE40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003318$D07F8413-E150-4254-B97D-3DD2685A0FB1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f67624a05802affe0b2d2f319322bd08e165966","datavalue":{"value":"5900070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003318$56685C7D-421D-40BF-9908-D46F6F32E518","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6945a219886acf273899692df184d0a728d65a6","datavalue":{"value":"computability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003318$D9EDF79F-2802-4098-BD79-F7BAB0B9F7FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cee05a39062540ad129fa624250d67d9923c085","datavalue":{"value":"abstract resource semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003318$9AE995B9-E27D-4F52-86A8-1032DD97B039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76d797a0d444b524a5821fa450f69440856dfae0","datavalue":{"value":"independence-friendly logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003318$C3B6E6ED-2269-497D-AC8F-85FDBEAF52D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003318$031AAB9E-F0D7-4F9C-8BFE-AA3351F3DC41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2230c91cdf64c16a27a5d2b9a7dc5a5864e0831a","datavalue":{"value":"interactive computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003318$A9ABAE3D-1C55-48BD-8BC4-07898F5F189F","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":"Q3003318$13EAA00F-8B09-4B66-A214-0A238A86CA93","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33ea99126823de99fb38383061bf9814224181f6","datavalue":{"value":{"entity-type":"item","numeric-id":5124221,"id":"Q5124221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb35cf26582a234aab11a4ff24c1172a813c67b0","datavalue":{"value":{"amount":"+0.8438035249710083","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":"Q3003318$920F29F6-62FC-4833-A5C8-93580D0E80DA","rank":"normal"},{"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":"d4caeb60b5f11d3affcdab06f138605e7c5870ac","datavalue":{"value":{"amount":"+0.8311761021614075","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":"Q3003318$F55B2629-47E5-4578-99D5-3447467AAD5C","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":"c12aa445be9dfe341ddb3be6c1b20e36637ee9b1","datavalue":{"value":{"amount":"+0.8251168131828308","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":"Q3003318$4CCCD9F1-955A-488E-B1A0-3FE1B2A25FEB","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":"d014d9a2a38a6e36058aaaec2cfc088e5f0747fe","datavalue":{"value":{"amount":"+0.8228895664215088","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":"Q3003318$2B8A0E00-0C3E-4766-A8D9-82C943935E20","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":"d01812fe5db71a2fe888d53f9e7f6028bb2e751f","datavalue":{"value":{"amount":"+0.8175306916236877","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":"Q3003318$1A61DC29-E312-41DA-9F1F-F3DDFF85EFB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"From formulas to cirquents in computability logic","badges":[]}}}}}