{"entities":{"Q5233236":{"pageid":7262804,"ns":120,"title":"Item:Q5233236","lastrevid":40758451,"modified":"2025-04-04T14:32:30Z","type":"item","id":"Q5233236","labels":{"en":{"language":"en","value":"Abstract Semantic Diffing of Evolving Concurrent Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7105459"}},"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":"Q5233236$14AB88E3-AE72-49FE-BE45-A0443D1118D7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5131b1b6ccf0dd3ea9d1955385a3c6644e09979a","datavalue":{"value":{"text":"Abstract Semantic Diffing of Evolving Concurrent Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5233236$59D66B2B-5125-46BE-9729-54C8C7F1DF18","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"30c95118a86f307b6a95445f18045b05b87522f5","datavalue":{"value":"1420.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5233236$FFD4AB38-5254-48CC-8B5B-10C8FF30F72E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d35879d6378e76815f398d539ead00ee05ef72b","datavalue":{"value":"10.1007/978-3-319-66706-5_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5233236$FB8DA768-4C5B-41B1-804F-AAF1CB1E34F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7904a434e6c67a0a42ab8a275ad588430565729","datavalue":{"value":{"entity-type":"item","numeric-id":537949,"id":"Q537949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5233236$1C66E657-5DE7-452F-BF14-D25DEC5EC7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f25f8c34e12a231b757d629502410dfe3c146a2a","datavalue":{"value":{"entity-type":"item","numeric-id":515661,"id":"Q515661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5233236$94193CB5-8BAF-449F-B5ED-F7F39E2B880F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fc9efcacb156ebe441d1f18c88b7586f817c0e0","datavalue":{"value":{"entity-type":"item","numeric-id":682352,"id":"Q682352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5233236$5802A5BB-05EE-4312-B552-8457BE5CD27A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5233236$95E5518C-57C5-45FA-8DBD-85F68AA7569B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96391af82153a94a4af2a0e4c8ac60042cea1674","datavalue":{"value":{"time":"+2019-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5233236$B44B0C42-E359-4072-9C1A-61963E7BC78A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5233236$7185A547-BF95-48B6-BCF7-641E2B74DD21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5233236$8BCDC2D9-98D1-4F8C-922A-12752F73278D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5233236$05B5551E-D44B-41E0-91FF-6F298BE6133A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bbc2bfbbdf705c4841efeaa3e2d953bf526f82dd","datavalue":{"value":"7105459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5233236$0007F011-1AAB-46E8-9590-036F32A04700","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":"Q5233236$9D40134B-D827-4FCF-973B-53BC8770EBB4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"94d547683cf3c46ad5d4172b627353fbdfe5729b","datavalue":{"value":"https://doi.org/10.1007/978-3-319-66706-5_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5233236$FF91DC0D-603A-44BD-BCE3-7961AF503A58","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"85cf50f3e1d29a9c6a5f1c291f3fe3b48c96a1af","datavalue":{"value":"W2742244291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5233236$9CA86F41-12C9-4BB0-8E6C-34BD063CED6B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f8c5db79fef260c87870107ec4381ea0572994f","datavalue":{"value":{"entity-type":"item","numeric-id":2322311,"id":"Q2322311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2da6c53f5a750999d81de2cca7409b6fb04c6a","datavalue":{"value":{"amount":"+1.0000002","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":"Q5233236$1A97EE47-15B3-43D8-BAFB-70D1D1263A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48c620919a911f4f779b3c4fe8e0d618ca7780c8","datavalue":{"value":{"entity-type":"item","numeric-id":890610,"id":"Q890610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9706d751c67c83a9d2c2661b73ad60aa71d2f4c3","datavalue":{"value":{"amount":"+0.871177","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":"Q5233236$B60E8E60-A313-400F-820A-46C7F62BD126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09acb433ad6425852d8b735618c578c87d0a1c4d","datavalue":{"value":{"entity-type":"item","numeric-id":5170804,"id":"Q5170804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cec13720dc048b8320dfd1164c8a5a4c9a75b1f","datavalue":{"value":{"amount":"+0.8605309","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":"Q5233236$E7526BB8-BAA7-4588-B90C-5EA12665CE83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37d647ebc9d79f759c7a268f70e27a232ad9ae7b","datavalue":{"value":{"entity-type":"item","numeric-id":2870770,"id":"Q2870770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfa64af49ee6e88113ece9247ec9353c36bee16e","datavalue":{"value":{"amount":"+0.85311717","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":"Q5233236$D20E34B7-64EB-4DF0-B4A3-13A8849187CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e72bab369df7fce4659e57c6de78470ce9ed008","datavalue":{"value":{"entity-type":"item","numeric-id":2481207,"id":"Q2481207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc4fb31b7b96fa05d361826e79d296eb4f3f6f2e","datavalue":{"value":{"amount":"+0.84865004","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":"Q5233236$D3852C78-8F5A-4CB3-8983-E801013B83E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09851c283ee57792faaf2bcfadbb0a749880a74b","datavalue":{"value":{"entity-type":"item","numeric-id":4341025,"id":"Q4341025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c630f2b01dd8ea554068d284e84ebd4a923b2c8e","datavalue":{"value":{"amount":"+0.84856474","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":"Q5233236$8956CB50-BA47-4B71-ADFB-8C12ABD699C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2262586324d166b13858ad18a09d6fc75c420af","datavalue":{"value":{"entity-type":"item","numeric-id":1694447,"id":"Q1694447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"240100a1232149faa0a42b48753f2fcffcac6d12","datavalue":{"value":{"amount":"+0.84832704","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":"Q5233236$C880C7B0-AC5B-4B82-AECF-10E60A628D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"421940e95db26cdd0db128bbc9b5797a786499d6","datavalue":{"value":{"entity-type":"item","numeric-id":346790,"id":"Q346790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd5bdd52fd793f04a1aa14bf2e8bcb455b5c1816","datavalue":{"value":{"amount":"+0.84733856","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":"Q5233236$234864AF-A159-454D-84A3-4A0A736AA613","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5233236","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5233236"}}}}}