{"entities":{"Q5452712":{"pageid":7482271,"ns":120,"title":"Item:Q5452712","lastrevid":50327351,"modified":"2026-01-13T20:11:59Z","type":"item","id":"Q5452712","labels":{"en":{"language":"en","value":"On Bridging Simulation and Formal Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5259561"}},"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":"Q5452712$820171C4-463C-472C-97E5-551E232F1E77","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b84eb92418fde9911dd0f012188591a109a6fe31","datavalue":{"value":{"text":"On Bridging Simulation and Formal Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5452712$59E1E0BF-767E-4D36-B596-D336544E7121","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e03a21f3b0ff035a19ea191b6da8e952f248483","datavalue":{"value":"1138.68449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452712$365ABE0E-EA8A-4C97-B713-05FB92AFB024","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ab430549f1b1dfb38e372bf61616f1aa99afb5a","datavalue":{"value":"10.1007/978-3-540-78163-9_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452712$958FE2E0-479D-4834-B794-857D2F41960A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ea246280c5eb4245575c165ce4390137ed45ebc","datavalue":{"value":{"entity-type":"item","numeric-id":479821,"id":"Q479821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452712$7260030E-E00B-407B-8CCA-7269A6C2BDCB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452712$332E1FC0-26C8-43E8-B07C-1AE9E175FD14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"283c808929f873b84bd7c8d7eb4dc979113b8f01","datavalue":{"value":{"time":"+2008-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5452712$E7DF70C2-D0BA-4C5A-A1FE-3AFAE128942B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452712$9186130A-DD07-43CF-98A1-39A75CD55956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"effafbcb0d14f283a888b55b376e46f500ec447a","datavalue":{"value":"94C12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452712$408B57DC-5062-45B3-A507-552530A8D7D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c241f2ebfab5bb9021d0d2c786029f2e94abb39","datavalue":{"value":"5259561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452712$FE110A0F-B9B2-48CF-B5DA-6D8C8B45729E","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":"Q5452712$D720B8CF-83C1-46B5-9351-DDD3BD7A6AFD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"37547ea0098753fa03aefea91169f967381a9936","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78163-9_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q5452712$0B439570-B303-43B7-9941-68977612619F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7554d8179a56ac2e961978ddf8469f4d7e13501a","datavalue":{"value":"W1499408584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452712$45EC81B8-C738-446B-9903-AB5F289ECB63","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"01445161a3b2a674e00b2dadaf15c55e40fc9290","datavalue":{"value":{"entity-type":"item","numeric-id":5452712,"id":"Q5452712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452712$A781749F-CC0C-4E82-8363-9BBFAE61ECB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cee5ce99745582a300ea09e155a2a37836fddb81","datavalue":{"value":{"entity-type":"item","numeric-id":5756586,"id":"Q5756586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452712$E6CF5E75-E1F8-4B8B-BA49-F8A516272D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01f756f8af5ec9c45881ab45ce030c84758cbfea","datavalue":{"value":{"entity-type":"item","numeric-id":4809054,"id":"Q4809054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452712$C31E0CD3-D954-40FD-B8BE-829C9C4B98AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b1137cf78c4cad0e217f70ec321f2a593915490","datavalue":{"value":{"entity-type":"item","numeric-id":2751353,"id":"Q2751353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452712$428BE099-3235-4B62-8A78-19AAA1263957","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1129ff0b010a4a504e3137d8b4eee2c6c49ff94","datavalue":{"value":{"entity-type":"item","numeric-id":4824978,"id":"Q4824978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfa019ab28b6a77a3dbd9642f2499aed7730b1b5","datavalue":{"value":{"amount":"+0.7802133560180664","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":"Q5452712$FA48B6D5-9EAB-49D8-A814-FCE7A949EF02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dade4585760ac78825fd0050bd0942512e34972e","datavalue":{"value":{"entity-type":"item","numeric-id":4804902,"id":"Q4804902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e039a228b9bda852ea767cd40b2cbb7ca51c89b1","datavalue":{"value":{"amount":"+0.746992826461792","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":"Q5452712$AE39DA07-0B0B-465D-9622-CEDEE03BC812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6256ab41b737a769ba43777d707dda5f58372ced","datavalue":{"value":{"entity-type":"item","numeric-id":4458553,"id":"Q4458553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0be21a0083f7b2ddceeaa758527312f01cfbbaf8","datavalue":{"value":{"amount":"+0.741959273815155","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":"Q5452712$DBA6BD5B-6824-4A34-B6CA-F0E29D24B005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aca5cc289be4a8a1a484d5edcdbaeb09301b7f64","datavalue":{"value":{"entity-type":"item","numeric-id":4302838,"id":"Q4302838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83cdc81c04090805e642ab6232faf46c732a8e72","datavalue":{"value":{"amount":"+0.7360008358955383","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":"Q5452712$7865F550-A63A-4B44-9BA7-3B9A036D434E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"784b6cb64628b67d076bbdbd822813ca03d1b8d8","datavalue":{"value":{"entity-type":"item","numeric-id":5899153,"id":"Q5899153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae1e7c6821d24351131e00f70210855f87e8b0e5","datavalue":{"value":{"amount":"+0.7344706654548645","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":"Q5452712$E3B74D20-66AA-4DE1-B09E-6C7DD12E1977","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5452712","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5452712"}}}}}