{"entities":{"Q4925031":{"pageid":6954613,"ns":120,"title":"Item:Q4925031","lastrevid":41817693,"modified":"2025-05-08T16:57:55Z","type":"item","id":"Q4925031","labels":{"en":{"language":"en","value":"Ticket Entailment is decidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6173954"}},"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":"Q4925031$E47A2430-41B1-420D-9F4D-2D4F1950C845","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aac772a3e3282cb99554b61237d58bb843a75905","datavalue":{"value":{"text":"Ticket Entailment is decidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4925031$A1014334-2306-440B-86E2-9E339328F832","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ffda30575acf62cfa2b41593b99b1c962a3600a4","datavalue":{"value":"1280.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925031$7CD26F93-373F-49C3-9458-9819DC82944D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0710c34443b59a30f3f1e74d740a5beaac5910f3","datavalue":{"value":"10.1017/S0960129512000412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925031$4068C7C7-A32B-4C1F-8FC5-D036424787F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7029e649153b4e379eb6726e107b4ef04884e346","datavalue":{"value":{"entity-type":"item","numeric-id":2778833,"id":"Q2778833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4925031$98597577-04E8-4B67-87AD-631BDC224355","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4925031$1B684CB0-8113-4EA1-995F-C58A88625945","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f1333f5ea32121d60563094ddcc091f8ab3e533","datavalue":{"value":{"time":"+2013-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4925031$CE8C3298-48CD-4B0B-AC3B-64E64997EA4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925031$0EBA5EA7-85DF-4DC5-B7FF-C3FAE762C2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925031$0946A1EF-DD0A-41C2-889D-A9FAB581102B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925031$814E6F4C-F4CE-4324-8F5C-108D7BC70D6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9db6f377419f416007b332a4ef8a3904470f4ba2","datavalue":{"value":"6173954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925031$207DE0BF-2E54-41F5-B8F9-D712D80EEBBA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4925031$39A488A3-9AE8-4708-8410-28AF0F79A7DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a07e9ccc4fd2519d30e169317b5238d1e309418c","datavalue":{"value":"\\(T_{\\to}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4925031$84B79103-86B3-4D59-AAD7-A70745A7DEA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2206e7239eaa8848cb9bbe6ed47254ccc2214abc","datavalue":{"value":"ticket entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4925031$7FE0B784-FE94-4F3E-87C1-4FFAC0CA4CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"080a56779f971931fe63527da545a0765fbe0227","datavalue":{"value":"\\(\\mathrm{BB}^\\prime\\mathrm{IW}\\) logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4925031$DFFA4C00-B9DB-48AF-8E4B-46DA8F54C2DA","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":"Q4925031$ED1C0A3F-EA70-441C-AFFC-0E0ADE3CA96A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"896cfb45acd17dcc31034b40c65850aebbd3514c","datavalue":{"value":{"entity-type":"item","numeric-id":596035,"id":"Q596035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4925031$0AC6D926-D08C-4A58-84AA-97704BA4AFFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7ead1e4f94069786fed45265128c037a402757c","datavalue":{"value":{"entity-type":"item","numeric-id":1349878,"id":"Q1349878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4925031$4E611668-0535-44D9-8ABB-25EA5F11C225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4925031$A34A02A0-5282-492E-9C10-432261B038FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842b56d1e792f42e670c8d166b3e57b0abea925c","datavalue":{"value":{"entity-type":"item","numeric-id":3703869,"id":"Q3703869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4925031$F98A88AB-C2A1-4654-A5E1-79E3E1A01573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c2fbea673f26662d71cd92284ddfb47328cf19c","datavalue":{"value":{"entity-type":"item","numeric-id":1346635,"id":"Q1346635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4925031$EC827C0C-7C8C-46ED-92C3-75355CF148A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c57448c3511c30ed92e5fbbbe68c6f2b95237a20","datavalue":{"value":{"entity-type":"item","numeric-id":2554710,"id":"Q2554710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4925031$D5DA9279-B224-4942-A9AC-B7C3E27800E4","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":"Q4925031$B8FB9192-B54E-45DD-96AB-988560BEDE9C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f079e500ad2a88b86824f115db10279b82e9f4f","datavalue":{"value":"https://doi.org/10.1017/s0960129512000412","type":"string"},"datatype":"url"},"type":"statement","id":"Q4925031$4AEBB4A8-1846-4777-9D2E-9D9E4F1C315A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"24dbadfd753bd1120e16ab6c34fcda4275634f29","datavalue":{"value":"W2060988679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925031$DC696C20-5478-4051-B326-B969CD8B8B63","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":"8dc7aaaef13e2c0e8dd61966bebbbe65efed7f74","datavalue":{"value":{"amount":"+0.87727714","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4925031$4DB5D74C-4E38-492D-A7A1-F00BDEC9B4A6","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":"bdda7cbcff2444d16079e38080882a8b65005214","datavalue":{"value":{"amount":"+0.82807696","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4925031$3AE358C9-B174-4E55-914C-80DABFC06A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63e28d352456a8ee60143b26c3ef216b04dee8f3","datavalue":{"value":{"entity-type":"item","numeric-id":2903766,"id":"Q2903766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e6a713056384d7bd75fc72ceafacc938c0b01a6","datavalue":{"value":{"amount":"+0.7784855","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4925031$83977721-CFA6-40EE-B076-73A0EBA939DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"700bab287b148debdf93f79f7befe86b2dd5cf45","datavalue":{"value":{"entity-type":"item","numeric-id":4000240,"id":"Q4000240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5acfbd7532007f049d9d7ff4667061e1007ee44","datavalue":{"value":{"amount":"+0.749049","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4925031$3E0793B0-0411-4BC7-9C6A-FB7B3AAA1CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4b9c51466f86d8072c90f3f2dd86db0dca6db2f","datavalue":{"value":{"entity-type":"item","numeric-id":5407040,"id":"Q5407040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbe6fea5043036973d722676d4cd719af85e2f4f","datavalue":{"value":{"amount":"+0.74557495","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4925031$52F48739-F3FF-4E57-BCE1-578E4783D0AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c9de2772f00a94c197b269c17ac9185e08b768b","datavalue":{"value":{"entity-type":"item","numeric-id":4635841,"id":"Q4635841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0178fa9db138fd8af693c5464aa4f694343485a","datavalue":{"value":{"amount":"+0.7401449","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4925031$2B740688-3D9B-4A29-B1AB-6018D3AE5C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81cab152b1da83dc7beb2bcba51fff532689348d","datavalue":{"value":{"entity-type":"item","numeric-id":3690795,"id":"Q3690795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d9e6ec1c27f66f10425c3d86423c3a555de2e03","datavalue":{"value":{"amount":"+0.7383485","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4925031$52A442F1-27E8-4356-BB5B-C13776A85A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64576152b04f189201b362cbd6fbaba024d8a1cf","datavalue":{"value":{"entity-type":"item","numeric-id":4202932,"id":"Q4202932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37d94532cf8390757242efd3dacb8a4226867976","datavalue":{"value":{"amount":"+0.7381109","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4925031$B87DA668-8061-44C4-BE30-96611C74C862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4a10a811d54b394540726160ab89e8107e1069c","datavalue":{"value":{"entity-type":"item","numeric-id":4834484,"id":"Q4834484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d16e4b4c63c7f89291ae71a941dddfc254f2eeff","datavalue":{"value":{"amount":"+0.7379878","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4925031$B6BFA0F2-3BDD-4A0E-B3C7-3FD01F8A8B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c75fc48aa54c04015fd9ff4c733cad83bff1c51d","datavalue":{"value":{"entity-type":"item","numeric-id":5389281,"id":"Q5389281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"572fc0828fb764c98b2fdf1b974321a8e24c2879","datavalue":{"value":{"amount":"+0.7365836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4925031$B9C5500D-4CC2-4D8E-80A2-E5AD99DB81B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4925031","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4925031"}}}}}