{"entities":{"Q6493554":{"pageid":14072327,"ns":120,"title":"Item:Q6493554","lastrevid":38015247,"modified":"2024-12-03T12:09:12Z","type":"item","id":"Q6493554","labels":{"en":{"language":"en","value":"Mechanically verifying safety and liveness properties of delay insensitive circuits"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7839248"}},"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":"Q6493554$094D8D45-8A04-4ACA-AE97-13044BD6CFB8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ddf972706f61960c8b5679f72639af748061d3bd","datavalue":{"value":{"text":"Mechanically verifying safety and liveness properties of delay insensitive circuits","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6493554$163F761F-3FF7-412B-AB4B-6AB18F640D15","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"897fe4a1b3f55a450e10698d79993079d4b087a5","datavalue":{"value":"10.1007/3-540-55179-4_34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6493554$AB8C57C9-7061-4F1C-A0DE-35F07DD82C1B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"71cd82940817808629c4e287404da6a935907a27","datavalue":{"value":{"entity-type":"item","numeric-id":1961923,"id":"Q1961923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493554$BCC98841-FB9B-493C-AA32-237B7616D7B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bfa9a0f33f50a2c6d2c799c7a2fa7a1f56f2d9e2","datavalue":{"value":{"time":"+2024-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6493554$04B02715-5F26-4724-AD5D-1C88992F608E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6493554$552559DC-9469-4A6B-828F-4884488E74A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44970588f7f8d5c6f3d5203bb985284ab346f561","datavalue":{"value":"7839248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6493554$787B0A21-4042-4F7C-8A04-C4DB8426DF4C","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":"Q6493554$F4B7B8F9-4E04-4B3D-A5C4-1C2DF99287E7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aad2711eb9c64a58dada485191047b8af29959d","datavalue":{"value":{"entity-type":"item","numeric-id":4040283,"id":"Q4040283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493554$16F92F32-8512-4837-A66B-45E357A2CFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493554$CDD91463-6337-4834-ACED-9D88EAE13C3D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6493554","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6493554"}}}}}