{"entities":{"Q5014061":{"pageid":7043638,"ns":120,"title":"Item:Q5014061","lastrevid":98366432,"modified":"2026-06-05T17:19:58Z","type":"item","id":"Q5014061","labels":{"en":{"language":"en","value":"Elementary-base cirquent calculus. II: Choice quantifiers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7438995"}},"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":"Q5014061$08A43B43-D312-40D5-9F07-E8F21E92D932","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95e22d4257d1d5f999ed6fec4d2cd7caf1201364","datavalue":{"value":{"text":"Elementary-base cirquent calculus II: Choice quantifiers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5014061$382AF6E3-B10A-45BE-ABD9-1EC4F76265DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4bd630b1ba72bd3768e7db19e06008d6252a9da","datavalue":{"value":"1494.03075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014061$09CFBB3F-31E6-4458-AFCB-3843A348C8EC","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":"Q5014061$14236FD9-BAB9-40EA-B2F3-2A8B6565EBBD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014061$4F6F1FC4-1F66-4F98-80C5-02EFE1937110","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7b96a758805bdeb47bb61cb1b2b3e6013568fae","datavalue":{"value":{"time":"+2021-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5014061$BF951046-FDE3-4823-8AFD-83C0C58120C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"455a57606b230a0bf7006c899e96b3f416cb28da","datavalue":{"value":"https://arxiv.org/abs/1902.07123","type":"string"},"datatype":"url"},"type":"statement","id":"Q5014061$60EBBBB4-8FB6-4A21-AF7D-26B07D495A07","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014061$5ED5321E-6C43-4E31-93FD-76A8FA0A85B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014061$5E1FAF08-B7AB-4F89-965C-FF380EE41CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014061$721A9600-2C60-474F-A3E4-4F6E10F66C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014061$D1ADE8FA-7851-4914-92D9-902B1A05FECB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff294d6b5cf17e65770431bb2300ca429aaeb505","datavalue":{"value":"7438995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014061$D5B0D657-B94E-4853-AD00-7CADFC5C8847","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5014061$7EAB7D8A-78BD-4A87-869B-D98752085CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0915d380f27dbd8ffbd6d4f4683b34590343a924","datavalue":{"value":"cirquent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5014061$FB3A254E-F06C-4800-B355-BDACA500CC6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4724c5a9ecdf408bc3c9c1ca8a8a3fc19f7dafbf","datavalue":{"value":"resource semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5014061$96C38621-9CFE-4CC0-9DF4-60EE2F11AE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"223100e53e73fed8e253ee46e8a2984deaf67b5b","datavalue":{"value":"deep inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5014061$D00FA62F-895A-4C5D-8D79-81E9010B9980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6945a219886acf273899692df184d0a728d65a6","datavalue":{"value":"computability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5014061$B1DDF309-C11D-45A7-9F38-05A4D54B64A0","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":"Q5014061$ABE2BA37-472F-46B6-B9D0-AA1057A408B5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7f3f6694d50d4c12bbd825cfb734fd5f5149aff3","datavalue":{"value":"W3042560526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014061$73205EF7-9F32-44F3-A3F5-683C850DAA00","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ace44db3e24705cc9b65b7205a2e2187a9283f4","datavalue":{"value":"10.1093/JIGPAL/JZAA022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014061$E1F29567-89D0-4A25-AD6F-9EF5B575F58F","rank":"normal"}],"P1643":[{"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":"b956c97be321ee37da7efaa9d10fed4cf710da84","datavalue":{"value":{"amount":"+0.9090752601623536","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":"Q5014061$EA50AC4A-F579-4AC7-B6A8-437E9FDC2FD1","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":"357e8658cd2ce0d99ea2ce55e75d487b1217452d","datavalue":{"value":{"amount":"+0.8064736127853394","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":"Q5014061$229C5F5E-55DB-4E56-8A8B-ADAFE083C043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b9fe235383cbcbb3315f6ef221a9afe97add26e","datavalue":{"value":{"entity-type":"item","numeric-id":3003318,"id":"Q3003318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f1ee72e45f5d7272f6cd9839c23d2dcfcbf2a6b","datavalue":{"value":{"amount":"+0.7845714092254639","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":"Q5014061$E42DE8AA-FB18-4F58-8A94-DF503EEF863C","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":"e1187b60342dfc0ca22d72d7eeeba515d56dd59d","datavalue":{"value":{"amount":"+0.7786634564399719","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":"Q5014061$6DD025D4-4D36-4DE5-8BCC-68856C8DDB85","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":"59ed5cb63d5d8e8dab7a0c0a6636dba4ef7cc9fc","datavalue":{"value":{"amount":"+0.777750551700592","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":"Q5014061$2F23BFE1-D0F2-4CCD-A656-7AF5BE09FDC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Elementary-base cirquent calculus. II: Choice quantifiers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Elementary-base_cirquent_calculus._II:_Choice_quantifiers"}}}}}