{"entities":{"Q3374097":{"pageid":3384801,"ns":120,"title":"Item:Q3374097","lastrevid":46088797,"modified":"2025-12-22T18:17:53Z","type":"item","id":"Q3374097","labels":{"en":{"language":"en","value":"Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5010477"}},"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":"Q3374097$84542A92-6021-4D67-AFB9-3384007BCB45","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f3e148b18fe2ee79afd50a0103f1a233130d14f","datavalue":{"value":{"text":"Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3374097$62D35602-294B-4846-928B-9E220134364F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c469e370332356dab84526c7c9e49284d47f2575","datavalue":{"value":"1091.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3374097$267970C4-B0B1-4C90-86E2-9026690CE111","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e48254e7cca8b756082b12a9577d73a3c911d8a0","datavalue":{"value":{"time":"+2006-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3374097$8A892FB9-285A-41E8-A09F-82CFF768FA2E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3374097$5A330AB9-3496-4470-9CAC-E90FEF9BF8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3374097$A3F22D72-40D5-42A7-B7BE-65707C32455A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a320e7893d441f3dd21f77d461a0e0e113898ed2","datavalue":{"value":"5010477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3374097$0C08B571-C9CD-4F6A-9B48-C79A19BC2F67","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3374097$CB0C3EDC-73F5-4ED6-81E3-346C22A0CE4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e22bb7984603b39d066247461741507e1db9830","datavalue":{"value":"logical consequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3374097$B51A5B6A-54E1-4B68-92EA-6A83E1D62EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3374097$C2F97798-2037-4291-9101-686FA371CA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6135ceafed3292f6b66e098192375f7d5b754046","datavalue":{"value":"inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3374097$67E7CC0D-CB2D-40E1-B891-AC98E3859999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2763194ced955d6cd36b33fa49826d497b7528c","datavalue":{"value":"consecutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3374097$9DAFF5BA-3A47-452E-82F3-D56405AF6847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"203383f5640e2b7ae9ac255db7b9410f9f3dc7ba","datavalue":{"value":"admissible rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3374097$4911278A-16EA-4C7C-B55B-E926B9B1DCB0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96cc32b5114aed13d4cd109fe7265b4e5c590084","datavalue":{"value":{"entity-type":"item","numeric-id":1669761,"id":"Q1669761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3374097$D7829B3D-8979-42C4-A384-3E000FE0B790","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":"Q3374097$85489064-69A6-4612-AAB0-C0B76EFCED91","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"84c74e68963e8368909c69597ef91b5d694a60cf","datavalue":{"value":"https://doi.org/10.1093/logcom/exi025","type":"string"},"datatype":"url"},"type":"statement","id":"Q3374097$69431165-791D-4543-94FC-1AFFC932A49F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a59bc9388b16d78706deb4e5d63de1ad1a293afe","datavalue":{"value":"W2035351521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3374097$B9A4AC57-121B-4AA5-BBA1-8163FEE38AE1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fdc13a61ce4701953f476ddb71345f844f596b8e","datavalue":{"value":"10.1093/LOGCOM/EXI025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3374097$1A1418D4-2B05-42F4-B567-2E033B44D564","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"848b47eed6b7d43f5eb1ce13c9ebe8ee7714ea8a","datavalue":{"value":{"entity-type":"item","numeric-id":5486245,"id":"Q5486245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77d637fcbd9f2272941f40e36d41191c70a44e07","datavalue":{"value":{"amount":"+0.94111276","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":"Q3374097$A0597E19-9558-45FF-8E39-98139D67E554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e4d5046b08b94c0812c13542cbc27d33151858","datavalue":{"value":{"entity-type":"item","numeric-id":3434497,"id":"Q3434497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1750371c323fda4623e6959e74f5ea30bcb465b","datavalue":{"value":{"amount":"+0.91585684","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":"Q3374097$D19B7D69-A2C4-4C47-8301-F6546E8BEDCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f2fd32e463d03137b21bb2fe383e1943074793b","datavalue":{"value":{"entity-type":"item","numeric-id":2147173,"id":"Q2147173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"941039aaece131cc94e25781a6a14fe8e76ff777","datavalue":{"value":{"amount":"+0.9120972","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":"Q3374097$ECA11457-A92E-4122-B186-93FB7759E720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"742b854804231499caff7ada142ac7f59991ae27","datavalue":{"value":{"entity-type":"item","numeric-id":5216145,"id":"Q5216145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb8b4143fe741a799740a4da88ad3bdcb7469341","datavalue":{"value":{"amount":"+0.9119009","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":"Q3374097$F530DE04-8330-478F-BA92-7234CE9B7C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eddb68e5eff965b5af68d0f1ec4f79da0d3750ba","datavalue":{"value":{"entity-type":"item","numeric-id":3457215,"id":"Q3457215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cae97663db57b6281bfd1b1fbd3963b0ba6b5d0","datavalue":{"value":{"amount":"+0.9099113","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":"Q3374097$193226D9-8E98-4172-BADD-DB23468B6F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddf790c5aa95c76d26d7acc9f26e6ffae30b44e2","datavalue":{"value":{"entity-type":"item","numeric-id":947268,"id":"Q947268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a861b0c11f8207bc80f9acd044f9b068c61b43bc","datavalue":{"value":{"amount":"+0.90478635","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":"Q3374097$02693C55-B2B9-4A19-A93C-F9074BF127BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"475b5f71dbb72501f3fe68d217908240784d7d6d","datavalue":{"value":{"entity-type":"item","numeric-id":2321249,"id":"Q2321249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1405348b699ae54c9268b2014a6a2ff58cf511d","datavalue":{"value":{"amount":"+0.90252054","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":"Q3374097$D9426386-46F0-4DE6-9DA4-D2D91907BC23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9b0381463c53bb66c44f66246b8460a24fa8439","datavalue":{"value":{"entity-type":"item","numeric-id":5411415,"id":"Q5411415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3106211f3114c904463b7d8830c5794d7eed2c6e","datavalue":{"value":{"amount":"+0.9021111","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":"Q3374097$E8348548-BF49-40A8-AA92-353AA6AA3B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6568dda7eb6cd72f0d20c8ddf174a77ba230712","datavalue":{"value":{"entity-type":"item","numeric-id":5445173,"id":"Q5445173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b901c123f74a265e31a23c3f6dee4434a76a5e77","datavalue":{"value":{"amount":"+0.900859","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":"Q3374097$44C78091-D8F0-4141-8CAB-DAE40931B5BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4df07cdeb834ec5f510a143d6dcf63ddc08e0fb1","datavalue":{"value":{"entity-type":"item","numeric-id":4904145,"id":"Q4904145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5bd8e0ba3b9f0f9bd28bf8cc1622d4675bc19d5","datavalue":{"value":{"amount":"+0.8995465","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":"Q3374097$02F9A2A3-CB9C-4A63-833D-F8AC3261647E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3374097$AA402B6D-5D75-4004-9BB6-8F3EC79BB352","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3374097","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3374097"}}}}}