{"entities":{"Q5125596":{"pageid":7155170,"ns":120,"title":"Item:Q5125596","lastrevid":37098663,"modified":"2024-07-30T08:32:58Z","type":"item","id":"Q5125596","labels":{"en":{"language":"en","value":"Transforming Opacity Verification to Nonblocking Verification in Modular Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7256296"}},"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":"Q5125596$7A3079D6-3D1F-474B-BF4F-47398EEFA13B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b4025a66a287536d818c0b1c124d6faf151b9a5","datavalue":{"value":{"text":"Transforming Opacity Verification to Nonblocking Verification in Modular Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5125596$1A3B224A-20CD-4B88-BE49-14E3ED9ADC25","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"baf33cc7590017febd15a74426e9ba74ba440d57","datavalue":{"value":"10.1109/TAC.2019.2934708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5125596$0D88D964-48D5-4922-B91B-9406555DD919","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2872b87849f89c8a14a752a2ac109c0d8a6ecc81","datavalue":{"value":{"entity-type":"item","numeric-id":262427,"id":"Q262427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5125596$642F3FB3-87A1-42AF-BD2F-6734A66CCC0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d89490944a0cf65c3919d65bf38beba776c368b","datavalue":{"value":{"entity-type":"item","numeric-id":243736,"id":"Q243736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5125596$1BE01C4C-5BD3-4609-B2A7-3D9FEE0B7083","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"231075b9dab1b13e4c64992ef81666085035687e","datavalue":{"value":{"entity-type":"item","numeric-id":123639,"id":"Q123639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5125596$ED344632-D84A-4878-BD71-8E7E4F5D7B89","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7781abd2a97958fd1da5210c5f6f23fc30a06aa4","datavalue":{"value":{"time":"+2020-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5125596$E8CBA3A6-E5B4-4CCB-952B-3BE8407FF2E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5233adfdc2fc12685ff941370ef96d1b46d971fc","datavalue":{"value":"https://arxiv.org/abs/1904.06242","type":"string"},"datatype":"url"},"type":"statement","id":"Q5125596$E6964655-1A2A-4ACC-94BB-79834B2F189E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0d5eef6e848157326ce3189563feefa6213bff81","datavalue":{"value":"93-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5125596$37D006F0-D88C-4ABB-B3DA-1259B30CCCFF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2b181f563dfff8d7e67f2ae197c02fff5fc503d","datavalue":{"value":"7256296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5125596$3C95AACC-B381-4820-B0E4-245EEE990918","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":"Q5125596$F305D447-737D-415E-B049-3F63A6196BB7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a97f16ab0c3fe99017fd37834336abdf7bbbe2f","datavalue":{"value":"W2968762186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5125596$75970360-0C9A-4943-A3EC-BF2EA6ADD767","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5125596","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5125596"}}}}}