{"entities":{"Q3983935":{"pageid":6013805,"ns":120,"title":"Item:Q3983935","lastrevid":81418538,"modified":"2026-05-06T18:28:36Z","type":"item","id":"Q3983935","labels":{"en":{"language":"en","value":"Reasoning About Objects Using a Tableau Method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 27430"}},"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":"Q3983935$8552C469-202B-4778-9439-6E8DE2E4EC6C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7831343f18f20146d69f8940a7b35c8be4a7c6a0","datavalue":{"value":{"text":"Reasoning About Objects Using a Tableau Method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3983935$A3C6856F-BA30-4795-ABFE-C2FFB746435D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1287d8e7c47add4278749bbc398d8f34659f4888","datavalue":{"value":"0738.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3983935$F9F60B85-0D8C-4EF1-9831-BE0BFD72B4B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9e13be3fb66c0fca9978c696958921ae045487f","datavalue":{"value":{"entity-type":"item","numeric-id":1123185,"id":"Q1123185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3983935$2163B265-B98B-4360-AF46-1CFAF6272DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"285d9750983a099fd09d5b668a563562c82d80f8","datavalue":{"value":{"entity-type":"item","numeric-id":694497,"id":"Q694497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3983935$D2BC768F-2691-48A0-B742-9E1AC7718466","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70844ffc4666eabac4e20376c648613dbe8620f7","datavalue":{"value":{"time":"+1992-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3983935$BC136A7C-4E0D-46EA-B546-C541270674CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3983935$E9C931C9-0697-4936-8228-FA4FC811163D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3983935$8510DAC9-7B8C-4C19-861E-35DE207A146C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3983935$32787767-E1B0-448B-8ABD-88C810D624D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3983935$49DF4D7B-843C-473E-891E-0FDF045D1F5A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1b7ee970afd9378b78f3812f80be5248cd34bde","datavalue":{"value":"27430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3983935$CD8539E6-24C6-4706-8930-0C44517CDC32","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4c6c45dc98b041ffa448dfe9244f6e47f5359a8","datavalue":{"value":"reasoning about objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q3983935$CE9708F1-EA6A-4C1F-A753-04945B6FD0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3983935$5F41CDEC-2623-496C-8BE0-0626B9BB0CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af9c2cc06f22aecbeecf8e7577df85c755c88b4d","datavalue":{"value":"transitional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3983935$F2772122-1146-4246-917A-254DD7B605DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31706c1e4d31518767545879eb8613a19910d732","datavalue":{"value":"conceptual modelling","type":"string"},"datatype":"string"},"type":"statement","id":"Q3983935$3401C3FE-B12D-42E9-9581-44CF83A1F110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3983935$0B077EF6-A3B1-4C51-B531-4A5F29744368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3983935$22A33B4C-2FBE-480F-9ADF-74C5AAF03E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4421b72da5e69352497a79d6545f19cec17c3a4a","datavalue":{"value":"tableau method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3983935$2947E9E1-13F8-42B4-A9EA-913D2329566E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c945813ccc3233b1ae29b5dfb5ff0ad03d15912c","datavalue":{"value":"dependency relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3983935$307F07C5-7150-4079-A206-4727B2654686","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":"Q3983935$D5F06CE9-4A5E-4768-A31B-74B65D53F191","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0419e909bd5685a2c5de10b9771ce158c9eba77","datavalue":{"value":"https://doi.org/10.1093/logcom/1.5.575","type":"string"},"datatype":"url"},"type":"statement","id":"Q3983935$42B8FB90-F93A-4019-A161-F1AB2C00CE3B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d48044af2fbf1176b51cf0b9d5f250b38884e92","datavalue":{"value":"W1990882235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3983935$0AECB99D-499A-4914-9EB8-B80D35F49867","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d3c46fd447f0f88d664ff1fed4261268fd8da33","datavalue":{"value":"10.1093/LOGCOM/1.5.575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3983935$E5E57C23-25B1-4928-9404-46A8A939C74B","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":"Q3983935$F22F546B-C69F-4324-A334-2A6B5074D308","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"951ec3bd43b757c8ed93231cebbbb68bb602a130","datavalue":{"value":{"entity-type":"item","numeric-id":4945790,"id":"Q4945790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25d0cf8bfa5de2edad86ee3ae39deae078182b18","datavalue":{"value":{"amount":"+0.7008082866668701","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":"Q3983935$27E85D5D-CED9-4AD0-A627-DB1678D6BAF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0368b0702b971e0604191018c0c2b53d0d24751","datavalue":{"value":{"entity-type":"item","numeric-id":4849647,"id":"Q4849647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a32904bf7f36fd1a99ef7bff79dbcb2ff638a1c","datavalue":{"value":{"amount":"+0.6725376844406128","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":"Q3983935$56371AF4-E301-4BDF-921B-52A305E7071B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2b1738718707f40e6e123b1965f83e42e250e5c","datavalue":{"value":{"entity-type":"item","numeric-id":4365324,"id":"Q4365324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"931fa16f892a78fbf8337558e9059dfb9937f121","datavalue":{"value":{"amount":"+0.668128252029419","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":"Q3983935$1CC6948A-EE50-4DFB-9399-E0C33F8C6C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc04b104c3a6040412fb6a1d2616d7be37040093","datavalue":{"value":{"entity-type":"item","numeric-id":5955620,"id":"Q5955620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea523c076576d353dff430ec0d425a7341564591","datavalue":{"value":{"amount":"+0.6624059081077576","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":"Q3983935$0D2159B5-F3B5-4318-9C70-23CBB7D9DC27","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reasoning About Objects Using a Tableau Method","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reasoning_About_Objects_Using_a_Tableau_Method"}}}}}