{"entities":{"Q2817902":{"pageid":2828640,"ns":120,"title":"Item:Q2817902","lastrevid":79420244,"modified":"2026-05-06T13:51:57Z","type":"item","id":"Q2817902","labels":{"en":{"language":"en","value":"Extending MSVL with semaphore"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6622062"}},"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":"Q2817902$45254FE7-C2AF-4E1E-8042-95CD1B7527A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f940fca35ea637b49d44235a8b16e7fab9ce7d1","datavalue":{"value":{"text":"Extending MSVL with Semaphore","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2817902$A816A613-63DF-45B3-B316-9EDDC417AA76","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86aaabc545755264f1f6599217b63046a86ea843","datavalue":{"value":"1476.68183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817902$86EAF973-93B1-4F94-B6E6-373BDF985BF8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42d7e4cd8dfd399ef689d772a3dcb8006ca24d5f","datavalue":{"value":"10.1007/978-3-319-42634-1_48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817902$E19C5F27-160B-42DB-A5BE-A66FE35DDAD4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"17ef9109bc91fdb1bfa909e0330a5de3ec8d2061","datavalue":{"value":{"entity-type":"item","numeric-id":1986562,"id":"Q1986562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817902$EFAA5AF7-AB80-4F71-9C9C-6DB155CAD923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30d9aa89bda10e60a2b2b6e5c4297a8a726a7ab3","datavalue":{"value":{"entity-type":"item","numeric-id":247891,"id":"Q247891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817902$095CE40A-1B77-4DD9-B4CA-CB019B4C2316","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817902$09DFA5DF-4E8B-446B-8F31-DA83D9266B2E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"843239319cdc261f2498ea9fc3fc7d36149f65f7","datavalue":{"value":{"time":"+2016-09-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":"Q2817902$FF94D1E1-6329-4F59-B1AF-557956CFF4A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817902$F0F7080A-94B9-4029-9DE2-2A4FBAEC2A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817902$A3B047E5-56ED-4305-A8D1-663F46D816E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817902$EB9A7B8F-1D2A-4950-B519-17792ABD3310","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"128074a8a7ff7eca034b611b49d296f9fe0c2525","datavalue":{"value":"6622062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817902$7D9167F9-4256-4CB9-AA2F-88453C3C01FA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c42c3187d81ec934fd1a13398ef45837e4e0d2f","datavalue":{"value":"temporal logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2817902$AAE8F977-05F0-4966-9233-3B06D804D0E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1617e3aa19d65cbfc80989811e170f60dc5878b0","datavalue":{"value":"projection","type":"string"},"datatype":"string"},"type":"statement","id":"Q2817902$8568E28E-F75F-42C9-9ECE-4EADAAB5A811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7f9d03b9a3627773c95c3293530403a5ca551eb","datavalue":{"value":"semaphore","type":"string"},"datatype":"string"},"type":"statement","id":"Q2817902$A596BC7C-253B-4839-A6EA-E69F0B63E31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"995b00cc7d69ee07cf24da51a3a5485ed2bb2d30","datavalue":{"value":"mutual exclusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2817902$1E1C25AA-0A48-46C5-80DA-B6733272DD4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2817902$AF3B4516-5F7A-49A2-A275-BC7AEAF71F90","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817902$D2B53792-362A-4CDE-9B8F-868A84A39A81","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":"Q2817902$9262270D-F305-4AE4-8D0A-982B778D0C68","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d1613db7ec82946f9102e6aa6a35e6cb222fe05","datavalue":{"value":"https://doi.org/10.1007/978-3-319-42634-1_48","type":"string"},"datatype":"url"},"type":"statement","id":"Q2817902$4E0B74C4-926C-4066-B50F-284833D8EB8B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fc696110e2a9385227998d0659a9fa406248e631","datavalue":{"value":"W2490513959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817902$E922555A-603A-4B09-8EF0-8D1B5B90B8D4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf02e74786a2c5f7ea2dabcf2ee15c3dc85ab8e","datavalue":{"value":{"entity-type":"item","numeric-id":2469157,"id":"Q2469157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817902$2A725358-A81F-44DA-93C0-553823BE82F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80baa7dd24c818fd0c0c74f2138ba1261f4733e6","datavalue":{"value":{"entity-type":"item","numeric-id":2480780,"id":"Q2480780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817902$60211A53-882A-45F9-8D23-A2F50592ED65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c7970a3349ce494965ca2872c123451bac23725","datavalue":{"value":{"entity-type":"item","numeric-id":903507,"id":"Q903507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817902$98803341-EF57-4102-B3C1-D6BF96B89393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14c9b42a8bdcd0f4515a811d90e2c8fd35dc8cd9","datavalue":{"value":{"entity-type":"item","numeric-id":2430015,"id":"Q2430015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817902$C5DC5592-E188-48F9-B74B-68A664AD1A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817902$E4D62B76-A413-49EE-A201-8D73D0971E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817902$90A11498-0318-4AD1-AB14-61C30C2A9CEF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6eac91621385074163ef0128e4a2c1c0dce5a92","datavalue":{"value":{"entity-type":"item","numeric-id":344760,"id":"Q344760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"644f48697f43f9b4ad5bbdf9db990f0b2e8d88fb","datavalue":{"value":{"amount":"+0.805508017539978","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":"Q2817902$F65E0B57-2BDD-4732-9947-FA56BA656E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62771c0d14719c70f4334ee50e24d7f76f3bb7a8","datavalue":{"value":{"entity-type":"item","numeric-id":4989021,"id":"Q4989021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d6baf0974ae0b90b0e6ea7998c1fb39082e2a0c","datavalue":{"value":{"amount":"+0.7864295840263367","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":"Q2817902$DB8129A5-B51F-4ED8-B4C1-6E269EF5B47C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"decadc9f1d8201fefc0bd10ae43e9842bfc10a0c","datavalue":{"value":{"entity-type":"item","numeric-id":4413771,"id":"Q4413771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5e3f6b55ed00e86f8ac08110d141a7bc3ef85b8","datavalue":{"value":{"amount":"+0.7037834525108337","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":"Q2817902$8B715869-5DDB-496D-886B-6C39383EDB20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d178d4b7c535c004eb98158b491a5f9e4101c882","datavalue":{"value":{"entity-type":"item","numeric-id":4790911,"id":"Q4790911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"382e8d71c8813ff7fe8d8f35b6967565a00787ed","datavalue":{"value":{"amount":"+0.6945268511772156","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":"Q2817902$EF092E73-F1FB-4F6A-91F1-FF6FF4B052B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fc5842022b293331ef77419a3b787b42eff0c43","datavalue":{"value":{"entity-type":"item","numeric-id":1893540,"id":"Q1893540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"513822a7098656e2bd458ddba34dd29b2ab1d547","datavalue":{"value":{"amount":"+0.688914954662323","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":"Q2817902$79207ACE-1AAD-46F7-989B-5D50F5DB3AE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extending MSVL with semaphore","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extending_MSVL_with_semaphore"}}}}}