{"entities":{"Q432138":{"pageid":433905,"ns":120,"title":"Item:Q432138","lastrevid":61872360,"modified":"2026-04-11T02:14:02Z","type":"item","id":"Q432138","labels":{"en":{"language":"en","value":"A tableau-based decision procedure for CTL\\(^*\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6052552"}},"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":"Q432138$AD07D5C1-5AB4-44BA-B8C9-357F8B6C393C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48d595b9d692cc76274ba25aa328181c410debbf","datavalue":{"value":{"text":"A tableau-based decision procedure for CTL\\(^*\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q432138$5D7BDFC7-68D2-49CA-B861-A23E056D87EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f8a8e175cacfefc8806d7ff473cb8672e231c97","datavalue":{"value":"1242.68302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432138$A32B7E97-7F60-442F-8BAF-12F4E3226896","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432138$9944B05D-DDDD-4A3E-9EE6-AA708015E1CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2ba0036895bc96d003b4a03286285e72e8ca4bd","datavalue":{"value":{"time":"+2012-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q432138$1ECCCDFF-29E9-4F48-81A7-DB1368948BA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432138$0FD1E143-745D-49ED-A1D3-31088667C352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432138$C8D6F185-C83B-44C7-984D-67903EB34B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432138$F6EB2AFB-5161-4D30-8253-EC53B10FE562","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d1964df76474d6305728d4c3479a2026793c4eb","datavalue":{"value":"6052552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432138$0B7367A8-E01F-43CA-AAFC-5B9A2BAF17B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3c3e726e7233c653e2d8ea6e739587629f3f3b9","datavalue":{"value":"CTL\\(^*\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q432138$4AE17DB1-F3EF-4FF2-AE8E-0C40C8F0F4E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd47118910fdb38c46f5f4fe99e3757adf12edc8","datavalue":{"value":"tableau","type":"string"},"datatype":"string"},"type":"statement","id":"Q432138$2B2D66C3-B4F9-436B-B9A3-AD5A2FC23905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae7015df820d54c37a280b2bc669339e589c19cd","datavalue":{"value":"branching time","type":"string"},"datatype":"string"},"type":"statement","id":"Q432138$02832E09-7890-4BC8-9D29-6B3AD005237B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q432138$60A6D9A5-2CE4-4617-A9E8-6B6B5D8FE437","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22c3c5a22fb3da755e2e8fb1d94c251a072f6ebc","datavalue":{"value":{"entity-type":"item","numeric-id":790946,"id":"Q790946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432138$93C10DFC-D57C-4086-940E-D362476372E7","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":"Q432138$5F2A5C05-2A61-498B-8F51-22988B98866A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"12365a1db4eb82d197088cfade5076050441fc74","datavalue":{"value":"https://doi.org/10.1007/s00165-011-0193-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q432138$A8003E72-CEC7-4844-A55C-4BCEA9031F52","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0f478ef5c485968491ed6bd32b88223b8f1d98ee","datavalue":{"value":"W2043154866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432138$646C6630-1F8A-471F-8594-EC3CACC3FFCF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7018f2caae0e73cd272e9ac9b05153d958dd9c51","datavalue":{"value":{"entity-type":"item","numeric-id":4941896,"id":"Q4941896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432138$28377A7A-772B-4EF9-A424-CD31ED79BF24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"615db6be2a3f8d4f90d71ef6b1691c9557a51b50","datavalue":{"value":{"entity-type":"item","numeric-id":4518425,"id":"Q4518425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432138$B1A87D94-0474-4D1F-B821-AFA0A23C5291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a49c18731429c6e6e01fb66b974721ad0aeac5f","datavalue":{"value":{"entity-type":"item","numeric-id":1051419,"id":"Q1051419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432138$BC8A1C5C-4DC1-4316-9B84-038AEF95E488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd835cd92b4ffb8a8dc9181c7068cd47877b025","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432138$205AC666-1A9F-4878-AE8D-C3B0FB41A1BA","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":"Q432138$26B55B0F-27E9-49DF-B3C5-1B974DC7E4B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b700a9ff894e410108e84c5a088e66a026d9db4b","datavalue":{"value":{"entity-type":"item","numeric-id":4268874,"id":"Q4268874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432138$5F141567-BDE3-4CEC-949D-C849A5BDC185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"062a9bd4fe13e5ea8018ad451d4c2f0edf9de514","datavalue":{"value":{"entity-type":"item","numeric-id":2265815,"id":"Q2265815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432138$D0BB9B86-6F84-45B2-9D50-C04401A2C8BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f7e9b51624f25e880af792c7f9d74c82f45335","datavalue":{"value":{"entity-type":"item","numeric-id":3722471,"id":"Q3722471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432138$E3EBAA50-E70E-4071-B011-55666A096EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432138$B0628914-292C-42C4-A622-3B5A71FF4392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"118e5e2b2fdb9187f08f43d87ad5abc140fe01f8","datavalue":{"value":{"entity-type":"item","numeric-id":5747771,"id":"Q5747771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432138$7A842E34-3F8C-46A8-A6C1-5614A2576771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17da60b7f6b4e22bbe7045d12697c8bb0702b06","datavalue":{"value":{"entity-type":"item","numeric-id":5604443,"id":"Q5604443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432138$06F5E258-21E6-464A-9837-F303FA0EF528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"953fc5c05cca94208978dbd55a4c18e58d7b4208","datavalue":{"value":{"entity-type":"item","numeric-id":4484475,"id":"Q4484475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432138$F0D15A2A-CE93-4188-9185-00F397352729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6440aa6eb5d414713f792f7d809d5508c4bdc0ba","datavalue":{"value":{"entity-type":"item","numeric-id":2758043,"id":"Q2758043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432138$E3F9F744-AF8E-407D-AE03-B8F9171CFCF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcf98953dd73acfddd93835fae1bda7618af622d","datavalue":{"value":{"entity-type":"item","numeric-id":2566222,"id":"Q2566222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432138$A601426B-F7C4-4773-A11C-E3E46DCBDCCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652073d7697abbbfe99dfc3f90d474d4f3dd414b","datavalue":{"value":{"entity-type":"item","numeric-id":3437260,"id":"Q3437260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432138$B9A8506D-2390-4183-B086-D6AF33290D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bf387cf6efa0c72efe979138deef219e19f92f0","datavalue":{"value":{"entity-type":"item","numeric-id":3838819,"id":"Q3838819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432138$B148B1DE-98DF-4709-B4EB-F765FF97DBB7","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":"Q432138$3809EA69-10ED-4CD8-8219-CBD4D893EE97","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"99b5f05a907c36412d78d6d3ccafddd06a5556ff","datavalue":{"value":"10.1007/S00165-011-0193-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432138$02A4D5BE-592F-4403-931B-5BCA55452521","rank":"normal"}],"P1643":[{"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":"66d13354bb6f8cae11c13f7078bdce6dad757cea","datavalue":{"value":{"amount":"+0.9146715998649596","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":"Q432138$1C7CA0A7-B6AC-4109-9090-05E03E3FB22B","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":"7884a6665c26289054f17a1cf002dc86070960c1","datavalue":{"value":{"amount":"+0.8957574367523193","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":"Q432138$7C296645-72B3-422C-B4E5-D1183C6F2D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c29ff405ace1f502f2e1b235dcf97c7008a8d71b","datavalue":{"value":{"entity-type":"item","numeric-id":5747771,"id":"Q5747771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e53395aaa84297bd8074d9b7ce599df24b764d90","datavalue":{"value":{"amount":"+0.8903272747993469","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":"Q432138$57EC0AD9-A4D5-4D98-B861-61E952CFF30C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b938a5bcf161eb652beff73a49b351be152d96b6","datavalue":{"value":{"entity-type":"item","numeric-id":3437260,"id":"Q3437260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12a1b51bd9022c83533f67617b454242e13e73ad","datavalue":{"value":{"amount":"+0.8774614930152893","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":"Q432138$1A79122A-F4C8-49CF-A2A3-23B4D0ED43F9","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":"36fdd2b6ccbc5de5a4fd4b3769b87607fdc61b98","datavalue":{"value":{"amount":"+0.8669936060905457","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":"Q432138$7EBD9159-3D99-49DC-B3E2-08964238317E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A tableau-based decision procedure for CTL\\(^*\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_tableau-based_decision_procedure_for_CTL%5C(%5E*%5C)"}}}}}