{"entities":{"Q1694477":{"pageid":1705218,"ns":120,"title":"Item:Q1694477","lastrevid":68244744,"modified":"2026-04-12T22:24:27Z","type":"item","id":"Q1694477","labels":{"en":{"language":"en","value":"Issues in machine-checking the decidability of implicational ticket entailment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6833566"}},"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":"Q1694477$F0A4BE3A-0ACE-4977-87E3-331EFE9B9D52","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ef1256dd3cac8b5a2d48940841b373fabdc4778","datavalue":{"value":{"text":"Issues in machine-checking the decidability of implicational ticket entailment","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1694477$6DE18556-6DC2-420B-9977-3EE792FBE2E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7af8500a3337daf5d13749dba94e778664a5dd5","datavalue":{"value":"1496.68373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694477$CE511FEA-1CF4-4574-B7F5-F5A33EFB0713","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b237b6cc29f5ad5cee1fc701771dad566f5b1ada","datavalue":{"value":"10.1007/978-3-319-66902-1_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694477$6430A87B-5164-4B7B-8DD3-96BE47191734","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2459dc77e279bbc9b5ed625e678e226c3ba4ea28","datavalue":{"value":{"entity-type":"item","numeric-id":1051649,"id":"Q1051649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694477$43B70012-1C7A-46ED-8442-DD0B123B4B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9764b5e3183836adae29ba3fef393bcd0832967e","datavalue":{"value":{"entity-type":"item","numeric-id":229747,"id":"Q229747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694477$F6BD595D-ED79-4629-9ECD-F7C62CBDE2D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3340cc79e75714646430612898cfc312969e0dd0","datavalue":{"value":{"time":"+2018-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1694477$B7F17F53-0C0E-49F2-A9BC-92221771B3CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694477$CF6A99F3-16FA-4FF7-956C-6728A25B80A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694477$92E11BBA-1E94-4BDD-BCA7-A2EAE398828C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694477$F5087CE3-1EB7-4149-9A6F-1F4D4C475164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694477$83E3A77D-6308-4C4B-856E-030F31DD6823","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af124d68b6872b22c27378e6a0c9fe86acce4d18","datavalue":{"value":"6833566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694477$4312E5A0-E0AD-44A7-8643-72E099A43C32","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694477$B0BC0CCD-1233-4C8C-9247-8252BB8D9C17","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":"Q1694477$F36E39E6-7060-488D-AA21-D7F441767DCC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d7548b05e7e1f44ee7d1fa1d78e5a2f0e8594957","datavalue":{"value":"https://doi.org/10.1007/978-3-319-66902-1_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q1694477$6B0D2671-2E36-424B-93C8-7729D36A32F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"314067d5ebde952b338f28befdd7424576cf874f","datavalue":{"value":"W2752354736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694477$C4289F10-0103-40CC-A6C5-6A39AEA23EB3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b10a625021a0858b8f886bb18497e17fe079acec","datavalue":{"value":{"entity-type":"item","numeric-id":4916555,"id":"Q4916555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7dfd3eed6ee069dc92c109917f859c0f1520a38","datavalue":{"value":{"amount":"+0.8835859894752502","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":"Q1694477$BF9EF627-3401-49B0-92DB-C0CE4A729D35","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":"c7e9255c2ba3573287dec40cb504138639138167","datavalue":{"value":{"amount":"+0.8650028109550476","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":"Q1694477$041F2037-8E7D-41FE-AFBB-9943448EB1E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4954f4e6fe319fe52737b636a1ae458661f42d6a","datavalue":{"value":{"entity-type":"item","numeric-id":4644541,"id":"Q4644541"},"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":"Q1694477$A721F907-583D-4EC8-A6D4-7D2DD01583A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3584056569ddda2ae157e968f9bdebbfa575fb9e","datavalue":{"value":{"entity-type":"item","numeric-id":5916291,"id":"Q5916291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53953574b3b522bfb23c5f26daeca2368c5b27fe","datavalue":{"value":{"amount":"+0.8154199719429016","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":"Q1694477$A15C34E0-7CC7-467A-9736-4AC31168113C","rank":"normal"},{"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":"03bd7ca8d371f254f2533ada0d98ec69e8339b38","datavalue":{"value":{"amount":"+0.7573973536491394","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":"Q1694477$9F81800A-DEEB-48D9-88F7-CB48F6DC0721","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Issues in machine-checking the decidability of implicational ticket entailment","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Issues_in_machine-checking_the_decidability_of_implicational_ticket_entailment"}}}}}