{"entities":{"Q4916555":{"pageid":6946136,"ns":120,"title":"Item:Q4916555","lastrevid":51700238,"modified":"2026-01-19T13:38:28Z","type":"item","id":"Q4916555","labels":{"en":{"language":"en","value":"On the decidability of implicational ticket entailment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6156712"}},"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":"Q4916555$6B22A6AC-F136-4D41-85EF-1825265ED1BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a73b08de442b078a54387f3173ac1e6973c70a34","datavalue":{"value":{"text":"On the decidability of implicational ticket entailment","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4916555$A7DCF594-EC1F-4830-B7F3-E85B9363E563","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"04cdad86bdbf40c2f7ce2c70584f3103756c17e2","datavalue":{"value":"1275.03159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916555$1D8540E6-12FB-4FCE-B9B5-47F1901A22F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66f84fbf84627872ee8e4f09b27f58a25c3028cd","datavalue":{"value":{"entity-type":"item","numeric-id":266640,"id":"Q266640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916555$953D9ED2-67C2-482D-B9A2-96FC6C322805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f2c9310ba4403f502f62bb76aa7c520204441b8","datavalue":{"value":{"entity-type":"item","numeric-id":358689,"id":"Q358689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916555$E03E684D-5F67-40AE-8760-F02DEBEBD81D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb99f3d60bcebf100e17c9d7a1740ddda353a41b","datavalue":{"value":{"time":"+2013-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4916555$0D26054B-4261-4913-AA98-EB8F5280101F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a74f63f494a2a7e43a4ea701ef5fa9766034bc06","datavalue":{"value":"https://projecteuclid.org/euclid.jsl/1358951110","type":"string"},"datatype":"url"},"type":"statement","id":"Q4916555$73461CBD-89D6-4F4A-94DF-9F0CC50F8A70","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916555$90EBEF94-7FE0-44A6-82A2-ABFA71770D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916555$EFB30C1A-CCB9-43D5-AFCD-141C48630685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916555$65055423-2D03-4431-B064-9BD4347EB9D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916555$E5F38111-908C-43D2-A9AE-143C0DB23B1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1604966867bc0e400b22f992be752396b6439f1","datavalue":{"value":"6156712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916555$E07205D3-AB7D-491C-B7A9-0C523FC02B88","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916555$14F82D44-C1A0-4B72-9192-F9FCB32EED6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2206e7239eaa8848cb9bbe6ed47254ccc2214abc","datavalue":{"value":"ticket entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916555$76B82B32-FB1A-42CF-8E9C-6E427BB625E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97e9b68a25bf7c4fb71d43d64a9dc83ae32b951","datavalue":{"value":"relevance logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916555$9F773FDA-A3DB-4F9A-A9D8-801BD98FC53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab61a660e3c107d5b0b038d146ae6485465c9743","datavalue":{"value":"non-associativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916555$068F4824-037C-41AD-A8FF-5A0841AC3038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916555$472AC90B-6896-473B-8A83-26D6B2659DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"557bf828aaddd3a7f23cbc63dd45b06654c52430","datavalue":{"value":"Ackermann constants","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916555$23202C1D-1864-4609-841F-70310BF3CB13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cc4dfc2e077486a1e42c6ec207b1be5c15b5400","datavalue":{"value":"admissibility of cut","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916555$446AC510-EE5A-4FC5-8B75-14C1CBA8E5F8","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":"Q4916555$AA488D13-92CD-4D13-9ECC-68BA023B4805","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b541bd28580e46c65d71478b0f41ad180dce5a75","datavalue":{"value":"W2156168582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916555$40F37ECD-EBD1-40B2-8A5E-5D34C665C37D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbba195f59bc845671d8c6b66b30c57697b93115","datavalue":{"value":{"entity-type":"item","numeric-id":2454875,"id":"Q2454875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916555$37074ACF-0351-4686-AC72-41B7C0355F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6a353d318894420c06ffcf14dd2003f555cc6fd","datavalue":{"value":{"entity-type":"item","numeric-id":812102,"id":"Q812102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916555$4AEB214D-6E1D-44CE-889A-41AD853F592E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c570ce1b38a05767623425e9cf1e03e977f7aa5","datavalue":{"value":{"entity-type":"item","numeric-id":817697,"id":"Q817697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916555$0BAFC452-2C6A-4C6C-8462-FA32C7B182BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd502a5ef0129ec6b722b64271c375aa4ecbbff6","datavalue":{"value":{"entity-type":"item","numeric-id":4353718,"id":"Q4353718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916555$573C9703-E94D-47D9-BC3D-4FE34AE773C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ffb46be9e49b237f6fde18c89e459513c877e1","datavalue":{"value":{"entity-type":"item","numeric-id":5547552,"id":"Q5547552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916555$9605C140-32C8-47F3-BBB7-388BFA5E8052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d46e781c294f6bfb98aeb8f9e18dc6c4db01e0ca","datavalue":{"value":{"entity-type":"item","numeric-id":691126,"id":"Q691126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916555$68736542-8DF8-4A6C-864E-64F6EF746335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9546ac0465ceab98ca3d1bb6a0f57668ca458b2a","datavalue":{"value":{"entity-type":"item","numeric-id":3019505,"id":"Q3019505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916555$B6EB2538-A1EA-4C24-B564-707E25603F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5deece4746cfbd39d264663a9cd5de6211ca027a","datavalue":{"value":{"entity-type":"item","numeric-id":1396582,"id":"Q1396582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916555$827BF6F5-53F3-41C6-A2A1-0E6320C2FBD0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"995a88655de4ebc6a6bdb6eba38d8c6be5a540c7","datavalue":{"value":"10.2178/JSL.7801150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916555$7A493D26-24F3-4DDF-A929-CE8E40B08962","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916555$569CFF4C-8E10-4B66-ACB4-CFC9365B6DFB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3762fc33dad403a22d56c5f18a16f5cfe7e3c744","datavalue":{"value":{"entity-type":"item","numeric-id":691126,"id":"Q691126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bdfdad87f2242f49ec1981305f864d7afb40302","datavalue":{"value":{"amount":"+0.8765602707862854","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":"Q4916555$E365B738-69D1-4FCC-9D67-9594BCF74B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22b99fc825103aaeb693f5f9f8f03f9fea47d93d","datavalue":{"value":{"entity-type":"item","numeric-id":4925031,"id":"Q4925031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e3631e5a67889de9b22cde740760dbf81eb5e4e","datavalue":{"value":{"amount":"+0.8497307300567627","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":"Q4916555$ABA64001-B907-4472-96AE-39ED7E664428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d8c44a7ac909c85f8cda057466d5139f4dda388","datavalue":{"value":{"entity-type":"item","numeric-id":1694477,"id":"Q1694477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07ead75c3e5a2591b627520975d03de18f246e1a","datavalue":{"value":{"amount":"+0.8438369035720825","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":"Q4916555$72DE0A5A-9CE9-4129-B6E0-42CE2BB6EB20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eb9083894e6a6ee813cdd8de0842fca44feeed6","datavalue":{"value":{"entity-type":"item","numeric-id":1072541,"id":"Q1072541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a06d96bbcf3422f5374adb065f90e1cd2610d8b","datavalue":{"value":{"amount":"+0.8195153474807739","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":"Q4916555$F3455D85-6858-4472-9AFA-101E1892638B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a1a12c1e0a5a77e2f0e3ee42f30fdeb4e0ae403","datavalue":{"value":{"entity-type":"item","numeric-id":4948542,"id":"Q4948542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8accda58da45ee71801154b962f6499874d8eee","datavalue":{"value":{"amount":"+0.8163435459136963","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":"Q4916555$FCB661B1-3A66-4F26-8027-FED167EB9D78","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4916555","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4916555"}}}}}