{"entities":{"Q795497":{"pageid":797345,"ns":120,"title":"Item:Q795497","lastrevid":64399533,"modified":"2026-04-11T19:36:39Z","type":"item","id":"Q795497","labels":{"en":{"language":"en","value":"Adequate proof principles for invariance and liveness properties of concurrent programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3862419"}},"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":"Q795497$6F114E96-6414-4C54-8162-1BB678C60DA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e368e77bd4f793c890e53b263cfe1ad3f96f4252","datavalue":{"value":{"text":"Adequate proof principles for invariance and liveness properties of concurrent programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q795497$AB9FB252-9F11-47F3-AF0F-AE5CB286E4C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a6c428767d91ac2276bacb13ee4598153b10ccd","datavalue":{"value":"0542.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795497$AEBBF712-E30C-4982-B0E1-72D25080F3ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e6303855f07c8e232412fe019efa819939813c56","datavalue":{"value":"10.1016/0167-6423(84)90003-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795497$E8E4FCA8-EB2F-4AA1-9F28-726AF4F07F7A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"136a3bf1f009deb2a6a9913d5ea0e7ae90a03274","datavalue":{"value":{"entity-type":"item","numeric-id":582279,"id":"Q582279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795497$AFA81213-7F8E-4B7E-80BB-C7F804F15C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f609d14c1727f970ab5a0ef43992b4a7d4a23fcd","datavalue":{"value":{"entity-type":"item","numeric-id":208770,"id":"Q208770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795497$D629D5BE-3B56-41C8-9583-6260F54423D0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795497$63315421-D7D5-498B-ABC8-3764CC8C74A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q795497$327299D6-052B-447F-80D6-9D97AD0D99AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795497$D685629D-0D84-4A30-811C-9D2607B4F41F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14268639480d0ea0aa639efb19b1ac71d22a68f9","datavalue":{"value":"3862419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795497$CA809B13-B909-468B-989C-810D818D0F80","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbb94c6c984d21ba9bb7f538d309f513dd24943d","datavalue":{"value":"liveness properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q795497$F1EFA2D6-1B26-49EB-AA8A-144DCB891059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e883aaff5d34a1e5d0b994ccd73cd7ce8b20a8e3","datavalue":{"value":"invariance properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q795497$F28044A5-F6F4-4EB3-A2B9-01B584100D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a850ee01f9fe6c0e93ae692ac21d7eb4a5f1f68c","datavalue":{"value":"concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q795497$D31E9C86-8DE0-418C-841B-2228958FA6C0","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":"Q795497$81AD5C36-FCE5-436B-BF29-5F439A574149","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ca808b37dfd86e428573bcbd506591df56d13f71","datavalue":{"value":"https://doi.org/10.1016/0167-6423(84)90003-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q795497$7D385152-6D4D-4AF0-96BB-CD75FC09143A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca56d08629d51d1b55a84e7f4b77404f9eebdcc7","datavalue":{"value":"W2039025680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795497$A772B09B-726A-4B01-A18C-670079E37FD2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eae7a405d42145b6cb93503f2dfd6a4a7382b49","datavalue":{"value":{"entity-type":"item","numeric-id":5096088,"id":"Q5096088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b841e51c014ff16f459c76739016923a4073754","datavalue":{"value":{"amount":"+0.8945378","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q795497$4B8E04F6-71AB-4257-8C02-CBD54C03370F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb906b7819af3215c442ea0a6017f05602f2584e","datavalue":{"value":{"entity-type":"item","numeric-id":2351261,"id":"Q2351261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ec36325532a627d542efbcc122406246b85831d","datavalue":{"value":{"amount":"+0.89267236","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q795497$2C3D1595-796E-40C3-9685-07AB6CD4E109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2328ba74fb7a04ef9c4c6b136966010a61ec6c6","datavalue":{"value":{"entity-type":"item","numeric-id":4037126,"id":"Q4037126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67ca7ec61025e38e52f95d76af929747b7ad92d3","datavalue":{"value":{"amount":"+0.8925122","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q795497$4B0A500A-F064-4DA5-AD36-160B9F2B90B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a537fc0a1e5caabb38b654317b6efccfe1f45219","datavalue":{"value":{"entity-type":"item","numeric-id":1123589,"id":"Q1123589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d821bdc5c92bdad70fe3d040b94287bd3d0762b0","datavalue":{"value":{"amount":"+0.8855359","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q795497$5A917DE1-EF51-4C18-8AA1-24B2FC2D32EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"854a72c10ba3cd04c632ec0756f6f1c865203d0b","datavalue":{"value":{"entity-type":"item","numeric-id":792078,"id":"Q792078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d6874e0b7ee1ce8f13745e935d6ff2cba598937","datavalue":{"value":{"amount":"+0.8847612","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q795497$526B90AA-DCD0-4CA9-87A4-F1B1AFCA8CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20532c49d9d4d3ae8f294148a0e0a60cc9c87685","datavalue":{"value":{"entity-type":"item","numeric-id":1346649,"id":"Q1346649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"886fb0cc0f3b8413a9fd1cf4a9e340d01507f731","datavalue":{"value":{"amount":"+0.88027537","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q795497$75CCD569-FA72-4F54-8FD1-762CAB8CD26A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Adequate proof principles for invariance and liveness properties of concurrent programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Adequate_proof_principles_for_invariance_and_liveness_properties_of_concurrent_programs"}}}}}