{"entities":{"Q4421149":{"pageid":6450748,"ns":120,"title":"Item:Q4421149","lastrevid":40754134,"modified":"2025-04-04T14:08:07Z","type":"item","id":"Q4421149","labels":{"en":{"language":"en","value":"An algorithm for exact bounds on the time separation of events in concurrent systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1967437"}},"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":"Q4421149$62F20003-0568-481B-B5CC-85E7A191710C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b439009e34a7bc5793212ca6c15bd2f35895ef6","datavalue":{"value":{"text":"An algorithm for exact bounds on the time separation of events in concurrent systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4421149$1AF3C0AE-9D8B-4A36-B491-BB8562D62FC7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8850a3724122f54e614404fa5d4ae5711b281409","datavalue":{"value":"1054.68516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4421149$5A7EDCA2-88DA-4B3C-840A-3368B3947718","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22b00c72d704fa81b8b7ea766cb4371470e0a945","datavalue":{"value":"10.1109/12.475126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4421149$CD41ECF8-76D4-4F5E-ABBD-9952CE2287EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3fa532253900a57da3ff2d892d85f39b33869ab4","datavalue":{"value":{"entity-type":"item","numeric-id":169904,"id":"Q169904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4421149$AC7CE309-2595-4803-BE73-23082387AE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bae2e6cf8063df9887ac47ec1f0cb5d285a8bd07","datavalue":{"value":{"entity-type":"item","numeric-id":3122504,"id":"Q3122504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4421149$93C042E6-4830-403F-9C35-E71B804AFD89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7227a937c1dc3aa74a9fbb7bf19f788255d1031","datavalue":{"value":{"entity-type":"item","numeric-id":4421148,"id":"Q4421148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4421149$2138FB85-A957-4859-A4AF-237ECFFB8C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c46ea06290cb01043ac0f52b6d06716e43e28ab3","datavalue":{"value":{"entity-type":"item","numeric-id":3122505,"id":"Q3122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4421149$C9D8073C-EF6E-4611-8A70-AB3EBE1F1955","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb95ba1181f89055fe808aa2c36bea9d3930d0fc","datavalue":{"value":{"entity-type":"item","numeric-id":80442,"id":"Q80442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4421149$E78917CC-722F-4B93-8EE0-550546D22DA7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e12e6021dba48c45d122c66dfaf8edc484cdc46","datavalue":{"value":{"time":"+1995-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":"Q4421149$59BEB4A2-31D9-4A91-AA6C-0F110E2EE712","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"453b9fc1df4a1f0fa00740f2e0077091af443860","datavalue":{"value":"https://semanticscholar.org/paper/09ac103c20fedfc4888b51a5fcead5d050b434cb","type":"string"},"datatype":"url"},"type":"statement","id":"Q4421149$E791A253-7555-40DD-9157-11E2E76DE7B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4421149$E1B1FA3A-B056-434C-8AF3-22765CE76131","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"581140660464dfe6a08eea56148904c8009a9b56","datavalue":{"value":"1967437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4421149$3AEAB293-124C-4D00-9817-D0CDC6451A69","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e1050664f45c7b1640e00827efd234ba9089a7c","datavalue":{"value":"asynchronous systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4421149$258F3F76-C21B-4F91-9A26-2B92BE9DE97D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06083a62f9f1207530e3a85b407d2e98bb9afdc0","datavalue":{"value":"timing verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4421149$BC2BF561-B23E-42BE-9844-6696C92B867A","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":"Q4421149$7BE55F49-A9C3-4042-8D01-C02D8A5A8610","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b397d423c6dc3a990c4c70918819ec93f0de7ca9","datavalue":{"value":"W2132385281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4421149$6E99B6DB-94EE-4505-957B-92C7780286B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36c840e7a7abcbea1f7e34166f42afb0df8f0c8c","datavalue":{"value":{"entity-type":"item","numeric-id":2817613,"id":"Q2817613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed34aeaa98fe7417a7e48712b552556abefdf2f7","datavalue":{"value":{"amount":"+0.88418627","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":"Q4421149$08016ECB-435B-4BD0-A539-2D847213666C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d8f5f462771b2edcfb4ce5ae04584c191e8a30e","datavalue":{"value":{"entity-type":"item","numeric-id":6091409,"id":"Q6091409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be84374ade59735c852b3465cc525ae59737a807","datavalue":{"value":{"amount":"+0.87115","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":"Q4421149$FA15BAFF-91B4-4DE9-B23C-A645C667D9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64d93e9d69d1ddbe67eb1ed182256afa56fb76c8","datavalue":{"value":{"entity-type":"item","numeric-id":3796729,"id":"Q3796729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f83b990263c40bad47498277a93edc94fde4e51","datavalue":{"value":{"amount":"+0.85416055","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":"Q4421149$8A23A56A-8277-438D-81DF-5B6342BD19F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d94f3c4d949f2bcb1193a933812bb9460328661f","datavalue":{"value":{"entity-type":"item","numeric-id":2919457,"id":"Q2919457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45ff872fac96df6e8c623260a7176a8a95050613","datavalue":{"value":{"amount":"+0.8524364","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":"Q4421149$C8C868D9-22F7-4EB9-94EE-E767B4CD6233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0efb2d79c95d561d2c0fb3c26ea62d2b27ca9f31","datavalue":{"value":{"entity-type":"item","numeric-id":3126162,"id":"Q3126162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac5f313262f2bfe8a3156c39e867e37d20d4b138","datavalue":{"value":{"amount":"+0.85217524","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":"Q4421149$C0E19A6E-7BB2-4F63-8F4B-E5DACF79F8F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37769c855a5dac692993a908aa9a360e47d65aca","datavalue":{"value":{"entity-type":"item","numeric-id":955027,"id":"Q955027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cd0b4aefc88c74fbf8ad3299033a7d91ce5b621","datavalue":{"value":{"amount":"+0.8505399","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":"Q4421149$A74F190F-A44B-4938-A6A0-B44EA67A9A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d878e5e6090be92a13d4daf84b9c3aafc7e7d34","datavalue":{"value":{"entity-type":"item","numeric-id":4337631,"id":"Q4337631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c50acafb19f954486a65f484c66df599f1e5935","datavalue":{"value":{"amount":"+0.8501133","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":"Q4421149$DE9F0DCC-9163-4519-ADF3-06207F1F8515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b38c9444d2365945ac41cb68e066e635c15b3af3","datavalue":{"value":{"entity-type":"item","numeric-id":2059911,"id":"Q2059911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d7b2698598744d5ec45499513f163c02198ddee","datavalue":{"value":{"amount":"+0.84922016","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":"Q4421149$BBA962B4-C611-4123-B35C-78405A813EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6192a404b3e4779b4bc5b3dba00ead2b61d67458","datavalue":{"value":{"entity-type":"item","numeric-id":1394990,"id":"Q1394990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03f00692921f48042056e6736d695e56a84c4185","datavalue":{"value":{"amount":"+0.8485406","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":"Q4421149$D2233E2F-3CB4-4DC3-A120-FC55834A811B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"465a51aa4e0673a9b03d21e5e9c9e8abbfce8ccb","datavalue":{"value":{"entity-type":"item","numeric-id":3196636,"id":"Q3196636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbafc17de3b2f0498d2e1301338f01686d59f062","datavalue":{"value":{"amount":"+0.84811157","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":"Q4421149$2A1CD419-808A-4C73-BEA9-817021C351DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4421149","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4421149"}}}}}