{"entities":{"Q3145140":{"pageid":3155856,"ns":120,"title":"Item:Q3145140","lastrevid":51613451,"modified":"2026-01-19T02:00:54Z","type":"item","id":"Q3145140","labels":{"en":{"language":"en","value":"Deduction theorem for symmetric cirquent calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6115784"}},"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":"Q3145140$327BB70C-FA67-486E-8579-164F4F32569F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7947c5bcd700f9290f07985420b87dea78eb2231","datavalue":{"value":{"text":"Deduction Theorem for Symmetric Cirquent Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3145140$9A154F26-D992-4338-BC53-A4F026284B2A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68ea598277e265732726dc3815d48535e12d7c6e","datavalue":{"value":"1253.03062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145140$326093BE-71E6-4BEE-A611-92D4FFCFD6E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"313062d4991d3a5b5169542562f075e268347500","datavalue":{"value":"10.1007/978-3-642-15660-1_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145140$7B188AA6-5CFF-4B82-AED8-30CAF8AB1ED6","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":"Q3145140$C3D70AFD-7D4A-448F-B7C1-7CAABDF6B43F","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":"Q3145140$0642A7E0-C6AF-405B-99FE-4A0815AF4391","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"609de319429a9bd9b710c0a04efedb34dc78d2b8","datavalue":{"value":{"entity-type":"item","numeric-id":3145131,"id":"Q3145131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3145140$605F93F7-D264-492B-9C7F-3C1C99529449","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f583d52df719f7ed80ff686ff7bde8b44b053c64","datavalue":{"value":{"time":"+2012-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3145140$1798F87A-6D3D-48E0-8A5E-EEAB6D4BCAE8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145140$1C3079AA-2234-405F-A7C6-486DCA0FD704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145140$30E7E2D4-9892-4787-831A-51DD46BB07F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c59e10a0b4fb91bd14485054f8df4ea66d01d78","datavalue":{"value":"6115784","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145140$2DA5CAE7-FC5B-4CDF-921A-E92FEC82D4D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145140$02A53023-010E-42D9-9A93-BFACEE275F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0915d380f27dbd8ffbd6d4f4683b34590343a924","datavalue":{"value":"cirquent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145140$CE6943CD-F29A-4049-987D-26EA2E583DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"886cd48ede84d1e4cded9add13d9fd87244a71f6","datavalue":{"value":"deduction theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145140$77855F6F-386B-4680-8BDC-52929F6DC081","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":"Q3145140$BA15D0FE-81F0-4F00-904E-955F2D0377B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d4250b3aa31e8a1fabf53ba042535bd1943a95da","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15660-1_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3145140$8732D349-FB56-4A85-A144-7F4EC4258074","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91d3c28eddef3837e8bc60462d97852c623745bd","datavalue":{"value":"W2269631276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145140$D11CA9C8-BFC3-4801-90A4-7FEC74B07141","rank":"normal"}],"P1643":[{"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":"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":"Q3145140$A834756B-9B74-4ED8-BA78-AE2C078C3C14","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":"9d8dea30e67c38777abc7a09b255866d142e9ed9","datavalue":{"value":{"amount":"+0.7805097699165344","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":"Q3145140$05ABD0FA-1EFE-4564-930F-9E28F69F0B1C","rank":"normal"},{"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":"28bfbdaff004f59030a79800f2b62cf24f0f69f8","datavalue":{"value":{"amount":"+0.768149197101593","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":"Q3145140$3EBF5308-F859-409C-A3F0-99E8F7ED4B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3277c8ea12e0e2357a237e523ad0923b1c27beb","datavalue":{"value":{"entity-type":"item","numeric-id":5014061,"id":"Q5014061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2372712f480ba36e9dbae820db222c941992368","datavalue":{"value":{"amount":"+0.7611258625984192","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":"Q3145140$58253810-DA47-4909-9D85-5BA47B653930","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":"0c50028a6ccab39ef4315892d197d568de14d354","datavalue":{"value":{"amount":"+0.745911717414856","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":"Q3145140$D5471EDF-6100-4F89-A693-A1CC27DDAFC8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3145140","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3145140"}}}}}