{"entities":{"Q3719811":{"pageid":5749717,"ns":120,"title":"Item:Q3719811","lastrevid":81002561,"modified":"2026-05-06T17:29:37Z","type":"item","id":"Q3719811","labels":{"en":{"language":"en","value":"Automatic verification of finite-state concurrent systems using temporal logic specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3949692"}},"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":"Q3719811$3E1EFE81-BB12-4520-99C2-DA333F1FEAE2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ed4bdad498a44c3dead5a268b4e8dee11ab66c9","datavalue":{"value":{"text":"Automatic verification of finite-state concurrent systems using temporal logic specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3719811$A3FFCB5B-A3A6-4BA3-8DAE-C3349B322460","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c82d9b51a0877ab5fc325ec9a6cc880c2d6401e","datavalue":{"value":"0591.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719811$90DF33FD-9ACD-4C9E-B5B7-8DBC8810F156","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ad2c56037401a1d06804d9585b47b17cb961bb1","datavalue":{"value":"10.1145/5397.5399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719811$7295CCE7-E362-4142-B860-131C6E3C6773","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"915fe2271680029c92c89bfe53140a1b9f9036f5","datavalue":{"value":{"entity-type":"item","numeric-id":198033,"id":"Q198033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3719811$D5DB6C79-0B4D-487F-9A22-B4D1654E42CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e4e5ed72bee66087d415d4f69d49eefd101a453","datavalue":{"value":{"entity-type":"item","numeric-id":526749,"id":"Q526749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3719811$EA8DED85-F2E8-4B56-884B-71E8E2644F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"570fdf9abfcdd47196a1c28958b07fd2ceac0701","datavalue":{"value":{"entity-type":"item","numeric-id":1051418,"id":"Q1051418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3719811$C1288C34-7ED2-4819-AFEF-DE3C683C85FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bde53cdce44ac12832cdf9553e245848df9d2c6","datavalue":{"value":{"entity-type":"item","numeric-id":3038608,"id":"Q3038608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3719811$6866A3DC-804A-46E2-A267-A0AD03B9EF8F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3719811$E8465A40-7E97-4877-8A11-499C9A8751CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a1f257a68f7271491b752b7aebf6657ab56265b7","datavalue":{"value":"http://www.acm.org/pubs/contents/journals/toplas/1986-8/","type":"string"},"datatype":"url"},"type":"statement","id":"Q3719811$013302E0-2D26-4579-91F7-F40AF61A5E8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719811$D730E9A4-47A5-4C4E-A49D-23859BA4CDDA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95bb808c55a1cabbb3f1775a453dfcf603dd95bf","datavalue":{"value":"3949692","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719811$80BF3465-2E4B-4489-BA33-87142E90A782","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719811$157B6208-5149-4D02-B229-165906845B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"710960760fab01f0e338d1a8721b74d653351deb","datavalue":{"value":"finite-state concurrent system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719811$D9293E07-56B9-49CB-89BB-EA2080C5BCD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719811$BEC026BA-AFD3-4F7D-9267-10F7C29F0033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719811$3B63A569-61EF-40E0-9AF2-A79618A7A180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"636b794da077dcaa1805ce93cc3d55482029d3dd","datavalue":{"value":"fairness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719811$06EA0957-50C5-4225-89F4-BEF77EDB0DF4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"670d7fdf2628686ef21accf2a057465ac2ed12d5","datavalue":{"value":"Q55918946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719811$8E94D75F-18AD-4D00-B3E0-87D764AD7180","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3719811$DCF5C905-28A0-4DDD-A7EC-A6009C2FFABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3a82b5d3c25d8926c2d8b482f2079dfb64bbcd92","datavalue":{"value":{"entity-type":"item","numeric-id":16319,"id":"Q16319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3719811$2C1AADED-0152-4BED-A61F-32C1105348CA","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":"Q3719811$E0E9F738-6048-48D0-A366-14FBB47C0BE4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b72d566247c4320fa99c3c04f932ed2060ecd097","datavalue":{"value":"W2117189826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719811$638BA1CC-707B-4C7B-BD93-DD587AAA90C9","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"a20f72502fd124fac368cbe6a45c982cf9c10d58","datavalue":{"value":"journals/toplas/ClarkeES86","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719811$6C538F7A-7F6E-4F76-9131-FFD60D7B8F6A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03365cca812058c65420ab8d3a92853d1b932e3d","datavalue":{"value":{"entity-type":"item","numeric-id":3704886,"id":"Q3704886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b43e47890590bd0152dd4481c70c22fcf7d66d4a","datavalue":{"value":{"amount":"+0.9015045166015624","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":"Q3719811$EE212006-0632-4157-A5B7-BE5A5D77D13B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f454718df21b9c18a24befb92e9d33f84708272b","datavalue":{"value":{"entity-type":"item","numeric-id":5285990,"id":"Q5285990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6929185db7e9b27be392f2c748200f224a24d48","datavalue":{"value":{"amount":"+0.8735167980194092","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":"Q3719811$F7A8F89A-CF3B-404A-8F2F-310CE9F662A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8dc7ef38b66a1e6696bc169df20eba41035aab9","datavalue":{"value":{"entity-type":"item","numeric-id":1188590,"id":"Q1188590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eefdec852354dd76e364a049db673fcb26954ee","datavalue":{"value":{"amount":"+0.8707078695297241","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":"Q3719811$A68838E7-9AFB-4B51-A2AB-522809338A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a540b391114ecfc41681dcee8da785ecbfa0e800","datavalue":{"value":{"entity-type":"item","numeric-id":4369884,"id":"Q4369884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03e35ed9c74a8db63a3ced316af9b8186315f68c","datavalue":{"value":{"amount":"+0.868350088596344","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":"Q3719811$8FA07EE2-0570-4B8C-8E10-F1A15AA775A1","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":"deae38681ed87a3ce7bcb70516ab339c96e15dbc","datavalue":{"value":{"amount":"+0.8629940152168274","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":"Q3719811$CBF2305A-674C-44D7-BF8B-3E3A8F798986","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic verification of finite-state concurrent systems using temporal logic specifications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_verification_of_finite-state_concurrent_systems_using_temporal_logic_specifications"}}}}}