{"entities":{"Q1051419":{"pageid":1053267,"ns":120,"title":"Item:Q1051419","lastrevid":69720648,"modified":"2026-04-13T08:56:43Z","type":"item","id":"Q1051419","labels":{"en":{"language":"en","value":"Using branching time temporal logic to synthesize synchronization skeletons"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3812940"}},"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":"Q1051419$B1BAC20C-7959-4ECD-BF76-3360CDBFF2C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87691546b80a948eb889846264655f0605064754","datavalue":{"value":{"text":"Using branching time temporal logic to synthesize synchronization skeletons","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1051419$C6182BB6-324F-4ABF-8077-4C1C49EDBCA8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d23fb7fd31a3c59a81581164dc82dc6d8b830783","datavalue":{"value":"0514.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1051419$C3AFE2BB-43A5-4283-A48E-135DD47922C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6dcaee536f02c1c1d10abd17fa5e006a4a9e6b42","datavalue":{"value":"10.1016/0167-6423(83)90017-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1051419$8CB7A257-FC28-4797-BA5A-719009145AA1","rank":"normal"}],"P16":[{"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":"Q1051419$C9BBB3F2-CB73-4843-A44A-0C801D6704CF","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":"Q1051419$212FD732-141E-4619-8A3A-0404CBAFE43A","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":"Q1051419$439403B8-63F3-4176-9F8A-5672CFA93145","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":"Q1051419$4097B90D-D0A7-4CD7-B414-56C50D459F78","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1051419$8C6605BF-15ED-4EA1-9F41-4C7DB5605790","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"162187a16bcd3e4b494c04ca2ef5a26a6c2250ec","datavalue":{"value":"3812940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1051419$356BBB54-4EFF-4CA1-83BB-1B065C1AAC33","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1051419$91BAAC35-3AB1-4CFC-A272-46820B25AC5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1051419$10ECD45B-C57F-4F9A-BF79-D57A2DDB71E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da47fe2e90857463733f3a1c19de7c3604da3743","datavalue":{"value":"specification formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1051419$F32F3B38-64BF-4083-BE96-B77B7A807DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"807c4a990c63d0cdddbc7ae0fb3d3df70444cb38","datavalue":{"value":"temporal logic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1051419$AD706275-BCD3-4747-B17B-BC6CCDDA7BEF","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":"Q1051419$5A814BDB-9C48-4B4F-AC2C-7B8FAA9673AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"990d332b991d479b7c651ddf0098e1bab507e329","datavalue":{"value":"https://doi.org/10.1016/0167-6423(83)90017-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1051419$BF9C84F0-36CD-4042-B69F-6A51C451D0DE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"56bd880d81782fd1c2a0bc3df3d53a0180555c28","datavalue":{"value":"W2048355938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1051419$FEACF38C-DC2C-4D9A-B4EC-66810FB145F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Using branching time temporal logic to synthesize synchronization skeletons","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Using_branching_time_temporal_logic_to_synthesize_synchronization_skeletons"}}}}}