{"entities":{"Q507345":{"pageid":509112,"ns":120,"title":"Item:Q507345","lastrevid":62359419,"modified":"2026-04-11T05:33:17Z","type":"item","id":"Q507345","labels":{"en":{"language":"en","value":"Special issue on program verification, automated debugging and symbolic computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6680821"}},"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":"Q507345$6080433E-0D29-4B4C-B432-87F95CA8E309","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95929957cb4e2203cdcdf692967ccb4150661ea1","datavalue":{"value":{"text":"Special issue on program verification, automated debugging and symbolic computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q507345$7680086C-8779-4AB5-A8B2-50F1FDDF60C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"abbac6e67384d146e3f8714159cb48d765af501f","datavalue":{"value":"1360.00099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507345$A68DE071-EA12-47CE-BB57-52948CDDD1CD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507345$A16D637E-5CDA-42A4-B5DA-BAA35D3B02D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69224595960101be6ec21574e4c403135d7942f5","datavalue":{"value":{"time":"+2017-02-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q507345$14F95973-2FD5-4397-B4AF-69D9C3DF615E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"342a6161f41187e2c595daa41b09cee10ab1ace9","datavalue":{"value":"00B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507345$F4ADC141-D046-4AB6-9ED4-A6DF6BE038C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507345$59127227-5D9D-4419-B981-EE04336F0510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507345$B2293788-4CCD-4CF2-9050-684C7EF422C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507345$26902B64-B845-4915-98F4-908E6E1D9EAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b12f4716581d9bd9be1b41c326aa9ab1dd87c456","datavalue":{"value":"6680821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507345$48910540-4D8C-42E8-BBDF-318F60DB4511","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":"Q507345$0368C448-9197-48AA-A94E-E893A1E62150","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"00e713249bc41c712e478fbcc7463ef6b8f15e4f","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2016.07.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q507345$129DB3ED-E5F8-47A8-AE9F-C73F90D73B2B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c05c6c457274107b16764c0e01f387784f4087d5","datavalue":{"value":"W2462057333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507345$B57BA4BE-F3C6-4DBE-AD80-74AF47A21A8B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4cb996c3bba46e51a5b7d56445d330e38e05a87f","datavalue":{"value":"10.1016/J.JSC.2016.07.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507345$1C1F47C8-004C-4CE0-AA15-4121173635DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f2c2f9662d0d8f4cdfffd84977014a5975856f7","datavalue":{"value":{"entity-type":"item","numeric-id":1640635,"id":"Q1640635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13a83162ce460547809ce145fb88294005bd4994","datavalue":{"value":{"amount":"+0.8313277363777161","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":"Q507345$85B792DF-68EA-4C1E-9F23-012A82CADE54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a522e6e7a065afd4265e2eb9248e767076695663","datavalue":{"value":{"entity-type":"item","numeric-id":485826,"id":"Q485826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75ddc7538e1eac5d28ff01935e584a040e7a56f3","datavalue":{"value":{"amount":"+0.7571768164634705","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":"Q507345$7823997F-609B-4C03-B01B-E81BC59DD7F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39499cf5b95be2c0c5eb3017e7a63d2e4441ca4d","datavalue":{"value":{"entity-type":"item","numeric-id":2307620,"id":"Q2307620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3892b3163f2507ba9db7c8193b89f00e111c8b59","datavalue":{"value":{"amount":"+0.7299787402153015","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":"Q507345$864AD0A3-7E7A-4439-8736-05B2C367C5BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce2c74b429d2d4fc312fba1dda4d8d48abfe6969","datavalue":{"value":{"entity-type":"item","numeric-id":739623,"id":"Q739623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec3399da15ff0df37e223d3d65392a59026553b2","datavalue":{"value":{"amount":"+0.7249531745910645","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":"Q507345$7054047E-52ED-4FA1-9437-E305EA676687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d81ff59856836500fac479c88f59c1d1daad9b4a","datavalue":{"value":{"entity-type":"item","numeric-id":1703005,"id":"Q1703005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99b71d2d60248225ef01949a684482357a4640b6","datavalue":{"value":{"amount":"+0.7133140563964844","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":"Q507345$5CAD90A2-0955-4D79-ACCE-B2A73C9ECEA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Special issue on program verification, automated debugging and symbolic computation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Special_issue_on_program_verification,_automated_debugging_and_symbolic_computation"}}}}}