{"entities":{"Q3647240":{"pageid":5677146,"ns":120,"title":"Item:Q3647240","lastrevid":50837540,"modified":"2026-01-15T08:47:32Z","type":"item","id":"Q3647240","labels":{"en":{"language":"en","value":"Relational dual tableaux for interval temporal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5640521"}},"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":"Q3647240$527965AC-C213-4525-BC6A-6E4A61ABE12C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e06a1877c35bb928ab334168799969033367d2c","datavalue":{"value":{"text":"Relational dual tableaux for interval temporal logics \u2605","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3647240$001ECC4F-83AE-47E8-BFDA-39B991C425BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a63a5c4cf5bc16e0f070ba1d099946d9680879d0","datavalue":{"value":"1186.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647240$625492C1-3129-491E-9930-5E6FC8C29D2A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7afe43cfa2c061b3b7d8a7e16151088777e5d4d9","datavalue":{"value":{"entity-type":"item","numeric-id":391102,"id":"Q391102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647240$3B433825-2FBA-4E57-B416-B9659B2912F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd1f466985cf8143741f29cc3aa6e4e8a4f57c99","datavalue":{"value":{"entity-type":"item","numeric-id":284217,"id":"Q284217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647240$7C634478-2D31-4562-AC65-30725E9F64B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f176c57a4367ad5b382cbda8b83dad6c2cfec594","datavalue":{"value":{"entity-type":"item","numeric-id":213236,"id":"Q213236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647240$23A98C2A-6D72-4C6D-AA8E-73C8E9C79C0A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647240$8E3FF4BA-F4AA-4762-9955-4D0054B5C8D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0282e8a69b73ad7ee83a673994f773268a123e65","datavalue":{"value":{"time":"+2009-11-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3647240$5419A1BD-C727-4207-A28E-492A66401E26","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647240$70326F2F-5B8E-4786-A8D4-D397C7033F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647240$775CBAC0-87F7-46BF-9805-798DF61C5840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647240$71A23795-D096-4830-9532-FC44B7FB9E6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7edd80424f471d18c65df75ef1d9200f234457d","datavalue":{"value":"5640521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647240$FE4CEED2-65B6-4650-8725-1A9394B37CB9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"749a916b37df4f158e0dcfd3316e33b1f7ce6f9b","datavalue":{"value":"interval temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647240$BD21A40A-7E1B-4AD5-96A6-335430ABC4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0fc73ccb19478e643df8dc3b7062267ccec9cab","datavalue":{"value":"relational logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647240$51C0F14F-F0C9-40CB-8A71-CF29ED383361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93039d9d7f217bded359ae2d4e140a099ad56d2b","datavalue":{"value":"dual tableau systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647240$FAC76693-4B87-4BD1-83AC-9CE2932883A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc028f491ca3cd6c7521dd6f6f17a35cdad54a6d","datavalue":{"value":"proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647240$A32C56E3-D00A-4793-8A1C-88E1C5A66341","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":"Q3647240$C358B2DC-2073-47A9-9E67-53AC0A238E52","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0054e8997a870630c1e5b182ff59473c5fcf08da","datavalue":{"value":"https://doi.org/10.3166/jancl.16.251-277","type":"string"},"datatype":"url"},"type":"statement","id":"Q3647240$42345B96-DD7E-406D-810F-85F62223BF49","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b9f96375a00b5f73f63dfc5a4445e926f8e89ecb","datavalue":{"value":"W2072986592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647240$C6FF0EF7-1EA5-44A1-B0A4-1862F0A7AB6F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8367121d54df3344ae45fb7bcd26909ca7d18f9","datavalue":{"value":{"entity-type":"item","numeric-id":64672,"id":"Q64672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647240$A09EB1A7-137A-4C35-97D8-174FA4405DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd49db1567d5c7404554c9f73e67949de7b65f92","datavalue":{"value":{"entity-type":"item","numeric-id":4461930,"id":"Q4461930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647240$72CDCB0F-2B79-45C9-B122-75D21A24A26D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32daa9698ef484f10054e06ce45ec892c700fd30","datavalue":{"value":{"entity-type":"item","numeric-id":671639,"id":"Q671639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647240$F4377D23-DAF6-4AB3-80B1-57A85C23FFA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1964ba493d13981f1a2cfc0502ffec06b61ad0b2","datavalue":{"value":{"entity-type":"item","numeric-id":5302024,"id":"Q5302024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647240$80CAEA05-E051-4D4D-8381-1BE0485E8B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc15974ccce84c558484cf7e012ed1673ef50e8d","datavalue":{"value":{"entity-type":"item","numeric-id":4302859,"id":"Q4302859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647240$7833FFBF-EC0F-4C9E-9F52-F3A44FCB8234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37ed030f9f4658726b2e4252748ae39fa9b0ac92","datavalue":{"value":{"entity-type":"item","numeric-id":1850953,"id":"Q1850953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647240$8774A062-452E-4B34-8B0C-66C6A433A6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce3c4e41984a162f03b649ac9b7c6928b5597b87","datavalue":{"value":{"entity-type":"item","numeric-id":3035258,"id":"Q3035258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647240$8C4DF766-0975-4B6E-BA71-EF8E5DD330BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647240$24DFAB2E-3D4F-4B4A-BE5A-314C9DD2F51D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"110095a24948547397b24c708d3b2b91734d5a1a","datavalue":{"value":{"entity-type":"item","numeric-id":2277246,"id":"Q2277246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647240$4FC6C56A-C6E1-41A5-8A64-D538A17972E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6b26b0af57155dcaea044679cb317cf5529a987","datavalue":{"value":{"entity-type":"item","numeric-id":3985545,"id":"Q3985545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647240$F89FA4F4-2A77-43D4-B715-45EA3F385432","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6a7347fdc897510771424672e373fbbc1c0afb8","datavalue":{"value":"10.3166/JANCL.16.251-277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647240$4804E710-57AD-462F-BBFE-D43F7291F61D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b018392c0ce66d828239079ceefc669b9e00bcc2","datavalue":{"value":{"entity-type":"item","numeric-id":5187862,"id":"Q5187862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06fccd12e42a052820dc984aeb7212ab952e3cdc","datavalue":{"value":{"amount":"+0.8228040933609009","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":"Q3647240$AEBDA75A-50BE-4A9A-AF3E-C6E1279D5DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04a0ccf8aed1c673137633994f8b3d3c07e6e633","datavalue":{"value":{"entity-type":"item","numeric-id":2506829,"id":"Q2506829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c72e897b68813e2a89e2432abf175c4fdcc5ba7","datavalue":{"value":{"amount":"+0.8124569654464722","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":"Q3647240$B9D3D91D-17F7-429E-A96E-E3AEEBD5F5F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f97024b0ff0389678d45c9d4f54d724c087cc2c1","datavalue":{"value":{"entity-type":"item","numeric-id":5902189,"id":"Q5902189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"865c50a22fcce5954e95342c1438313fc30efdb5","datavalue":{"value":{"amount":"+0.7999221086502075","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":"Q3647240$C4FB9E3A-A479-4C81-9483-982D2A771921","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":"9a94ce2691ce85eb398c34d5e269feb7bafe2c57","datavalue":{"value":{"amount":"+0.7941339015960693","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":"Q3647240$7BEB1747-4C3D-4DEF-B4E6-DD35E1776ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9018f377fa2e90bdc459499163ec4ce02607840","datavalue":{"value":{"entity-type":"item","numeric-id":5432670,"id":"Q5432670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9a3557d59e8c1023ffd6033c21c7d641931a27d","datavalue":{"value":{"amount":"+0.7849158644676208","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":"Q3647240$4A0E3531-27B4-4DBF-A714-609B273B3314","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3647240","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3647240"}}}}}