{"entities":{"Q3549318":{"pageid":5579222,"ns":120,"title":"Item:Q3549318","lastrevid":58201008,"modified":"2026-04-04T05:19:59Z","type":"item","id":"Q3549318","labels":{"en":{"language":"en","value":"Cirquent Calculus Deepened"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5480668"}},"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":"Q3549318$1B2BB7D6-C857-44A6-9408-D5B0C4AC91EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76e7163ced5889d9e21a53d057977ccabd1c64d6","datavalue":{"value":{"text":"Cirquent Calculus Deepened","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3549318$4580E5A8-D579-4901-90F9-920E3D1EB6C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac60fb25eae3b25829f8432415bca942fd6b1375","datavalue":{"value":"1170.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3549318$67D9A25C-BFCE-4BD5-8DB5-8AC14E48F155","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":"Q3549318$FB2027B1-9F17-4771-A490-4A91E8C35B85","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c3bb71ba14b31de2de19854cf4d23d9d201b244","datavalue":{"value":{"time":"+2008-12-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3549318$032D5F5B-33C5-4D7E-BB4E-B6366BAE46A4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c0bf9b910f79c627753f26a19c2ad3c03e5624eb","datavalue":{"value":"https://arxiv.org/abs/0709.1308","type":"string"},"datatype":"url"},"type":"statement","id":"Q3549318$6AE694C7-F20C-4CC2-B751-9C2C99B4EC41","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3549318$77717152-556F-413F-BC3F-F52E3C956118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3549318$4F53C77A-FC8F-43F2-80EC-648F42B09753","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95fe6d75a227343a58e3a70140a88c6d583092a4","datavalue":{"value":"5480668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3549318$66DBDEEA-3780-48E2-B8EF-380C99D73438","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3549318$E2C3D80B-64E5-4D5F-BAF5-C09E199F0A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0915d380f27dbd8ffbd6d4f4683b34590343a924","datavalue":{"value":"cirquent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3549318$20A5A2C1-2169-4B15-B0D3-D3E7739A3A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4724c5a9ecdf408bc3c9c1ca8a8a3fc19f7dafbf","datavalue":{"value":"resource semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3549318$52CC4F53-0047-4135-9CD7-F9C1793924BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"223100e53e73fed8e253ee46e8a2984deaf67b5b","datavalue":{"value":"deep inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q3549318$88258467-B1CD-4D7C-A408-F7CC4DB76912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6945a219886acf273899692df184d0a728d65a6","datavalue":{"value":"computability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3549318$0171B501-D89F-4864-BD4E-4B5A195AF3D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b8e7d033342c99b72c744e65e5d3e8084428c65","datavalue":{"value":"pigeonhole principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q3549318$3743E50A-80EE-40FC-8E81-CD0121C3BCF4","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":"Q3549318$3C39FA73-E8C6-4EB8-B5F6-030C1316B34A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"78a85c66013f585f0df0f6da8a1c0c248786a080","datavalue":{"value":"Q56780729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3549318$88565B48-4909-4280-B4B3-1D073D6B1965","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"153bddadea5b384cea2737bcf49a100a18538b65","datavalue":{"value":"W1589830330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3549318$D586DF9F-5142-4354-9765-166CF69899FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5008d401e317c8c3e961d99b6cbd3851b84100a2","datavalue":{"value":"10.1093/LOGCOM/EXN019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3549318$B367E9EB-8A74-4F75-8D5B-0E11D69DF35C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3549318$369320AD-8A68-4A24-BBB9-F9506C43A85C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e63316f812e588df9d1bc08c33e30afbde48f09","datavalue":{"value":{"entity-type":"item","numeric-id":3412001,"id":"Q3412001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d484e383c53522cc96fb8de692edf7b9e4cda437","datavalue":{"value":{"amount":"+0.8656929731369019","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":"Q3549318$AB013352-4161-4DB6-AA3B-04FF1FC6FB7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ed2ff61afd3ae163968251001b53b9e89beca20","datavalue":{"value":{"entity-type":"item","numeric-id":5246717,"id":"Q5246717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1442a18543c1cfacd0e262d54c346e1ac052234","datavalue":{"value":{"amount":"+0.82666015625","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":"Q3549318$D88A4AE4-2BE6-480F-8E2A-F7327B2D1618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22b871d02f25c12fe1a724952fbebe993b0e2c7d","datavalue":{"value":{"entity-type":"item","numeric-id":301368,"id":"Q301368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"294ef41bb86eeec16fd2715cd0bdbceb0bdb747a","datavalue":{"value":{"amount":"+0.8138009905815125","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":"Q3549318$39F4F4ED-D158-467C-937F-48175997E904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d93d9fd2dd7ad5b1be43a06a8286cb4dae6ffde","datavalue":{"value":{"entity-type":"item","numeric-id":3145140,"id":"Q3145140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7282b2f96a04d4b58180d410518f64c17e4c499e","datavalue":{"value":{"amount":"+0.8036398887634277","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":"Q3549318$E5B5ED8A-535E-4986-89E0-52B1E92C12B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a33ee19ca2904698fcf6009f64fc45be4878bfc1","datavalue":{"value":{"entity-type":"item","numeric-id":5869526,"id":"Q5869526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea34f437def72470091ade63eacdff072142c284","datavalue":{"value":{"amount":"+0.7820127010345459","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":"Q3549318$59B85148-48FF-46C5-A2A8-8612D2066111","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3549318","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3549318"}}}}}