{"entities":{"Q1863829":{"pageid":1874571,"ns":120,"title":"Item:Q1863829","lastrevid":73681005,"modified":"2026-04-14T16:53:59Z","type":"item","id":"Q1863829","labels":{"en":{"language":"en","value":"A tableau decision algorithm for modalized \\(\\mathcal A\\mathcal L\\mathcal C\\) with constant domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1880456"}},"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":"Q1863829$1EDAFC6F-F765-4F72-A409-5A96C7592333","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"497c6ebba0656f149bbed16735891e95e121098b","datavalue":{"value":{"text":"A tableau decision algorithm for modalized \\(\\mathcal A\\mathcal L\\mathcal C\\) with constant domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1863829$6DBA1CC2-BAA2-4B24-B248-6F45D6BCB5B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45313f36138b12869a603be86c67ed1c86f92751","datavalue":{"value":"1010.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1863829$E32FF43A-59AF-404A-8A54-9CE6D335F630","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c12385bb953cac78f08d8b855f5181b85d5d9bd0","datavalue":{"value":"10.1023/A:1021308527417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1863829$EC7847AE-4809-481D-8AA4-033D4C73C4FE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22db3ca50466332b07467138807079dd11905aeb","datavalue":{"value":{"entity-type":"item","numeric-id":420807,"id":"Q420807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1863829$D67E1589-5852-4BFB-AA0C-674A8D084554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"25cb264ec82897eba90e88f15318fdb79ce2db8f","datavalue":{"value":{"entity-type":"item","numeric-id":190269,"id":"Q190269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1863829$DB92C5C0-5EAD-43BF-84F5-624838EE624E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76722ee993ef1bba5eff4ce8b9dbe5e1d07862be","datavalue":{"value":{"entity-type":"item","numeric-id":239516,"id":"Q239516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1863829$F9AE0F12-14CD-4B41-AFBA-B419D743E1A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a400f63fb65fdbb9cd5ac7576d054d4b1a7834c","datavalue":{"value":{"entity-type":"item","numeric-id":1181481,"id":"Q1181481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1863829$C1D1DECA-F3EC-49FA-A809-C566538DCF93","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1863829$CD9E2456-D7C6-4FC4-9C06-35515753A6F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"585d8400e4286d8eef8a207a8abbdf1f1910e204","datavalue":{"value":{"time":"+2003-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1863829$CAD34D0D-FD31-4059-B670-611DD61A0338","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1863829$A7E027D1-2141-4B6A-A4F0-39599A0F5C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1863829$8955A515-54A4-4007-8C90-2A6DF7AECC2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1863829$40BF7D17-0A6E-477F-B093-EB172CC88ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1863829$BBF20BC5-6192-472D-8EC8-4FCBFC8B05E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a476cd09d2f906b2b16ba509aeb723f791f33a67","datavalue":{"value":"1880456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1863829$42962605-895F-4D9C-B3A9-01CB4658CDD1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1863829$CA8E57A5-618C-42B2-BFC3-6AC69535E765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ffcd6fd1b69e2ba55e26f146b61c6b3304d32d0","datavalue":{"value":"description logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1863829$E6B5A3A5-FCEA-4B03-BFA5-3439E1645EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q1863829$26B3F1B0-1A83-4570-8CC5-9CB1515A25A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3047869fe2ba0e69894226203a6f867255c65f56","datavalue":{"value":"combining systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1863829$DA31E30B-8A2E-4E9C-8F32-4020B0A16778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1863829$7F104733-5F1A-45D4-9C0F-A7ACFADBC5B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1863829$932AE5FD-1A6E-472F-9C39-32DF10548B04","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":"Q1863829$CB3C8B3E-2F5F-425B-A25B-6583992738BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"29986923f1ecf8acf183f00d6d1a677d88780327","datavalue":{"value":"https://doi.org/10.1023/a:1021308527417","type":"string"},"datatype":"url"},"type":"statement","id":"Q1863829$BB45127F-D6FE-496D-9D1F-169600E157CF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d379c2a0ee6a4a0def9219f690fb7dc2c81aac57","datavalue":{"value":"W1579165893","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1863829$2584979B-25DF-479A-866B-E8193265A422","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cee236544aaf6c0eeeea98c72a83826469950a6a","datavalue":{"value":{"entity-type":"item","numeric-id":4982117,"id":"Q4982117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d716abd672da79654a92de3376279dba50f08f5","datavalue":{"value":{"amount":"+0.8671748638153076","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":"Q1863829$E25519C3-9CC6-4889-9B9A-F75240C87D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c89060419f9d185348dea959a70bccb043bb951","datavalue":{"value":{"entity-type":"item","numeric-id":352965,"id":"Q352965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af59e9daad695449fda2c1aab2f9da5246fdc24c","datavalue":{"value":{"amount":"+0.7975690364837646","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":"Q1863829$3468BC52-79F6-4DAE-9466-5445F9DED40B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6de5ddf460e31d3e88511a4ba078404a9d86c15b","datavalue":{"value":{"entity-type":"item","numeric-id":4539602,"id":"Q4539602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c938ee5fe5457c3adf328c3e1660ba3672fe5dca","datavalue":{"value":{"amount":"+0.7957273721694946","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":"Q1863829$863D38DD-93CF-45E0-A47D-33462BFA9AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"092486bfad5f4dee4bbf0076b9b3b866a69c5e8a","datavalue":{"value":{"entity-type":"item","numeric-id":4779588,"id":"Q4779588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c938ee5fe5457c3adf328c3e1660ba3672fe5dca","datavalue":{"value":{"amount":"+0.7957273721694946","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":"Q1863829$960413EF-337F-43B5-95C0-F3FB6E96B6DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb4a9838e61a6260264cd3ae1d55d29c0d61ca58","datavalue":{"value":{"entity-type":"item","numeric-id":2721180,"id":"Q2721180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baa6f2e15cf816e343f9815926cdbf3b1ab5a67f","datavalue":{"value":{"amount":"+0.7797107100486755","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":"Q1863829$915E09A4-121E-48BD-920A-71CC954268EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A tableau decision algorithm for modalized \\(\\mathcal A\\mathcal L\\mathcal C\\) with constant domains","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_tableau_decision_algorithm_for_modalized_%5C(%5Cmathcal_A%5Cmathcal_L%5Cmathcal_C%5C)_with_constant_domains"}}}}}