{"entities":{"Q5246717":{"pageid":7276285,"ns":120,"title":"Item:Q5246717","lastrevid":58495812,"modified":"2026-04-05T11:34:00Z","type":"item","id":"Q5246717","labels":{"en":{"language":"en","value":"The computational complexity of propositional cirquent calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6428621"}},"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":"Q5246717$065FF33C-E7DC-417D-B43A-23013F352D11","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9c55c661a04a1e71f6276b08a48ba87b5cc1c2b7","datavalue":{"value":{"text":"The Computational Complexity of Propositional Cirquent Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5246717$6F1B3BFD-1DFF-4FA3-8C02-AAE72048F812","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf167b1976b3236e26bc0d94775664ea8f98eeb0","datavalue":{"value":"1328.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246717$A3429F5A-3538-4255-8939-F4569B0895B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f265453eaf3be44b08d5f24e31f4211a9a35f38","datavalue":{"value":"10.2168/LMCS-11(1:12)2015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246717$1310F493-A9B0-4F82-94F1-F56B88FBAC56","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a5469ebdd088d5517c8164672a2646114bfa8cc","datavalue":{"value":{"entity-type":"item","numeric-id":2037998,"id":"Q2037998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5246717$482BC3AB-3E85-4461-BBCE-6E1E56CE1AA7","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":"Q5246717$17F7147A-BE5B-43A6-A683-D91A3D0BC626","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ddb9fa8bd34fdf8ac927b9d1418db509264e54a","datavalue":{"value":{"time":"+2015-04-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":"Q5246717$0769B645-95F7-4078-8E8F-97E81F2A7034","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"61e8443060b629d44577664d79a986e9adab0e40","datavalue":{"value":"https://arxiv.org/abs/1401.1849","type":"string"},"datatype":"url"},"type":"statement","id":"Q5246717$5AF74B88-2175-42D9-9FCE-230513F7E1EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246717$64935381-261D-45D1-8692-16B02DD5E0D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246717$BF5CCB69-AD49-4815-B4B9-171327E7E0DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246717$AD47FFD5-B349-40DE-BEEA-EB857E01FFD7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28cbea71dd13057ffd40671df450ded44320b42b","datavalue":{"value":"6428621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246717$7266795E-88C6-449F-8E7F-D9C8AAA4594A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0915d380f27dbd8ffbd6d4f4683b34590343a924","datavalue":{"value":"cirquent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5246717$7C3EDC6A-B991-4FA6-A410-BF5F8D2BEF24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6945a219886acf273899692df184d0a728d65a6","datavalue":{"value":"computability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5246717$F0AB6933-7003-4096-A3FA-42F2F985F912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4724c5a9ecdf408bc3c9c1ca8a8a3fc19f7dafbf","datavalue":{"value":"resource semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5246717$CA2B572B-C810-4D18-ACDF-DEEB6D032B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5246717$E67FF331-8131-46C5-9964-13E6CB123D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5246717$E5150C3F-C94A-4984-A109-00E519366276","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":"Q5246717$65C9D92E-E51B-4E54-B5DA-A084DA99887D","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":"7ba211146044b805b04cf60110b327abd1ccbda8","datavalue":{"value":{"amount":"+0.8915327191352844","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":"Q5246717$C4C80D2C-AAD9-4E2A-AF72-AA440C4C378B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61182e79d8e2ef00e562e1cb9da395824e3f58e1","datavalue":{"value":{"entity-type":"item","numeric-id":3549318,"id":"Q3549318"},"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":"Q5246717$479629B4-EF59-4FF8-945B-C3C78018D26C","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":"1d07f00ffa2dfa1b8203ee8cfad22c4e80275036","datavalue":{"value":{"amount":"+0.8082196116447449","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":"Q5246717$ABDC21CF-5DD1-42DE-9E5B-80729FC16A1C","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":"ffaa34e64e496cb7cbc00ab67454dc985a57b286","datavalue":{"value":{"amount":"+0.8005379438400269","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":"Q5246717$29CEA720-3977-4182-BC94-BC8952F0A079","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":"f0f7f1a616cb263fa393ad7b98b0143a0d9d061e","datavalue":{"value":{"amount":"+0.7880624532699585","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":"Q5246717$8F28F0F1-06A2-4C14-B0DF-BD01485CBE68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5246717","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5246717"}}}}}