{"entities":{"Q1159976":{"pageid":1170725,"ns":120,"title":"Item:Q1159976","lastrevid":66278415,"modified":"2026-04-12T08:43:54Z","type":"item","id":"Q1159976","labels":{"en":{"language":"en","value":"Verifying concurrent processes using temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3748399"}},"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":"Q1159976$1C3639BF-EFAB-44F3-8B52-F5C7431CC164","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e12cfc9f74603ecffbada178b4c0e8798933e221","datavalue":{"value":{"text":"Verifying concurrent processes using temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1159976$C7B15AA2-FF8A-468E-929A-9BA70123E5EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4003cdebdc2dc8a5cd16d86185bf68d7d14c546","datavalue":{"value":"0476.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1159976$4FE02030-3CAA-43AA-AA7C-E61AF7CC0D40","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb8a6f9befc01f9157697996eb84c5c714472c06","datavalue":{"value":{"entity-type":"item","numeric-id":1159975,"id":"Q1159975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159976$887238B4-E963-49D8-AB63-F486D57A8989","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":"Q1159976$C2ECEA47-1090-496C-A790-B4528A7C5E71","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q1159976$4B369D15-FC9E-4B5C-B11E-61A97209C177","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1159976$EE04BAB8-CEBE-4494-8E04-5A21444F4BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1159976$4FDA58C4-6488-450F-A912-40AFCFA254CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1159976$04F954F5-D104-46C3-9211-AE364F951CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1159976$474201DA-194F-4C68-9721-55CB48BEBE17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"041afe58b07a0e8ebb624677f457d1b16470160e","datavalue":{"value":"3748399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1159976$896C11FC-F0F5-45A4-BCA0-029915BB230A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32c00c870ba4886a0fa9f2b9e082121331fba73c","datavalue":{"value":"verification of parallel programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1159976$E49D3D38-54AD-4AE4-9D90-8C8EE274896A","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":"Q1159976$0A84AF95-4453-46E9-A2B4-763202DD4886","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verifying concurrent processes using temporal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verifying_concurrent_processes_using_temporal_logic"}}}}}