{"entities":{"Q4632314":{"pageid":6661895,"ns":120,"title":"Item:Q4632314","lastrevid":90063500,"modified":"2026-06-04T19:00:18Z","type":"item","id":"Q4632314","labels":{"en":{"language":"en","value":"A tableau calculus for first-order branching time logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7048486"}},"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":"Q4632314$545AD6D6-0B76-472D-86A0-7CC91E31A6DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"36f3454eeccdafa0e644b852db6790db9956ca43","datavalue":{"value":{"text":"A tableau calculus for first-order branching time logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4632314$69BC9073-5249-4447-BBFA-96D4A78E59B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c320f9fb62a41b0449f16c38dbd08a5975d56ce","datavalue":{"value":"1422.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632314$608CE59D-4E5D-4182-AA66-4737658FCF49","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"200ea695078d544c7db2250baa4cfef04feb30d6","datavalue":{"value":"10.1007/3-540-61313-7_89","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632314$EF36D55A-4D32-4822-BD8F-FB51A3596D50","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6554f7397da94b37721cb6fa1c849a712f0dded","datavalue":{"value":{"entity-type":"item","numeric-id":2761745,"id":"Q2761745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632314$CBCC88D0-681A-4FA5-B05A-531EC6E2BBAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"924cca174357738b06b9173e0c5b8febd23b6af5","datavalue":{"value":{"entity-type":"item","numeric-id":1202018,"id":"Q1202018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632314$D4ECA688-D502-40C0-AFA0-67E50A5C2FB1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5469fc662fa74c1289879f047c5642914a1a5026","datavalue":{"value":{"entity-type":"item","numeric-id":4632284,"id":"Q4632284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632314$0D69E66B-1B76-4029-A10E-EF474B80E5EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c886460d86f543351b8f7fb5093933ac0a350b03","datavalue":{"value":{"time":"+2019-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4632314$2B21E76C-582C-4461-B808-8B31847B94C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632314$52FAF744-6ACD-4507-92AC-4471C4883BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632314$5F1AB4BE-9315-4EFC-AE98-957CC1091785","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0288f50dd730321fcc3e954176f0534f0baf2487","datavalue":{"value":"7048486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632314$275FA093-4E85-4285-9B52-D2DCFD47E756","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632314$9C80A7DC-68DC-482A-8426-E7B52825EAC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632314$3CD27593-A673-4217-8A15-C33C37AC3E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7137f8294334e0d86a43d7ccaf251fb7b9781f0","datavalue":{"value":"variable assignment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632314$84FAFF8D-A751-475B-B78D-D07347C11730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cea95902fcaa0f3825a24c74983f4b2c23c4572a","datavalue":{"value":"state formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632314$494BB4AF-B1FB-481F-AF58-D42E0F43ECEE","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":"Q4632314$74358165-2444-4E60-B348-52B2DDC9957A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"52580a932d9138e0ad27816d64f574de92f3b8fd","datavalue":{"value":"https://doi.org/10.1007/3-540-61313-7_89","type":"string"},"datatype":"url"},"type":"statement","id":"Q4632314$E04F422B-E4AC-4F2D-843B-BB3D3A931A7F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c07488d2cd0b7e17a1cf24b7e1cfd0b7681801a7","datavalue":{"value":"W1506317664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632314$C77A933B-2E5C-4ECF-89CA-A6A0E1499CD7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ef4165cdc01f313b12040c9657a14ef341fa2d9","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632314$B4E53845-2186-437E-910F-A9283628CBD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90e44ff29e928f19b892ec1c13836498e6c5624c","datavalue":{"value":{"entity-type":"item","numeric-id":3512441,"id":"Q3512441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632314$5F1B8C1B-3F10-4BE3-B44A-231102FEF9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632314$31E5BE41-3EBA-4BFA-8E2E-4FD3A627F96F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a059efc4a1f49c1ef5ee155acd97eb4522ead2f3","datavalue":{"value":{"entity-type":"item","numeric-id":3906386,"id":"Q3906386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632314$97686630-F89C-40A7-AE09-8E34F45B209A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632314$5E0A72C0-497C-44C5-ABE2-D2AB294F1563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bed96517ad5ba1babe6b302ab098c89d0358319","datavalue":{"value":{"entity-type":"item","numeric-id":1820578,"id":"Q1820578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632314$BBE6BD74-2C87-4935-84A5-C9EF2DC8BA14","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":"Q4632314$EB78CFB5-A2B5-44E4-9C30-DDBDE0856613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f21257d8b20ccfecd3db595afbc8b2e1a0a737","datavalue":{"value":{"entity-type":"item","numeric-id":3835817,"id":"Q3835817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632314$5825C18A-9E96-43D6-A197-C5A0884763F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3261cf7e2174b332e3482b23b1e1c76c1020c488","datavalue":{"value":{"entity-type":"item","numeric-id":3922147,"id":"Q3922147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632314$F7E33519-5B99-41BB-915C-E25D1DDDE645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632314$B352FBC0-0C67-4933-B10D-3EE2DC52278E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"034d7339259808ce2c0fbe8cdb5235bcf1f5f4c6","datavalue":{"value":{"entity-type":"item","numeric-id":3710510,"id":"Q3710510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632314$5669235E-1BAD-4D1E-9CE3-3D1E704A30E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eba7f8829ad878e8c6d6ceff784d98978050dc3","datavalue":{"value":{"entity-type":"item","numeric-id":4263018,"id":"Q4263018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a465bc6466d11a37aedbe9c5080a2d29f1e18a9","datavalue":{"value":{"amount":"+0.8167004585266113","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":"Q4632314$FD3414A4-8985-4203-8FE7-2AE625AE4652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f031116377bc4b4fe320784a72230645a6a8d10a","datavalue":{"value":{"entity-type":"item","numeric-id":3498455,"id":"Q3498455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a465bc6466d11a37aedbe9c5080a2d29f1e18a9","datavalue":{"value":{"amount":"+0.8167004585266113","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":"Q4632314$2060723B-CA8E-4D05-9041-32FA605EAE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"034fb3511ad172b210e4e9cba1d3a2247cfb13d0","datavalue":{"value":{"entity-type":"item","numeric-id":4992506,"id":"Q4992506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0a018463ede84c33030e09b8817f6f1912e6acf","datavalue":{"value":{"amount":"+0.8073358535766602","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":"Q4632314$F9C26496-C413-4AEB-B1DE-3D97E625FB74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"337315712da885cd327294fff0fdedb0ae6c4378","datavalue":{"value":{"entity-type":"item","numeric-id":5897785,"id":"Q5897785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5bb92b6ee7933e3960467abb23ac6b8e33a2e85","datavalue":{"value":{"amount":"+0.8062698841094971","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":"Q4632314$18759888-198A-4172-A9F3-A6F5F3AF48AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed1db08350ab40ecb5fe8b460191474c3401dd58","datavalue":{"value":{"entity-type":"item","numeric-id":5079769,"id":"Q5079769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6276d3e7990c366cb97a8af16cfe6f755a8d8fd8","datavalue":{"value":{"amount":"+0.8000137805938721","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":"Q4632314$89F25A4C-27AE-4223-908F-BD73F9804585","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A tableau calculus for first-order branching time logic","badges":[]}}}}}