{"entities":{"Q3644790":{"pageid":5674696,"ns":120,"title":"Item:Q3644790","lastrevid":88570157,"modified":"2026-06-04T14:52:34Z","type":"item","id":"Q3644790","labels":{"en":{"language":"en","value":"Symbolic Model Checking of Tense Logics on Rational Kripke Models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5632045"}},"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":"Q3644790$13FBA17D-F13D-432A-9D00-E8D788CFC47B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16239e938892a38c80e695413356c6a288981d07","datavalue":{"value":{"text":"Symbolic Model Checking of Tense Logics on Rational Kripke Models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3644790$EDCAB087-AC4B-4861-BC3C-2DA1B0D9936B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"faee30eece3db25e68a79b4132b69dfee6cb820d","datavalue":{"value":"1258.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644790$AD94506B-913D-48F8-867F-BB0666370586","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e1d38d46dac44dfb9c646dc6ab8ef67416a4736","datavalue":{"value":"10.1007/978-3-642-03092-5_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644790$0AA516CE-EBE7-48A5-906C-E4DFBAE73CF4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c715d8c64c8f44b863365821a8993fc724df78ea","datavalue":{"value":{"entity-type":"item","numeric-id":3644789,"id":"Q3644789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644790$A2F26780-7870-4A2A-8AC5-FC793017719C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdeca7fa3ca61fb6bc221ab92d3afb1fb3a5ebcc","datavalue":{"value":{"entity-type":"item","numeric-id":703859,"id":"Q703859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644790$3DA8D2B8-7DC2-4ED6-B308-E0B03788D70B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64b6aff35479f31ded84324568a289627bdf91e5","datavalue":{"value":{"entity-type":"item","numeric-id":3644787,"id":"Q3644787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644790$85FBFFDB-2076-4103-BB65-37A7FA662C52","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf6cafc2e90b526a4df9e96f2b96ab84218f45b1","datavalue":{"value":{"time":"+2009-11-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":"Q3644790$BC93CC4F-0C73-4059-A3C0-190A54B2E05B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644790$E96BC273-54F7-4634-9456-E44A2C5FF7A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644790$B6FE8363-71A5-4575-99A6-74C19654ED0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644790$D020B832-F012-4900-82B6-F79FEE845670","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5163e81ab28f6e2bc1d1016483831822c0c94196","datavalue":{"value":"5632045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644790$6564F639-3221-4CDA-B225-2EE56E4EB5DD","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":"Q3644790$3E305FB9-9F4A-415B-864F-09C147A6C069","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d1742d2132c85a2a81cad491601cda48aea1d80c","datavalue":{"value":"https://doi.org/10.1007/978-3-642-03092-5_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q3644790$1694CE9B-6916-4237-8D9B-57AB9469F26D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ad960291c2c91e354aecd2b9d74f9f4ab5c36b2","datavalue":{"value":"W1755755119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644790$51AC9342-D2CB-47B2-AA14-BAC67DF716F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47a692f977b2b5a6577b9e26d31d979c09bb8c82","datavalue":{"value":{"entity-type":"item","numeric-id":5311048,"id":"Q5311048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b194f7276da8732488befc0c6375fcdf1908e112","datavalue":{"value":{"amount":"+0.7658203840255737","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":"Q3644790$C924F420-42E3-41C8-8521-7925F049A135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"829f037901a55df22569b56639283566d9621eaa","datavalue":{"value":{"entity-type":"item","numeric-id":4738231,"id":"Q4738231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55c3d26229377b2de713a0f6020a0cb7609a7d6f","datavalue":{"value":{"amount":"+0.7636998891830444","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":"Q3644790$434B29B1-F7FB-46A3-B735-354755ED1661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1efbdcc87bdf4d278948a3598f0651896e7d1486","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e2c95ddd015d417f04224f8226f4d22edb245f8","datavalue":{"value":{"amount":"+0.760793149471283","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":"Q3644790$DB3D5C3C-4336-45A2-92D1-4D59B23D6B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6d2ab5bc7e4f6e47ce2cfac808d5206f05d7cf4","datavalue":{"value":{"entity-type":"item","numeric-id":4501688,"id":"Q4501688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c557d0cb47d4da3d3b9e5bd6e92e0ba1edc830d2","datavalue":{"value":{"amount":"+0.7604917287826538","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":"Q3644790$0E5C34A9-6BC0-44C8-900D-0A4FBCEEE450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fc9596cf17897c472773f89fbff35fb24288ce0","datavalue":{"value":{"entity-type":"item","numeric-id":4536601,"id":"Q4536601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba4ebe2dc5db60ec9abeadf671fd4bc601aff4bb","datavalue":{"value":{"amount":"+0.7598855495452881","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":"Q3644790$D948F6FC-DAAE-4A43-96BD-2880BCC71C19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symbolic Model Checking of Tense Logics on Rational Kripke Models","badges":[]}}}}}