{"entities":{"Q5178842":{"pageid":7208414,"ns":120,"title":"Item:Q5178842","lastrevid":52226462,"modified":"2026-01-21T05:00:47Z","type":"item","id":"Q5178842","labels":{"en":{"language":"en","value":"Enforcing trace properties by program transformation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6416198"}},"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":"Q5178842$D9E206CE-3A2C-4B62-8DF7-1BB6CA25D7D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07ecafe78a19b3462f7e05b185003cdd22878768","datavalue":{"value":{"text":"Enforcing trace properties by program transformation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5178842$1FBF2609-EA96-4869-A537-BB2F5AE0B739","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f03f596efe5795d6d8921cd7f54781f120538de1","datavalue":{"value":"1323.68355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178842$48A7BED6-8742-4E53-9080-F36FCD05FA26","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"382ca3cec5e4412032e4e2dcd14f2a26275bf122","datavalue":{"value":"10.1145/325694.325703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178842$73FEE095-51BA-429F-A00D-26C20A658ED6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d5c4492b308512708deea353b9e0181d35ce9e3","datavalue":{"value":{"entity-type":"item","numeric-id":290902,"id":"Q290902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178842$67EDE0E6-3FDD-48BC-B9F0-58EA0C627F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd1cdeab4dbc8ac2a9232d818a71b209d8153d91","datavalue":{"value":{"entity-type":"item","numeric-id":436363,"id":"Q436363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178842$893106C9-8475-4A55-9599-F0283BBA73E9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00ace0ec2df838fdad7145b8dfd170c033f275fe","datavalue":{"value":{"entity-type":"item","numeric-id":5178836,"id":"Q5178836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178842$5216C297-D403-4C19-9B77-7441B83DC090","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19d34c79dcb21ff5f6ae9d83e7c1b224cf605fc5","datavalue":{"value":{"time":"+2015-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5178842$C4DE584C-5A94-4ADF-BC70-903C38598BA4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e90b3150430a572b9a2e69589baa2fa58b804685","datavalue":{"value":"https://hal.inria.fr/inria-00000937/file/POPL00.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5178842$E23B5367-4149-45A5-92BB-BB9CB6A6A8EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178842$89AE15D5-7166-4D24-96E6-1E30A460763F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178842$A7188930-B00A-465C-87EC-C3008CA0F9EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178842$554C721B-A65B-4548-B549-DA4177365A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178842$2C57D207-09BB-4A09-BB7C-4641AC8C29C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"684e4858a13cda92bee9f96cf268f3a2138c6262","datavalue":{"value":"6416198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178842$56A217DE-AE07-4D3F-B4A0-11B2F35746D5","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":"Q5178842$5F80DDC5-006D-4A77-80E4-B1746C3E2103","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"82a097e70fcbf7f61a20fbfcb80e8dea44d28625","datavalue":{"value":"W2105033638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178842$ECA0A4DB-23F8-43A5-A474-A1EA4D404B52","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d20a0c7c4f97f94c50a4f01d68f091daa1824b83","datavalue":{"value":{"entity-type":"item","numeric-id":4408682,"id":"Q4408682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aa2ea155ff73fd6fedc35e51d15745b19a200b6","datavalue":{"value":{"amount":"+0.7349972128868103","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":"Q5178842$D84A7BBC-E6FA-4B21-AECC-38E1EC111B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab84265184c0eced371ed0a02afc20815b5c45e2","datavalue":{"value":{"entity-type":"item","numeric-id":5897372,"id":"Q5897372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6815b277233954ab2c55d921aca9129c73e716d1","datavalue":{"value":{"amount":"+0.7312946915626526","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":"Q5178842$28EC6CEF-00AB-456E-AC40-73E41932C951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c28ffde56c07e13c0f2b27208e760f8b8404e3e","datavalue":{"value":{"entity-type":"item","numeric-id":4261077,"id":"Q4261077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6596be736e4eb1f2588c00071910d99cbb459ce","datavalue":{"value":{"amount":"+0.7281174063682556","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":"Q5178842$21B7E2AB-1F32-4011-AA15-33D8C0359A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"376c6b27913e965948896446f06f6c3939a3098e","datavalue":{"value":{"entity-type":"item","numeric-id":5862671,"id":"Q5862671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e51e98af882ac2e92fa9a88a9a30592697d1bde","datavalue":{"value":{"amount":"+0.7177039384841919","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":"Q5178842$25183CC5-2EE8-4C1F-A85D-C8DA9B898F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a13b7c3782bd1b3bfcda6b987b616e0ec0d776a","datavalue":{"value":{"entity-type":"item","numeric-id":5178857,"id":"Q5178857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67f41535c09040c39502c701ce76975b821b5695","datavalue":{"value":{"amount":"+0.710673987865448","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":"Q5178842$9972C9F0-C88E-493D-93E9-C8BDCA067B9A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5178842","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5178842"}}}}}