{"entities":{"Q3192206":{"pageid":3202914,"ns":120,"title":"Item:Q3192206","lastrevid":80114609,"modified":"2026-05-06T15:28:26Z","type":"item","id":"Q3192206","labels":{"en":{"language":"en","value":"A Tool That Incrementally Approximates Finite Satisfiability in Full Interval Temporal Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6348249"}},"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":"Q3192206$614C8F53-A013-4FC6-90CA-D292CAABDD5E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"374f8c9a45a690ef9c552af540e7d8bc83a15f87","datavalue":{"value":{"text":"A Tool That Incrementally Approximates Finite Satisfiability in Full Interval Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3192206$64AF3040-BF07-4EB9-B18D-4ECC69F9B8F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"007f471c01991421df09d6d0408ae46065a29a7d","datavalue":{"value":"1423.68414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192206$A89BAD55-59DE-4453-BFC3-193B314E7202","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"abafd923ef90cc366f0cf4b4cf6166210b1583ae","datavalue":{"value":"10.1007/978-3-319-08587-6_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192206$F414B8AD-A15F-4B24-9B37-C5375EEEDE67","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d5826cb46f670122cdc676198f817f684799cc9","datavalue":{"value":{"entity-type":"item","numeric-id":453534,"id":"Q453534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192206$1777A6CD-CDBE-413A-B213-7367E9E39E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e9395c4897e056d54eaef255c0b18eeb46bea27","datavalue":{"value":{"entity-type":"item","numeric-id":386036,"id":"Q386036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192206$40E5531C-6FCE-4B96-B595-EF00E73CA500","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192206$7CF64DEB-5E0D-42AD-B1C1-066D8AC3C548","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a6fb9003a97bbc70eb568e233ee4457edf484fd","datavalue":{"value":{"time":"+2014-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3192206$EC263EC1-7AC1-4B23-A3A2-02BB67508DA6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192206$72046A71-BF8E-4493-BAC6-0430CC0FE235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192206$6B54F82C-AFBE-426A-84FC-137727B41CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192206$4251CA2D-8845-4BDB-82B1-138E52C492DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9e2346c04855ba36beb997462f718b42c9f308c","datavalue":{"value":"6348249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192206$F68327F7-6C54-4BE1-8C1C-1ABAFE8B6BFF","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":"Q3192206$4E6AA25F-D837-4B73-B61C-A5DE6696B3F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"52aed5453ee1ac33d3957b589f5f36e84fcc7c2a","datavalue":{"value":"https://doi.org/10.1007/978-3-319-08587-6_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q3192206$D137D526-DC26-4D54-81DF-FDA6F92E40DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4136ee3d4da74934d12ce25295918128387f8873","datavalue":{"value":"W218401682","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192206$0EA89170-7B91-42A9-A043-83CEA5C7BC3E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09f56e378cd126375a4faed1f9d35cfaa84e354b","datavalue":{"value":{"entity-type":"item","numeric-id":262137,"id":"Q262137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"051a0f856eb169429f1018c44baa24b5321b0209","datavalue":{"value":{"amount":"+0.89521605","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":"Q3192206$21431CD4-7618-44FF-8E28-53E161A13CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3132f90c5a119a85bad77bf7eba17d9c57f2c839","datavalue":{"value":{"entity-type":"item","numeric-id":5027249,"id":"Q5027249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2f3af0943e50ce30069ca81257ee9517e5bada7","datavalue":{"value":{"amount":"+0.88032293","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":"Q3192206$3DCC5C32-69CE-4F6B-84A1-B60DD4749AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"193b6443352a3258f81fe7b2e5abf39f12aa60c8","datavalue":{"value":{"entity-type":"item","numeric-id":2845506,"id":"Q2845506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"611003853659d88413d266b82b8a4b2d5f2888c3","datavalue":{"value":{"amount":"+0.8777791","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":"Q3192206$CE21B3D6-B979-449D-A1A7-AFD0169709A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f79b961b1a1675c5a06cfd2f985529c498373f06","datavalue":{"value":{"entity-type":"item","numeric-id":2849595,"id":"Q2849595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a91da3524e0965ab9527bd75f32517e3a2a2d64d","datavalue":{"value":{"amount":"+0.8763596","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":"Q3192206$9D4E169D-28C4-46D1-85A4-EEB7EC770A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a132954b69803bda0e029f18cbec27ba1ef0151","datavalue":{"value":{"entity-type":"item","numeric-id":5357708,"id":"Q5357708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29a1d428e6efc1bd5586bd9ad16503ac830df8ff","datavalue":{"value":{"amount":"+0.8721204","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":"Q3192206$9C5D141E-289A-4FAA-ACC6-6B1B49DF3813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"731be2cd5e0f4dffbe8162759806a9938a17d73d","datavalue":{"value":{"entity-type":"item","numeric-id":4963143,"id":"Q4963143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1d8d3b16c631eda71ddb8552e4b8fa6a5995a62","datavalue":{"value":{"amount":"+0.8698243","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":"Q3192206$E9E755C4-10D1-411A-A74D-DD3D6182421D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9f6506b5cba90ba8a4797108162420ca2ce966d","datavalue":{"value":{"entity-type":"item","numeric-id":3172851,"id":"Q3172851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bed22c9cd84e9974b2ad9998456a79ad3475271","datavalue":{"value":{"amount":"+0.8682618","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":"Q3192206$336106A8-4209-42CF-9610-72523B9253DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7228c6c1dc10080f27991a9c3d9afdd6f3d9871","datavalue":{"value":{"entity-type":"item","numeric-id":5111184,"id":"Q5111184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c95438c5c50a2dc581a43493ddf151745bb8f49","datavalue":{"value":{"amount":"+0.8672979","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":"Q3192206$CF9325E1-8151-4954-8816-D581FAD1601D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0efa17ce764cedf22884c09901cabe9430db29c5","datavalue":{"value":{"entity-type":"item","numeric-id":2754146,"id":"Q2754146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc723ef8f0294cbd4cfddb3d4d3765edf4fed451","datavalue":{"value":{"amount":"+0.86329836","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":"Q3192206$4FA71EE0-BBBE-458E-B56F-038D2987A265","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Tool That Incrementally Approximates Finite Satisfiability in Full Interval Temporal Logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Tool_That_Incrementally_Approximates_Finite_Satisfiability_in_Full_Interval_Temporal_Logic"}}}}}