{"entities":{"Q1403320":{"pageid":1414060,"ns":120,"title":"Item:Q1403320","lastrevid":67359639,"modified":"2026-04-12T17:06:13Z","type":"item","id":"Q1403320","labels":{"en":{"language":"en","value":"Automatic verification of concurrent systems using a formula-based compositional approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1973098"}},"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":"Q1403320$88F97A10-309E-4095-938F-C3939D826BD3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e141331f86170b9db3b2ae23e7759fa307d4ffd3","datavalue":{"value":{"text":"Automatic verification of concurrent systems using a formula-based compositional approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1403320$991C636F-012B-4489-8947-84C5C0364473","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5978d632eb2e37a74661d9f49f6af98664b41d7b","datavalue":{"value":"1035.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1403320$595FB89D-E8A3-4A48-8DA3-049B74C5C5F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"374c89246677dd014ef2f3c988d2b9d3dc41b230","datavalue":{"value":{"entity-type":"item","numeric-id":703586,"id":"Q703586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1403320$10CA310E-87E3-4AEF-B745-1EC972B3C2B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1403320$18A13822-BD40-4B55-BE70-335B21302565","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"433a0b2d5ca848667b737a26efa25021702b8585","datavalue":{"value":{"time":"+2003-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1403320$64E2F9B5-B35D-4E53-B0B8-EE9A37B5D850","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1403320$AAD476CD-C20C-41D9-BFF7-7EC206FC862B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1403320$16DE8AAA-E4D6-4DF1-8C76-3ECCDCECDEFD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ac6596f1cb40f67cfc19ec8d2a07cc813e03429","datavalue":{"value":"1973098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1403320$81B6E434-14CA-4AC7-8C81-3D5D8F89BD64","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d9c2e1f00facc619242af9af43a4aae006f38ad","datavalue":{"value":"transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1403320$82C90361-F6A3-4C89-8A0A-8E0E6C4E776B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f9bb97caa1b11dd3b37486ee5da77a7d7674ba6d","datavalue":{"value":{"entity-type":"item","numeric-id":15497,"id":"Q15497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1403320$FE4BA227-66B9-49C4-A8BF-6CF9AE12D8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0b81395bce8af48e679b9daeada5dec6a46a77d1","datavalue":{"value":{"entity-type":"item","numeric-id":24858,"id":"Q24858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1403320$7A2194B4-0C42-484D-94C7-9128CB07F340","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":"Q1403320$D53F712B-F3C5-4472-B835-D3CF5546D33E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5f71da7b69f593ed4d387f6df30aede8986f85f","datavalue":{"value":"https://doi.org/10.1007/s00236-002-0084-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1403320$05EBDA4A-1A7A-49A6-BFE4-468A415B7BD4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8756c0dc93b8ac8fe5b0d92610a659e5d5d1a486","datavalue":{"value":"W2089892886","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1403320$748C9FC3-B787-478E-B291-DBBD7FA263C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"11ba9fe98518d07287140dd57662d25d13a25c6f","datavalue":{"value":"10.1007/S00236-002-0084-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1403320$EA687911-309B-454A-AE40-9297D17B113D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad4d282f08987e00964949a805542fb2114ff338","datavalue":{"value":{"entity-type":"item","numeric-id":3021982,"id":"Q3021982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7daef0e8eabb8b90827bc8551bc7088ac4899145","datavalue":{"value":{"amount":"+0.7845858931541443","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":"Q1403320$742C8871-D693-4E68-8356-B6EA3BDB9000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94845cb0192c44f2f405da435c6139e86c20e67c","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b4791cb1efa8061919f42b30b91124d7ba1efa7","datavalue":{"value":{"amount":"+0.7843906283378601","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":"Q1403320$EBC53C44-F156-4048-A59B-44AC7EEFA49B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6adc5b070698e5862d99d42f282a3b5f3015838c","datavalue":{"value":{"entity-type":"item","numeric-id":4532076,"id":"Q4532076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64a35131d054fd105f19c41a8d54412dd59ccbd0","datavalue":{"value":{"amount":"+0.781876802444458","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":"Q1403320$74FFF7C4-DC89-4A28-AA07-5FC34859D0B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10bf39d3a4c20a3eddb443195153bd56cfdf1033","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9284c2a460c49ab446ee860d280fd26353d682a0","datavalue":{"value":{"amount":"+0.7728911638259888","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":"Q1403320$96E3C9AE-4E35-43BC-BDA3-7EA178DB49F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c013e3ef81853f2ceb27a734868593d2b18a684","datavalue":{"value":{"entity-type":"item","numeric-id":3613065,"id":"Q3613065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"203c5373665caa3b8d4383d8c47daeefbd82d113","datavalue":{"value":{"amount":"+0.7709032297134399","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":"Q1403320$E6016774-D3AF-4F71-8153-1F1CB89A8D48","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic verification of concurrent systems using a formula-based compositional approach","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_verification_of_concurrent_systems_using_a_formula-based_compositional_approach"}}}}}