{"entities":{"Q4564138":{"pageid":6593727,"ns":120,"title":"Item:Q4564138","lastrevid":89855888,"modified":"2026-06-04T18:26:50Z","type":"item","id":"Q4564138","labels":{"en":{"language":"en","value":"Formal Verification of Simulation Traces Using Computation Slicing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6885809"}},"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":"Q4564138$0D701F66-9F96-4464-A44E-B6CB5ACC173A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ce2473ca828e5a9a136fcfc3b5db485e436d7bd","datavalue":{"value":{"text":"Formal Verification of Simulation Traces Using Computation Slicing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4564138$6BFE8AED-C6EB-4A27-A64A-796E3CB6B558","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"605bc17538f40f67496de614c85212ecc7115fb4","datavalue":{"value":"1390.68438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4564138$4405FF51-A570-48CF-AD63-1D54EEF0FC77","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc4f4f99d3818e4bb98251deb8dd5cd96d909b44","datavalue":{"value":"10.1109/TC.2007.1011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4564138$43D8EBC3-9BA6-4DCE-A9C8-2E853F01147C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"303345841a0953e379786177ddf731fe876eb561","datavalue":{"value":{"entity-type":"item","numeric-id":724141,"id":"Q724141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4564138$02B85726-39F2-465C-BEDF-A08AF46553CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f45f82d5e189cd4082ece2dd91de330307ec2b2","datavalue":{"value":{"entity-type":"item","numeric-id":287189,"id":"Q287189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4564138$195F1862-3CFA-4C1D-A427-C5CBE51A1969","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb95ba1181f89055fe808aa2c36bea9d3930d0fc","datavalue":{"value":{"entity-type":"item","numeric-id":80442,"id":"Q80442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4564138$929E774C-B028-462C-A239-EDC8A0801EB8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6bee4c44be49e99ae67efec260a125657730bcab","datavalue":{"value":{"time":"+2018-06-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4564138$87090406-71B7-40A1-AB47-CC941AA740B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4564138$87D99D2A-E400-4378-B90D-A1B4F1EC0D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4564138$4DCE0C35-67A5-455F-8E66-CAB6E2FF7DE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d76ea52f9257ba80e698bacf0c3feff9374885a7","datavalue":{"value":"6885809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4564138$C76B7CA9-5EBC-471C-B808-71C1C7D8A220","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":"Q4564138$5B5C2E38-DA94-4232-937A-076FAD8F2EB9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0babbace04b74d4bae355d4b5a95f20edd37cd5d","datavalue":{"value":"https://doi.org/10.1109/tc.2007.1011","type":"string"},"datatype":"url"},"type":"statement","id":"Q4564138$5A44FAB7-6784-407B-8086-99CFFA5684D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"403c3297a9bf57c6a8e061023d54001abed9d5cd","datavalue":{"value":"W2170797973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4564138$F6EEB603-19A6-4547-9CDF-40F5976EC92D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal Verification of Simulation Traces Using Computation Slicing","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_Verification_of_Simulation_Traces_Using_Computation_Slicing"}}}}}