{"entities":{"Q1893540":{"pageid":1904282,"ns":120,"title":"Item:Q1893540","lastrevid":71707263,"modified":"2026-04-14T00:01:28Z","type":"item","id":"Q1893540","labels":{"en":{"language":"en","value":"Proving properties of real-time semaphores"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 770315"}},"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":"Q1893540$DFDF1364-B502-4BC2-AD47-2FF67CE94DED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"caef2442d85a6a03cfc4dc3a987659ba240cc15a","datavalue":{"value":{"text":"Proving properties of real-time semaphores","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1893540$187ADF82-223D-46F7-9A64-F84305A20651","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05882082405e92860a6b7d8643a000c510261564","datavalue":{"value":"0828.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893540$FE074023-ADB1-42CC-8876-FAC102F2FDE7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa978354a259611ac01fc717f9541535c657cdbc","datavalue":{"value":"10.1016/0167-6423(94)00030-I","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893540$81D1FFD0-1511-470B-9961-DBDD4A019A47","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"598573a1a110400355ee020d90c393bba0b6f0ba","datavalue":{"value":{"entity-type":"item","numeric-id":1331922,"id":"Q1331922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893540$E34407D4-DE14-4A86-9DB2-94E3738823C7","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":"Q1893540$70BF94D9-FD42-4E26-B411-825E3319F2A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"547087ad9b783be40d6c5615014fe2d1dc722d5d","datavalue":{"value":{"time":"+1996-01-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1893540$A135A679-E606-4CED-8FE1-BCC5D4A60211","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893540$068FF78B-B957-46FF-A505-0E1C7644E20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893540$A2342243-1D68-4F62-8725-BC3EFB4D32EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fce8a0f9aac0cbb8ebef4afa649f245620d8ee49","datavalue":{"value":"770315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893540$7AD0DB0C-4F2A-482E-8053-D4CB4B991F3B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b450d2a08c200959bbbbe396a5c3b2484c2c386","datavalue":{"value":"concurrent programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893540$32A53AD2-C61C-40EF-AEE9-B8A275C58812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85ed162218010875732ea3a20e46390a4fad64e8","datavalue":{"value":"real-time distributed programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893540$52519524-68E5-4568-A7A6-14CA830813B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7f9d03b9a3627773c95c3293530403a5ca551eb","datavalue":{"value":"semaphore","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893540$2C9A7669-33EC-4F8C-922D-87CB77A411C0","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":"Q1893540$81669DBF-20A7-42D5-9610-5DE5CE093390","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"050af58bf754c0e343dd07f102a9f244120fecc4","datavalue":{"value":{"entity-type":"item","numeric-id":1207949,"id":"Q1207949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d151845a946a797f6f8395eeb074e729bfc124ba","datavalue":{"value":{"amount":"+0.7847628593444824","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":"Q1893540$46649EC5-8078-4941-83ED-A547E6E7CED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9fbd9f9bec359348dc647f5f89109aa192c58c7","datavalue":{"value":{"entity-type":"item","numeric-id":3814777,"id":"Q3814777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0db37ac863d479e4927044570e0e3870775f2859","datavalue":{"value":{"amount":"+0.7368190288543701","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":"Q1893540$F3E8D7A2-D670-465A-BEE6-E098B33EA286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c7ce984c9452cb06b85d4f1916244a0189d9f05","datavalue":{"value":{"entity-type":"item","numeric-id":1115579,"id":"Q1115579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca0f4a1976fba0259026e9592d277fe618ca5bcf","datavalue":{"value":{"amount":"+0.7350208759307861","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":"Q1893540$645A1D00-7E4E-4155-BF4E-915BDCE673DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dcb9184331303af9494f56776119fe4a92be76c","datavalue":{"value":{"entity-type":"item","numeric-id":3680261,"id":"Q3680261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e81d012f7a8c6f50bc4f982dfc1059af6be0ae56","datavalue":{"value":{"amount":"+0.7127236723899841","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":"Q1893540$01EE8159-2BD5-4FE4-A60C-87EBCAA139F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"530f7d38a59df3e10274e0f922150c69bdebb7f9","datavalue":{"value":{"entity-type":"item","numeric-id":4348472,"id":"Q4348472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ce1fefbd678aeeffdc32ba8977126a47d793815","datavalue":{"value":{"amount":"+0.7093719840049744","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":"Q1893540$D7AE78FF-5516-4E2D-AE66-D54DFAFEA691","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proving properties of real-time semaphores","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proving_properties_of_real-time_semaphores"}}}}}