{"entities":{"Q6134260":{"pageid":13268567,"ns":120,"title":"Item:Q6134260","lastrevid":39719764,"modified":"2024-12-30T17:45:34Z","type":"item","id":"Q6134260","labels":{"en":{"language":"en","value":"Guard Automata for the Verification of Safety and Liveness of Distributed Algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7730617"}},"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":"Q6134260$B478CB1B-2080-48DE-B64F-A2CE57E7A9BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c924f782f247b037ef49227efcc476dfcb2e57d","datavalue":{"value":{"entity-type":"item","numeric-id":1045895,"id":"Q1045895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6134260$6DD0E2C8-A8C7-4790-982E-12E7BB76C71B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"660cf659c5574079703c3decf204902551e6a267","datavalue":{"value":{"entity-type":"item","numeric-id":6134259,"id":"Q6134259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6134260$A578F7AA-8B52-4381-ADEC-2673C92B5F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dcc6f318b7b434bf0f7251abaa3853c25531645e","datavalue":{"value":{"entity-type":"item","numeric-id":424898,"id":"Q424898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6134260$680B5985-D54D-419D-9387-B71749EBABA6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b435be9e480714ca524ba5b8a4f1e43894a87ad","datavalue":{"value":{"time":"+2023-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6134260$6E38D311-82CE-4D61-8B61-5074D439985B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6134260$E0F9686A-9601-40B3-8FF1-C88074208052","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"934aa9a4886638a626b4f78b4384cb3f685663fc","datavalue":{"value":"7730617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6134260$CF8B223B-B642-465E-9C90-FDCC22A2E58C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6134260$EF698192-6297-42D9-B5D9-38E4E206918F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"387e204c6977d7b097ac93bf9a6ecf723e21df10","datavalue":{"value":"distributed algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6134260$D3E15F1A-BE35-4226-9CB7-2148EE41DB9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40443e796d30a9a7c10499432df73c84da618b03","datavalue":{"value":"domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6134260$04E00E38-3859-4B72-BB54-A568D61E5C9B","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":"Q6134260$9AF58C36-346B-450D-A424-A5412AC08D48","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a8bf95f929e13a1a6b709b951fe0925108c14e2","datavalue":{"value":"https://hal.inria.fr/hal-03480241","type":"string"},"datatype":"url"},"type":"statement","id":"Q6134260$8B823D05-43A6-4125-B483-B9C076A57F11","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"efe921b68717a2b4ada237ad843ce38e731837f1","datavalue":{"value":"W3193655279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6134260$6445F3B2-5F99-4D11-9480-2882E7B5D249","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"599660fd07f01981a3310560187ef0bb570ba9e9","datavalue":{"value":{"text":"Guard Automata for the Verification of Safety and Liveness of Distributed Algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6134260$AB9B462F-51CF-44C0-937E-B4D50B6A245D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1830f2d71bc73acc83029a5388f0357c5caf4e1","datavalue":{"value":"10.4230/LIPICS.CONCUR.2021.15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6134260$F679B3EB-DA04-4C63-ABF5-9DDFF477D82B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6134260","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6134260"}}}}}