{"entities":{"Q5178035":{"pageid":7207607,"ns":120,"title":"Item:Q5178035","lastrevid":52220324,"modified":"2026-01-21T04:40:26Z","type":"item","id":"Q5178035","labels":{"en":{"language":"en","value":"Verification of safety properties for concurrent assembly code"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6413046"}},"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":"Q5178035$1ADCE3B9-DEE1-43E6-A5E3-A87E7BD7DB8B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4214c2922aa93aff211da43fd9eb5e3231e2d2e","datavalue":{"value":{"text":"Verification of safety properties for concurrent assembly code","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5178035$E5739355-5D9A-4291-9EF7-230C0434544E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"01596fd8785b8099e76a534b22e8e51283e89032","datavalue":{"value":"1323.68235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178035$876CDB4B-DF25-4AB4-A8A5-44937B78ECE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c27196a73f8fb16b90cf2e5489b3deeb7607f082","datavalue":{"value":"10.1145/1016850.1016875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178035$6381E1EB-78C4-45AB-996B-93F6F097975D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fd03ea4b8d8fe9176aa055daa8e9f40d5c8fead","datavalue":{"value":{"entity-type":"item","numeric-id":1887733,"id":"Q1887733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178035$40D3129B-645E-4FF4-BE55-A5A9060F0A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b45204622bfa7b343b3d270acbf7de72b0faad61","datavalue":{"value":{"entity-type":"item","numeric-id":835763,"id":"Q835763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178035$4D6E07C8-0416-45A1-AD17-24C0F85EAE52","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f33a483a1a2d9de990034c7d88e54d11356b8521","datavalue":{"value":{"entity-type":"item","numeric-id":5178016,"id":"Q5178016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178035$9B135940-2309-434F-B4B8-2706B6FC178C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19529df7d3312773fdd8684f0485c293d53ec310","datavalue":{"value":{"time":"+2015-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":"Q5178035$CAE87C74-1C80-47EA-AE2B-E636CBF35749","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178035$AB125E63-1291-4AC3-9492-A290BAB91073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178035$9508BC25-9C30-48E3-9E50-CD44A7E6F7B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178035$1E6C6B94-2C00-4A66-945D-60867A35F2F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5f64ec849f267a686a50338ef98f6cbf9500d43","datavalue":{"value":"6413046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178035$A4DD98C8-F17B-429B-9B4B-16B2DBE96DCA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54becc67f9990c02508216e035db78a990087af9","datavalue":{"value":"assembly","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178035$28CB0B8F-D9A3-4586-BE18-F4113A42A6BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178035$F6614D5A-ED7F-4674-AABA-1085A369056B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d67cf2b066d6e9d2ea6e3b5c67e1dc20d3a226b8","datavalue":{"value":"local guarantee","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178035$AF5B7FAC-23D3-492F-8A69-CA4F31F86343","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178035$AB29595B-91CD-44CE-AECF-3D75E64DDF92","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":"Q5178035$14085D65-009D-4DE8-AF0A-AB842D80AA79","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9c2e2d773dd161f98c6a9da5522d89fa38dbff50","datavalue":{"value":"https://doi.org/10.1145/1016850.1016875","type":"string"},"datatype":"url"},"type":"statement","id":"Q5178035$411DFFD5-FEB9-451C-A297-0773F42AF4ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f1b9ee7b9ff31d6b3e281af4e20d28c6a9259ebe","datavalue":{"value":"W4253527523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178035$3D4D4C97-1208-4EE6-917E-32B051AC7AB0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d903d91f25eac697fdf75606052fc7c6d77f3b10","datavalue":{"value":{"entity-type":"item","numeric-id":2936788,"id":"Q2936788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01b7f1d4472bfb79fb2a4c25d1acdcdd04c431f1","datavalue":{"value":{"amount":"+0.8094855546951294","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":"Q5178035$1719E881-BEC2-4294-8E8E-51CE387E4817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c71ff9416a35b311f2fbf027327ee933036f7e41","datavalue":{"value":{"entity-type":"item","numeric-id":6166149,"id":"Q6166149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"045de7b9ee0fb07fde16e280e193a39c7f60f25e","datavalue":{"value":{"amount":"+0.7631515264511108","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":"Q5178035$3AC86D00-3807-4725-9AA5-7FD02C2D78DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5f6a24f9e65045fa853b6710fc2d5a4a91e166d","datavalue":{"value":{"entity-type":"item","numeric-id":5175776,"id":"Q5175776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39084f5c09a4830b2e4a086710d1cef2f6e007ea","datavalue":{"value":{"amount":"+0.7608906030654907","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":"Q5178035$4D1D2FA5-8371-496D-B5DA-C82A5967491E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81ed7ae54210088547f50aa25fcf3f04d43110c8","datavalue":{"value":{"entity-type":"item","numeric-id":1630029,"id":"Q1630029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c08a8bea27d4698d262313ee5b0624401452ce1","datavalue":{"value":{"amount":"+0.7484758496284485","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":"Q5178035$DD660B66-0E22-4C75-B9E6-31F5B7DB1317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c1b14ec371401427672b91fc35789315ae30462","datavalue":{"value":{"entity-type":"item","numeric-id":2871836,"id":"Q2871836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7603c5f2cd136b8fc0ef7288095ecb44715ce46e","datavalue":{"value":{"amount":"+0.7357735633850098","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":"Q5178035$C59F2059-6F07-4416-9F9E-86A2C94E5B90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5178035","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5178035"}}}}}