{"entities":{"Q4645229":{"pageid":6674810,"ns":120,"title":"Item:Q4645229","lastrevid":53315708,"modified":"2026-01-24T17:25:39Z","type":"item","id":"Q4645229","labels":{"en":{"language":"en","value":"Incremental theory reasoning methods for semantic tableaux"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6999515"}},"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":"Q4645229$349C8739-42E1-4C4B-B7E0-12EBDEE260BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8c68a5100cf5d136d225ac00125ce057403f07d","datavalue":{"value":{"text":"Incremental theory reasoning methods for semantic tableaux","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4645229$2CED4DB8-8B79-4F37-9CDE-A42CE846CA44","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6fa80c92c244531a3b16486e73d47bd028246225","datavalue":{"value":"1412.68208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645229$4A7F45A0-B50C-4459-A740-F06E5F4F3D79","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aca274aaf4a7f7fa52e001ecdf2605059f70b26f","datavalue":{"value":"10.1007/3-540-61208-4_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645229$63A15B01-9323-4D94-8DC8-EEEFEF565D56","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"573cc3758191477e0c4b208110ac7ed93fa98f2b","datavalue":{"value":{"entity-type":"item","numeric-id":229746,"id":"Q229746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645229$4A4C1793-5B8B-44CA-809D-899E89331FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15eb66f6c7426c1673ecda4dcaa048b2fc1b5d4c","datavalue":{"value":{"entity-type":"item","numeric-id":4364516,"id":"Q4364516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645229$1A1EFF74-6603-4F27-B310-48C5993D8508","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"260f361c96cfc64e7204fcdf9876515bb18cb191","datavalue":{"value":{"entity-type":"item","numeric-id":4645221,"id":"Q4645221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645229$1D725BA8-19F3-473E-8FF4-26944542EF95","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"412b474a973c0dfa7488c61fc45fdeec318e212e","datavalue":{"value":{"time":"+2019-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4645229$2C988F20-2B7F-409C-956B-E571006831C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"999218ab62860c9fc6dfd1f5bce2bf57f53f2bad","datavalue":{"value":"https://publikationen.bibliothek.kit.edu/21696/1953","type":"string"},"datatype":"url"},"type":"statement","id":"Q4645229$DC623836-1E59-4D40-8CC6-180F015F4F1E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645229$8910E9B3-8D90-46AF-8C21-2685580F39DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645229$7804C4DC-15B4-4476-9DA8-E99D63C7F811","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5edc52c409ce92dd4b29e820747bdb507c9cd7b5","datavalue":{"value":"6999515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645229$43BFF315-C999-40DC-9AEC-55FBB66D66A3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c7ae9697ba460da5b1ef21e479b4fde31e616ec3","datavalue":{"value":{"entity-type":"item","numeric-id":33351,"id":"Q33351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645229$64DE964C-2B33-4160-A30C-A01FD109F0D5","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":"Q4645229$C84ABDBA-46C0-48AA-8FBB-7056A032EAAD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c142de0c9ec006bfbfebe27614d455376bee1186","datavalue":{"value":"W1482455082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645229$E664738F-2BB3-404C-BAE0-D8C94EA87D5C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"673aa9e5ad6e36794517311b1f934f38da0d39c5","datavalue":{"value":{"entity-type":"item","numeric-id":4261066,"id":"Q4261066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645229$66C6888B-77DD-4D0F-A583-3E0B5F042DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c8ad2bfadd858fb13762c674e08625e20ae137b","datavalue":{"value":{"entity-type":"item","numeric-id":1923821,"id":"Q1923821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645229$C6E14838-370B-4C58-9C27-E3CF0286A36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee9461a009d0db348802cd3409cfae7c2097cb2b","datavalue":{"value":{"entity-type":"item","numeric-id":5210805,"id":"Q5210805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645229$8C87E3DA-3D47-484A-BA3B-DF22E5ECBF66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29abb5a7232f6e8dd451e3b515a2566e5399de3c","datavalue":{"value":{"entity-type":"item","numeric-id":4282596,"id":"Q4282596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645229$17D1FD28-2820-4B4F-9F1E-F3FB54D260AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbb4aa8dad638334a86cbf0de6c1439e4250b0ce","datavalue":{"value":{"entity-type":"item","numeric-id":4692618,"id":"Q4692618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645229$BFD265E2-2003-4713-9C78-CDE7AB9453C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4883090fee4a18fce37441e60e7576f14bdf3e01","datavalue":{"value":{"entity-type":"item","numeric-id":671659,"id":"Q671659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645229$1C7AB481-BA07-49A9-8CC0-140C5D485FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd8d1dd5d31c59ca258af36242eec281a44b582","datavalue":{"value":{"entity-type":"item","numeric-id":3996619,"id":"Q3996619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645229$433C10E6-56FD-4E40-98ED-5F8F281D88A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"920941013986d0fe98de8d648b55f604839d6693","datavalue":{"value":{"entity-type":"item","numeric-id":4302815,"id":"Q4302815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645229$2C465D4B-1DE9-41D8-89A5-2142EFC4A372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8918b138e0301b7fb7013f51e3914c9e9e6a4da4","datavalue":{"value":{"entity-type":"item","numeric-id":1344882,"id":"Q1344882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645229$02FD4200-0E61-4409-ADD6-E66E85914DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645229$F7D7BFC6-7748-4A46-8D02-3FE9C74D0CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8586c92c4d90a06cb521bef03111f958a597fe2e","datavalue":{"value":{"entity-type":"item","numeric-id":5574714,"id":"Q5574714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645229$1546F722-0AF9-460C-A6FD-C3536F1DDFDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04bc46285c285bd5587f7f8b9ae32dc8b1cab95a","datavalue":{"value":{"entity-type":"item","numeric-id":1824412,"id":"Q1824412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645229$154D73A5-99BA-48D2-97C6-17EA8C310A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5587664e371fa7cdb52e3b1329f22cf9fcff022","datavalue":{"value":{"entity-type":"item","numeric-id":1101242,"id":"Q1101242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645229$D2DF256F-50C8-44CA-A799-79E5A6D2473E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"706cc222fa67f66326f86f3b8c17503c8fb9eaad","datavalue":{"value":{"entity-type":"item","numeric-id":4013363,"id":"Q4013363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645229$4A7C321A-CB17-47D0-922B-7A38B70E244E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645229$1A94BF94-0823-4BFD-AFA6-0728EE49A732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27ee3b057142576093bd9e66364057980fafc0e4","datavalue":{"value":{"entity-type":"item","numeric-id":1821564,"id":"Q1821564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645229$1E975F33-B12E-47A5-B8A1-46F6922EB4E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1d683ef670cfe0396ca25a3659cc0c6554128d7","datavalue":{"value":{"entity-type":"item","numeric-id":4539640,"id":"Q4539640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12a05d9443b3bda3f88d5c310e87efb31271722a","datavalue":{"value":{"amount":"+0.7568854689598083","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":"Q4645229$DA28F65E-02DC-4FF2-9888-01484050CD10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5ce90bd2d44803e5180e8c05e6d1df2a4e47c22","datavalue":{"value":{"entity-type":"item","numeric-id":1276499,"id":"Q1276499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0af90e5013d7c2ceb08118c0361a26997454979","datavalue":{"value":{"amount":"+0.7482530474662781","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":"Q4645229$F8E486B3-0074-4616-8839-B78A3122ABAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4b831efe4762ed863b6b406fbe78b5f5efccbf5","datavalue":{"value":{"entity-type":"item","numeric-id":4524782,"id":"Q4524782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0af90e5013d7c2ceb08118c0361a26997454979","datavalue":{"value":{"amount":"+0.7482530474662781","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":"Q4645229$C6EF9D58-C503-4224-BD4A-BFD9B70AE09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cb74a5f6fdd855d40fe5e7ba266ae46750d60ff","datavalue":{"value":{"entity-type":"item","numeric-id":4524787,"id":"Q4524787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bbcea3950819f1c12ed22f55db97763c965e556","datavalue":{"value":{"amount":"+0.7265264391899109","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":"Q4645229$950A20B7-BDFF-48A5-A9E4-3DEFCAC760C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"060de0ddd0b0ab988fb6156915a646e42e8f6dc7","datavalue":{"value":{"entity-type":"item","numeric-id":2785839,"id":"Q2785839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e69dd8db3d4e74a28c53082a823bbf199fcef9c1","datavalue":{"value":{"amount":"+0.7263596653938293","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":"Q4645229$9EFE610A-8998-406C-A5F6-24D47DF6A4A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4645229","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4645229"}}}}}