{"entities":{"Q5013880":{"pageid":7043457,"ns":120,"title":"Item:Q5013880","lastrevid":58404096,"modified":"2026-04-05T01:50:13Z","type":"item","id":"Q5013880","labels":{"en":{"language":"en","value":"Simulator semantics for system level formal verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7438570"}},"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":"Q5013880$60DD6A33-73A0-4EE6-B7EA-BF5F256233CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b85fa247831678aab2b7a4089fbe3a0a7da2032","datavalue":{"value":"1476.68153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013880$03DD943F-6BD8-4BCC-905D-7A1B2A97A102","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5b9f5cfb00713d388bb8fa24dc1e4b15d3949c7","datavalue":{"value":{"entity-type":"item","numeric-id":1020488,"id":"Q1020488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013880$C2A5BA7C-928E-4FC9-903E-1B582E996F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b7849eca3a35fa0e3c231b21e64d9737d18d3f0","datavalue":{"value":{"entity-type":"item","numeric-id":1675915,"id":"Q1675915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013880$C236EF6F-118B-4FCA-A9E8-389CD195A4C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f071a7bf2ab586ad65c67abcb7d73ae3d2d68fb","datavalue":{"value":{"entity-type":"item","numeric-id":397405,"id":"Q397405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013880$BF652492-689B-42B3-980D-4EA5F6A91A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a357fda3647bc7bd0bed1134727ddfa0047069d","datavalue":{"value":{"entity-type":"item","numeric-id":397406,"id":"Q397406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013880$BAD9E400-8C2B-4F82-A3E8-5015BEFA2553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4aff685acd2b636e7826686304c5646bff1b33a","datavalue":{"value":{"entity-type":"item","numeric-id":1045175,"id":"Q1045175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013880$17C4C2D8-586B-41AE-A266-167C13F1BC8F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7b96a758805bdeb47bb61cb1b2b3e6013568fae","datavalue":{"value":{"time":"+2021-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5013880$AD600D99-ED2F-4FEB-80BD-8AF306B56BD7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99c4514261a00770b928391b3cdcf072901bd1d3","datavalue":{"value":"https://arxiv.org/abs/1509.07201","type":"string"},"datatype":"url"},"type":"statement","id":"Q5013880$146104A5-F797-4836-8672-FC5422B40B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"e06554b54a454e43cacb74733b10485d190ecc96","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF2015.7","type":"string"},"datatype":"url"},"type":"statement","id":"Q5013880$0D8E9EFD-979A-4AA9-86F9-9B7B449A40A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013880$FCE96980-6B91-4ADB-A4B1-A8947871F3D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013880$B9F8AE7B-1275-4B97-91D2-6171A954CAE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ddc9f3b482604e3dacdf3111aa4c7d9632c20ce3","datavalue":{"value":"7438570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013880$26564D64-055E-4CD3-9638-E44768D71B55","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a2d4ca8edce66e9f19be814b91df2731c2a6ebc7","datavalue":{"value":{"entity-type":"item","numeric-id":21697,"id":"Q21697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013880$8409C674-8CFC-48AB-A4EB-0F6295B80F93","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":"Q5013880$7ADCE7E3-1A72-4454-86A7-AA69D6543DEB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"deeb15f82bae9b7ac4ce1369493e9707d6e267ed","datavalue":{"value":{"entity-type":"item","numeric-id":606064,"id":"Q606064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013880$D8C3C94A-0425-4B85-AE40-6FB0075927A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b92ebf1bc10aa4d54ce3219d0b1b6f0ced96007c","datavalue":{"value":{"entity-type":"item","numeric-id":2565429,"id":"Q2565429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013880$C778E775-0B52-4EB3-96CA-7A6894E42F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"535956fc20c7dcc5f9725d96fc561c759a0685f6","datavalue":{"value":{"entity-type":"item","numeric-id":5962116,"id":"Q5962116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013880$5A1AAB65-95CD-4733-8D40-3B12FC8EEAAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82dad48462befa18db30e5c03cc344bf2cbefce0","datavalue":{"value":{"entity-type":"item","numeric-id":4291102,"id":"Q4291102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013880$9E7F5545-EEFD-49CF-8100-BE189853EE60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55751d39474f8b9d5110f063d1a573ceab3ef960","datavalue":{"value":{"entity-type":"item","numeric-id":4400449,"id":"Q4400449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013880$BABDFD75-3C0A-4695-9A39-1FDA18CAA30D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0773f68d76e03445d0ebfcff953ef2cdca72ae2e","datavalue":{"value":{"entity-type":"item","numeric-id":2985888,"id":"Q2985888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013880$49731DF6-DE33-4732-844F-5AE2C39694AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0343ef019d5d4c03aea4c10b0fdf0c7d7292b4f2","datavalue":{"value":{"entity-type":"item","numeric-id":2248081,"id":"Q2248081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013880$DE75AE25-1F15-4DD1-8786-7CFC30143052","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8675dcdfc820a38f5d7fa0db547b7f8ef494869","datavalue":{"value":{"entity-type":"item","numeric-id":2035653,"id":"Q2035653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00de86b45a6f8559a8ff215e7ebe2302c9c49372","datavalue":{"value":{"amount":"+0.8010197281837463","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":"Q5013880$6D26C797-DEB8-4006-973B-41D4083D3F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b67f146cbc82cc5d55688611e4e6bcd2add2bdaf","datavalue":{"value":{"entity-type":"item","numeric-id":5943268,"id":"Q5943268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3f94c7c87c3b7b0dc458602a96fa6a00fe18d8a","datavalue":{"value":{"amount":"+0.7598202228546143","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":"Q5013880$6FB33D32-E6D8-43B0-831B-5D2DE054DFB7","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":"e97430d844c624a7afd31b6563fc9781e17d45cb","datavalue":{"value":{"amount":"+0.7393805384635925","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":"Q5013880$D73F5672-F3E2-46FA-ABFC-05BCC9C64BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1403bcd9bdc8140ebde2599ae7c17319683ae5a","datavalue":{"value":{"entity-type":"item","numeric-id":4589244,"id":"Q4589244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"747f1c0ed3035f800cdfcb0c13e92794ef3da8d1","datavalue":{"value":{"amount":"+0.731037974357605","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":"Q5013880$2CC87895-EA1E-47BD-8708-1D6B3D2F6314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d832fc7288a7d27de9cf41ea626feb042b1c935d","datavalue":{"value":{"entity-type":"item","numeric-id":5452712,"id":"Q5452712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a1c7f10f213f476df61cf3fd3b19b1f848d51fd","datavalue":{"value":{"amount":"+0.7188213467597961","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":"Q5013880$483FD9F2-C7BA-4E64-9BD7-9D0041D9DE7B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5013880","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5013880"}}}}}