{"entities":{"Q5431611":{"pageid":7461175,"ns":120,"title":"Item:Q5431611","lastrevid":41131175,"modified":"2025-04-18T10:25:43Z","type":"item","id":"Q5431611","labels":{"en":{"language":"en","value":"Termination for Hybrid Tableaus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5219651"}},"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":"Q5431611$E12A9141-66AE-4DD5-A910-2E48FEE89E49","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bdf19ca11b87a5b32ccd44a9f0bcab8dc3db4c58","datavalue":{"value":{"text":"Termination for Hybrid Tableaus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5431611$8C197DC6-B1CC-4CAE-907B-5C6D875982D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f10b08ca25eba56ea5a9f96afd22ac346bed841c","datavalue":{"value":"1140.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5431611$5052414A-8ECA-41B7-B7A3-93B4381D9F78","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96e0e2617a3a4b7424e5d388e4d779137235a082","datavalue":{"value":{"entity-type":"item","numeric-id":302219,"id":"Q302219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5431611$8D919682-9935-48E1-B653-419B22D30B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5c046feff833ce0e6e8bb6d52d7ce260056affd","datavalue":{"value":{"entity-type":"item","numeric-id":209482,"id":"Q209482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5431611$E5291CDA-519C-42EB-84E1-64E31242DF8E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"314b76050ef3171781c5f6c923ad9c6a4de18f5b","datavalue":{"value":{"time":"+2007-12-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":"Q5431611$79F129C8-0285-4700-9693-24DC0A8D6CE1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5431611$40981E36-1F94-41A5-81A0-32F12A7DB767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5431611$DFCA2F7B-80FD-403D-92A0-61DC065CA2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5431611$67361B17-13E5-4224-AAD3-1127496B257E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b926554b7a39b637442e1c4a501e13957912e0a5","datavalue":{"value":"5219651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5431611$59861EF3-5843-4FCD-8684-59AD3DFF9DCC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5431611$902B3053-7D5A-4AB3-92E1-2019C4716980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5431611$D000AED5-4EF5-404A-8E35-A9A4B7B86C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96bbc11051e7df69761c0a9fe452d973e56df1e9","datavalue":{"value":"tableau systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5431611$4764E283-6836-482B-ABC7-1A6A5467F51E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5431611$70391DBB-60EE-44B6-96DF-E26F2B83CC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"923e6dd9c9ce8c7d6ad3a7a844b45cc74d2db703","datavalue":{"value":"loop-checks","type":"string"},"datatype":"string"},"type":"statement","id":"Q5431611$BDAAD2E1-B01A-4EBD-BE3F-B44AB40BCA60","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1ed0997ee0b7d4441438016c2ff078abeca16485","datavalue":{"value":{"entity-type":"item","numeric-id":21428,"id":"Q21428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5431611$DEDD69C8-A3B8-4F5D-A77A-FD7E309FAAE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b04f91a7fcba9845ffc13d007dd510c5cbf74970","datavalue":{"value":{"entity-type":"item","numeric-id":21429,"id":"Q21429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5431611$4AD773B5-F5A4-4780-AD3E-F4426F227ED9","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":"Q5431611$94015B76-AEC9-4DFC-81C6-287777321808","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5aeecb711fe57a9c4e2f84fc250d0795b28f21a8","datavalue":{"value":"https://doi.org/10.1093/logcom/exm014","type":"string"},"datatype":"url"},"type":"statement","id":"Q5431611$9A42D5E3-D395-4E79-9242-D564B361586A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"24d08da951a04aa2cbbbc0290cf32cdf3767f5b5","datavalue":{"value":"W2067803913","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5431611$5586A287-14C8-4D00-A189-7D7684B4B4D9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3645fd04c1ba3b9e9e1e68147a51ea4c5fc3d86e","datavalue":{"value":"Q57813480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5431611$BB3DD775-AF0E-4737-8364-82D6A57D8F88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d74cc89f1c011359790dc980bf3b37b717212c5","datavalue":{"value":"10.1093/LOGCOM/EXM014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5431611$B411AC99-BFC4-4E65-93FB-3962A2C06936","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49d2f0f7914c41f5cb59d061929b4fd96df9bb17","datavalue":{"value":{"entity-type":"item","numeric-id":5747764,"id":"Q5747764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59edaf0b23c7351e2fd969cc3cd2a6a86579f514","datavalue":{"value":{"amount":"+0.7975175","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":"Q5431611$ECB4FC86-1314-4B6F-8F6B-F2AE53340B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44ba7e99d457b2b3ac881724188f4711cfce91e6","datavalue":{"value":{"entity-type":"item","numeric-id":4982124,"id":"Q4982124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"997303d0f28f0e212b5fee24add271693c0eb1e1","datavalue":{"value":{"amount":"+0.7929727","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":"Q5431611$C5193699-5339-498E-A7DD-687EA6B2EB6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20c8603b2d8f201a1b66efa4ac981e09b8b947fc","datavalue":{"value":{"entity-type":"item","numeric-id":1047795,"id":"Q1047795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"681d01a3e39a613b20e8f40f138ce91e81270e90","datavalue":{"value":{"amount":"+0.77902734","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":"Q5431611$765066BB-2B83-4EDD-8C5F-7C527A74E9CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9fb46176b6712b99d7a2afe9166512817cc544d","datavalue":{"value":{"entity-type":"item","numeric-id":3541703,"id":"Q3541703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e589f978e8fe3fc58c64df683234b60d4ed05ab","datavalue":{"value":{"amount":"+0.7728135","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":"Q5431611$A6F0DC7A-3BFC-4B87-951D-C1A189514E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cd3d67f8d145e9e7ec658177421e99201eb4122","datavalue":{"value":{"entity-type":"item","numeric-id":4982112,"id":"Q4982112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01b8dc8f438a62fdb01692f83398efb1482d9db9","datavalue":{"value":{"amount":"+0.7687868","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":"Q5431611$9742E3DD-A91B-4EFE-843E-790463D78508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b8536a3e17f2a494be1ecf93d3a1e7c672768e8","datavalue":{"value":{"entity-type":"item","numeric-id":5235250,"id":"Q5235250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be99ab37f7309812c10ad42918f53b2f5fc5c51d","datavalue":{"value":{"amount":"+0.7631581","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":"Q5431611$DBE36B5D-BCFE-4BD6-A44C-C5A7EB90F52A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8c9a6e5455a6bfb19136894762a784b379e733b","datavalue":{"value":{"entity-type":"item","numeric-id":4982111,"id":"Q4982111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d331f0806701560bd17b4dff774e6e8373c2b74","datavalue":{"value":{"amount":"+0.76218504","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":"Q5431611$D55F6D6D-B675-4102-A28D-AD6A325EC17C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b704e7b4321944ed6fa6b08979ea207748c7b44","datavalue":{"value":{"entity-type":"item","numeric-id":3431972,"id":"Q3431972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b87dcf223879de264a35e8c17d379a3d0fef6f57","datavalue":{"value":{"amount":"+0.7618414","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":"Q5431611$4C8D8885-E1F5-4CA9-9291-E1A9BA2FE53D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db51081dffa03fb67f23008d5f873145ae551581","datavalue":{"value":{"entity-type":"item","numeric-id":4930735,"id":"Q4930735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7a039577f743133df4156e03ba4804545d0b67c","datavalue":{"value":{"amount":"+0.76049614","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":"Q5431611$76CE5715-55E3-4FD7-AFBE-5197B287FB3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9be85f53949c192bde88ae6702b82e2214a7b797","datavalue":{"value":{"entity-type":"item","numeric-id":2825411,"id":"Q2825411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04566b7cb8eccc5b33cb18dae647e8d40dfed553","datavalue":{"value":{"amount":"+0.75805926","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":"Q5431611$DEBDA6EC-8C6E-4906-B463-10D00C49351F","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":"Q5431611$D2FDD4F5-5C5A-46EC-A18E-1FE2F174D2C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5431611","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5431611"}}}}}