{"entities":{"Q2035653":{"pageid":2046395,"ns":120,"title":"Item:Q2035653","lastrevid":54029252,"modified":"2026-01-26T03:15:37Z","type":"item","id":"Q2035653","labels":{"en":{"language":"en","value":"On checking equivalence of simulation scripts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7363405"}},"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":"Q2035653$DF751D5F-7470-4846-AEB8-0B8DFEE3786C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0979355fd1c265eab4acbf6e4c6626a211673f86","datavalue":{"value":{"text":"On checking equivalence of simulation scripts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2035653$955F4A9F-CA74-4512-B9AF-E1AC7F595D4C","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":"Q2035653$E2A12900-970A-456A-9ACE-0022D951264D","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":"Q2035653$CB449427-FAC7-4937-8FAE-7538ADA19761","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":"Q2035653$FB8219B4-7894-41A6-A51D-47152A91C84B","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":"Q2035653$BB3640C3-61E9-40BC-810D-E89CDA54E05A","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":"Q2035653$F9CF0BE7-1C54-4A03-A6E1-57BE44B75E45","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035653$951259CB-5D9A-4825-BA68-3D7F53F453C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f808cd8ede5cddae3cd8b5e13616f018d09899f8","datavalue":{"value":{"time":"+2021-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2035653$1DFAF07F-CD41-406C-BD9F-9141C1D68AE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2035653$7C101FBA-AD9B-45F1-832B-50883CADE54B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af388e71fceefca908274ece08580166a397b12e","datavalue":{"value":"7363405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2035653$82834290-F123-4524-ABDA-192E29512F95","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2035653$0DD0BD94-0436-422A-84DA-33D3B2F03DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dd72331d64220b1cee17fe2b712f3d97a58f18c","datavalue":{"value":"simulation based formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2035653$4C7E156A-17D7-44A4-BFA1-FA8A9411ACF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbb1810a733b7551fd6fc55da95c5af16d23f768","datavalue":{"value":"formal verification of cyber-physical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2035653$835D4EF3-F716-4916-928D-E67EE4E82876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70b2b990fb00de983a96a4094723be96883b6905","datavalue":{"value":"system-level formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2035653$E09C53C1-4B50-485F-A0B8-5C122CFD6251","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"692549050d1bcf7f893cd2ef126329e66dbd37cf","datavalue":{"value":{"entity-type":"item","numeric-id":16529,"id":"Q16529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035653$AFDC4D5B-5FE5-4252-A45E-68DED86F2899","rank":"normal"},{"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":"Q2035653$56A7EE9C-4E9E-4861-A739-D965316D26FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b424b0f4cf122cdeae51acafebcdf4dbab7ee597","datavalue":{"value":{"entity-type":"item","numeric-id":21754,"id":"Q21754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035653$C7703EB8-91E9-438C-ABE2-B887E2502EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39d39ba802dd351e3e6aa58aa56f220d6f12006c","datavalue":{"value":{"entity-type":"item","numeric-id":31986,"id":"Q31986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035653$6B3E4684-DB02-485C-927E-A0DF4FA78619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42bb6883144be7c7f9497f9e3bba727f80e1e22b","datavalue":{"value":{"entity-type":"item","numeric-id":16309,"id":"Q16309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035653$C1A67CCC-CE07-43C7-9D6F-44FD645249E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035653$ED28F634-1241-4DB9-98BC-5AAA8F963F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035653$CCAD079D-A656-43DC-9EA8-73DB328811A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d04a1d11439f3b2050746e3436a67b65086a7e92","datavalue":{"value":{"entity-type":"item","numeric-id":18416,"id":"Q18416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035653$CA35B960-3E2E-44CE-A3CA-760D9CE29B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aaf2fafe45c14895e48033f808173a7a8d98e60f","datavalue":{"value":{"entity-type":"item","numeric-id":39834,"id":"Q39834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035653$FD60A8C2-6407-4226-B60C-8D5761982E82","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":"Q2035653$0C40A00F-8955-4073-8C5E-08086BFB9B51","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9a56ddad2ba784c4a84820e1c4306fc5221936fa","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2021.100640","type":"string"},"datatype":"url"},"type":"statement","id":"Q2035653$35F1321A-915E-43C7-A5F3-3AB2A0A82486","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7f7f4ec5f8513d2c8ff6d79064dd830d9f4df915","datavalue":{"value":"W3122374654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2035653$BA8C938D-B250-4EC9-89C2-F41737657C08","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a388ffd503a2561c64bae2f63ad0b8c1881469e","datavalue":{"value":{"entity-type":"item","numeric-id":1856193,"id":"Q1856193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035653$3073D20A-FB8C-4886-A4ED-DED025A1C24A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf16720b7d0b21f96024599d01fa01e2893ec80","datavalue":{"value":{"entity-type":"item","numeric-id":5703927,"id":"Q5703927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035653$98612960-4059-45C4-8E14-CA0223E92441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaf44443ba601273b9cb87b024446ec48f6eb403","datavalue":{"value":{"entity-type":"item","numeric-id":4589244,"id":"Q4589244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035653$40520EE5-D1F1-4A16-B5B5-146A85B5E6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9574e494d12b532f5a5e182380f7d6af71c031b2","datavalue":{"value":{"entity-type":"item","numeric-id":1675917,"id":"Q1675917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035653$613710B1-F6A3-4503-B658-A392138F180A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49dcec941fbabe5c7e45a254e22649818bf640c3","datavalue":{"value":{"entity-type":"item","numeric-id":5013880,"id":"Q5013880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035653$E574D500-861B-4885-8A8F-1DAA2EF060D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfb360bab136fc213fff4b32587447303de3575a","datavalue":{"value":{"entity-type":"item","numeric-id":5428888,"id":"Q5428888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035653$74513E65-32D2-47A8-86B7-81AEE5BF3D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3587daf8b7bb37c28a02a6be9585e6348d1d132","datavalue":{"value":{"entity-type":"item","numeric-id":2971175,"id":"Q2971175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035653$E53B3D27-5485-4EC8-ACE6-B59F65B54A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4210c8aea09880546d29e9e230c6a0170c66e8c","datavalue":{"value":{"entity-type":"item","numeric-id":2151263,"id":"Q2151263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035653$C0EDBD40-11EC-40DB-BFD8-3684B98225B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e0edae619a04e17e20552767154eebf071002c5","datavalue":{"value":{"entity-type":"item","numeric-id":3000653,"id":"Q3000653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035653$42E705C5-FBAE-4995-961F-978914AD0B2E","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":"Q2035653$DA45CCA1-8DAA-4E0E-AC10-082C12D0BBE1","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":"Q2035653$DA8AAE3C-EA57-4027-A08C-B78EB3A6A949","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":"Q2035653$1F1237E7-48E6-42BF-A753-9217E841B4CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ed13fb4bffd31a04872c2225451d4f9bd400e70","datavalue":{"value":{"entity-type":"item","numeric-id":3066126,"id":"Q3066126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035653$C4D3E3AC-6DD3-4266-A3DF-0DE27D799A61","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":"Q2035653$AA880954-FB8C-4821-9177-F10B1E6F5EBE","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":"Q2035653$CCB24CB4-7439-45E1-A053-9A98814125E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf42767f1304fb91275710a13520bddb653062c1","datavalue":{"value":{"entity-type":"item","numeric-id":4566875,"id":"Q4566875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035653$588938D7-32D6-425F-A5A0-E8CEF07CA8D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b368709415fa01eaf0e85481987d432a12b96e9","datavalue":{"value":"10.1016/J.JLAMP.2021.100640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2035653$7134A3C0-E754-475C-84E5-75660BDA2587","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e646b0e6df1bffaa051f0b72253bc7b72dbe857","datavalue":{"value":{"entity-type":"item","numeric-id":5013880,"id":"Q5013880"},"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":"Q2035653$A58C9FF6-8BDB-432F-AD17-4FA19E3756B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1835b46a273dae2ab15b54088960e74b6e71ce73","datavalue":{"value":{"entity-type":"item","numeric-id":1675917,"id":"Q1675917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8184f9a61f6dcd2a3d17e1ffa3f3337a878d35d","datavalue":{"value":{"amount":"+0.7069015502929688","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":"Q2035653$D43FE65E-C8A9-4A4B-ACC9-991F2BC1A565","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":"fb77d251bfbeb8651906d396496c691479930628","datavalue":{"value":{"amount":"+0.7034152150154114","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":"Q2035653$CD204307-0652-4203-9C16-143FAAE2C248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4941665f44be54c93e6efcc5e5f6593d9497a955","datavalue":{"value":{"entity-type":"item","numeric-id":2842628,"id":"Q2842628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bdc05b8560c956f501f6d2ead2bd1c2b2964534","datavalue":{"value":{"amount":"+0.7018064260482788","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":"Q2035653$93CD71F1-19F9-41EA-A257-4D722B7CC294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19801ad8f3e344e4474cfb8c346fa2bd42007f20","datavalue":{"value":{"entity-type":"item","numeric-id":5898984,"id":"Q5898984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e45506bd92904dd7bdc2c5e2f570b06c9d721fa","datavalue":{"value":{"amount":"+0.694279670715332","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":"Q2035653$7DBC0649-CE87-4A71-B4A8-FEC6855B60F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2035653","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2035653"}}}}}