{"entities":{"Q4610332":{"pageid":6639915,"ns":120,"title":"Item:Q4610332","lastrevid":90508235,"modified":"2026-06-04T20:33:09Z","type":"item","id":"Q4610332","labels":{"en":{"language":"en","value":"Proving correctness of labeled transition systems by semantic tableaux"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7002282"}},"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":"Q4610332$DBEA8F6A-54B6-4CFA-AA4E-CDC85AFFD9C1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"55715ce710889206066b0935a296cfb550dedd11","datavalue":{"value":{"text":"Proving correctness of labeled transition systems by semantic tableaux","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4610332$27DEDDEE-5A51-4A88-B7FB-C0C77953BBA6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"89d81593762a57cb1caf852dae602ce20c6cf3a0","datavalue":{"value":"1412.68154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610332$7C1FF935-19CA-4C32-9CD4-2F46B21EECFC","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":"Q4610332$05269113-E393-4C3E-A14B-8A2A6E304208","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610332$66A2B813-54C6-4202-B368-EB43EB8F12A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"250f083a2ef1e7a7df79afad0acdd22e5799ecf5","datavalue":{"value":{"time":"+2019-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4610332$0099D44E-583B-48D1-97FF-55CCE95E2BE9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610332$B90CE058-5371-41A6-9A4B-CBCCC201E448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610332$EDD0ED21-DC9C-4027-AD0D-36F643FD61ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610332$8F561C96-7D05-4604-A35F-5AFA28A3AFF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610332$C004D41C-1931-4959-BCFD-943F384BBC4A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ee125d4d5f0c3a1ca37d27cccac246b34f3e565","datavalue":{"value":"7002282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610332$B8E2EDCC-EB55-4556-9B4F-C7E3B80CEE6E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610332$4F75A987-6235-4098-96F1-A36A5BD8BD02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45bb7d4fd9ec92e0984c16a373d107901b9e933a","datavalue":{"value":"coupling mode","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610332$110FFAE3-B2D8-4220-8FE8-3155BCB3596A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb3ae69788226feca6ae8044c1c7a9062ebff252","datavalue":{"value":"function symbol","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610332$945C55B7-48EA-4B73-8319-2E05462EA1AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d5f0a28de693e8b2b8d3680d78ebfe7bc738773","datavalue":{"value":"predicate symbol","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610332$AAC00F16-A7FB-4CF7-B823-0332FB6D44B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c0c081abc8eda38858901e1fd627902a9a4a0e0","datavalue":{"value":"labeled transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610332$AD5DD17B-2F99-4F6E-AA0E-007949C9AA74","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":"Q4610332$158AA36C-9744-41D0-B3D5-C3857EACCD36","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":"Q4610332$6DF2860A-E905-4BB0-AA86-7ED6F6D410BC","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":"Q4610332$42E6541E-22FE-41B1-B5BC-533C5EC2D0CB","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":"Q4610332$8A190C7C-FE03-4FFD-B9B1-DC5DCB83E3BD","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":"Q4610332$971D1F5B-EBF1-436D-80EA-1A2781AFCF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5710cd0fb8b5907d40eeada6e14d4018e26669a5","datavalue":{"value":{"entity-type":"item","numeric-id":1255942,"id":"Q1255942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610332$C5434F3E-0BE3-41D8-B54F-A53B69306583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610332$1E150BC7-1113-4639-A72C-C1B6D5830E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e615632ea08fe7f0a323e35cb632d59ded1f542","datavalue":{"value":{"entity-type":"item","numeric-id":4385545,"id":"Q4385545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610332$FE03CED6-B871-4EA9-BCED-7708C39DC746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d5d076076ebd4b9979cb0408282b51729bd63e3","datavalue":{"value":{"entity-type":"item","numeric-id":4632314,"id":"Q4632314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610332$A727405C-51D4-433F-AE55-ED03A7062C10","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":"Q4610332$A0705AC0-580E-4669-B1BB-0BCDD9B8621A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c337ac0446a32db819991463f7d8f8b7cfa37a89","datavalue":{"value":"10.1007/BFB0027419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610332$405B58F8-EF72-46DE-BEFD-84C9750E6417","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67bed80202705ad0f26e21085c20d24617df91d0","datavalue":{"value":{"entity-type":"item","numeric-id":1895974,"id":"Q1895974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"981a37540b08395a85c053571a59ade5cd583d11","datavalue":{"value":{"amount":"+0.7350509166717529","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":"Q4610332$406BD3EA-D23E-4D0C-AB02-04E1A980C706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa9f9c3da8d063c38ac733038a8365d3f67e6200","datavalue":{"value":{"entity-type":"item","numeric-id":4207567,"id":"Q4207567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e86873b37db6d09ab112dbf4b9f25b3304b0d05e","datavalue":{"value":{"amount":"+0.7344918847084045","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":"Q4610332$6973E253-3287-4E79-882D-C41095E8555F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd28868fb9e5281dec742e518f016b5bea1547d6","datavalue":{"value":{"entity-type":"item","numeric-id":1122572,"id":"Q1122572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5811894e97b8080933b30ce85489ebdc749f0abf","datavalue":{"value":{"amount":"+0.7326492071151733","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":"Q4610332$F9CFD3DA-B748-4517-B679-569E198AFFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01017b3d1c200749df743ffbc642572962518ffb","datavalue":{"value":{"entity-type":"item","numeric-id":1355748,"id":"Q1355748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a61cc19622f26b60ec08638b2b4b45624a76e73","datavalue":{"value":{"amount":"+0.7299500703811646","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":"Q4610332$B8E535D3-35EF-4654-9C2D-52DEB95FDCF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec14e4901ea245bd8ce158b1e1e23774b01fe852","datavalue":{"value":{"entity-type":"item","numeric-id":4511273,"id":"Q4511273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff2a9573971030f3e067fd7f9c71e643b337ca7d","datavalue":{"value":{"amount":"+0.723157525062561","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":"Q4610332$A242EFAB-FA68-4548-9FB9-CFAEF44FCCE6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proving correctness of labeled transition systems by semantic tableaux","badges":[]}}}}}