{"entities":{"Q1273468":{"pageid":1284218,"ns":120,"title":"Item:Q1273468","lastrevid":70528743,"modified":"2026-04-13T15:15:18Z","type":"item","id":"Q1273468","labels":{"en":{"language":"en","value":"Using constraint propagation to reason about unsynchronized clocks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1230475"}},"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":"Q1273468$0E2BA59C-C5E1-456E-A8B8-3D57D05BE70F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ed89e834cab36c81dea7e274d7caa53da8b71ca","datavalue":{"value":{"text":"Using constraint propagation to reason about unsynchronized clocks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1273468$BEF6507B-5494-4474-A991-BF82B3172701","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"838d4451b8a6a99290e8a941f0b6fe07d1af428a","datavalue":{"value":"0911.68185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273468$8049C2C7-63CC-4C8B-B97B-0ECDD3CE1160","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"115e0c4debaf662cdb37ca29288cfb52806e9ca7","datavalue":{"value":"10.1023/A:1009725727148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273468$24501559-BAB7-4FC8-9586-1AABCB5DE294","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"811450eb8fd2cb7471fba5af7380e0568822d092","datavalue":{"value":{"entity-type":"item","numeric-id":1273467,"id":"Q1273467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273468$362C71F6-B790-4800-9619-E53065853442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b6179202190fd6a2e40842cf03cd1236063acd7","datavalue":{"value":{"entity-type":"item","numeric-id":1102742,"id":"Q1102742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273468$B83AAEAA-246A-4E8A-BF29-E959CAF40466","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a94d1d6f5ae333511fea1192115f95b08e9c8fb1","datavalue":{"value":{"entity-type":"item","numeric-id":202524,"id":"Q202524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273468$49282E9A-9378-4CB2-8939-6F616B002E13","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eeb380f564c5a8f0fcd332fa7514de56929165f6","datavalue":{"value":{"time":"+1999-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1273468$8581E0A4-96F6-47F8-B618-E6FF35CAD238","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273468$71DF7895-5BA3-46AC-ACB2-B1AB2D008EDD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53bad5a33f1043059e966c49fcee033d896cff55","datavalue":{"value":"1230475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273468$FD41BB2B-6DC2-497B-8893-5236415AE1B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dce248baa6ddc45c558e1072a9ef8778d9930096","datavalue":{"value":"planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273468$03CFD352-67B9-42B6-AC3C-D52224DB28E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1b9d924e7c168a4f823bfe7298ce8737666ad1f","datavalue":{"value":"robot motion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273468$FEC8BA47-BE36-401C-923A-0D2222C9A9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273468$AD3F9C32-5647-44BB-A18A-2546133F59F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"696d020f3e194ba7562ed10467b01681dc3e977c","datavalue":{"value":"cooperating agents","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273468$93209F52-12A0-4B85-B201-41ADC7EBFD42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"039280000fc94f5ab87050c3fb1ae0181290c6b1","datavalue":{"value":"constraint propagation algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273468$3D8599A4-3E7D-490A-8619-FE72587BF857","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":"Q1273468$7AFCB004-F57D-4CBE-ABD6-C48642DB27E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b753e4ea71d9fdad91fcb308b922d579412e3d8","datavalue":{"value":"https://doi.org/10.1023/a:1009725727148","type":"string"},"datatype":"url"},"type":"statement","id":"Q1273468$46DE6B62-4DBA-4FD0-99E7-23D6AA53FABA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c280696efded18f69107b043e209cc829b22a4be","datavalue":{"value":"W1522430082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273468$2A615575-11E2-49B8-BF66-28B1D5AB1C40","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cb475c9670278909ae3b237667d114c8bdaf6a8","datavalue":{"value":{"entity-type":"item","numeric-id":1910463,"id":"Q1910463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1415b810a39889a991c22a0811482d16c1f591ae","datavalue":{"value":{"amount":"+0.8209183216094971","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":"Q1273468$C6E483CE-C56B-44D6-B9EA-B4E38314130E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11f14961f2861463d99ea6d39475d34be0255cc9","datavalue":{"value":{"entity-type":"item","numeric-id":1182161,"id":"Q1182161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"608dad2e590601c34b21d624bf497dc2ed931a20","datavalue":{"value":{"amount":"+0.8094407320022583","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":"Q1273468$487F2DC4-B3C5-4720-9417-25935A06B4C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efe0a7e2f4c885180debabee9d65a54867b835ab","datavalue":{"value":{"entity-type":"item","numeric-id":4318749,"id":"Q4318749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64920c4ebde5d1a49b7645594bc37d48c18150cc","datavalue":{"value":{"amount":"+0.7736862301826477","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":"Q1273468$FB3F686F-08B0-4E96-9D1E-7B6176D858B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf776b8dac17ef7d8c2d59a4633d8eff7349ed90","datavalue":{"value":{"entity-type":"item","numeric-id":3493325,"id":"Q3493325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bb47f63c14ec2b5597e27a4d861ef41779fcbe4","datavalue":{"value":{"amount":"+0.772552490234375","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":"Q1273468$CE43AEB3-B28A-4E99-B9BC-6A0FEC6BF696","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Using constraint propagation to reason about unsynchronized clocks","badges":[]}}}}}