{"entities":{"Q3460058":{"pageid":5239458,"ns":120,"title":"Item:Q3460058","lastrevid":52431428,"modified":"2026-01-22T15:28:43Z","type":"item","id":"Q3460058","labels":{"en":{"language":"en","value":"Verification of concurrent programs using trace abstraction refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6528785"}},"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":"Q3460058$6A919265-8CB7-450D-AA80-54AE35045760","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53d7ddad93387a113ecd25da3ee660a38cb6d514","datavalue":{"value":{"text":"Verification of Concurrent Programs Using Trace Abstraction Refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460058$44C7187C-5A1F-46EF-84BA-93C28ADE48B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ac49dc7d11d7917737917be67dd8b061198f8f4","datavalue":{"value":"1471.68134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460058$77052DB9-3950-4814-B4AD-30DAFADB876C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d9298877cdd0cd8bd6f719a67fe8164272622647","datavalue":{"value":"10.1007/978-3-662-48899-7_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460058$5C681D64-41C2-481D-B08E-8858B0DD1B80","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d0cd92bc58c10a1fde8ab26d005df17543d6e92","datavalue":{"value":{"entity-type":"item","numeric-id":209127,"id":"Q209127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460058$B0AD0F43-5D1E-4244-8A04-2235AC155BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c1050c411139c3c898b3c61770f0876d5c6a7fb","datavalue":{"value":{"entity-type":"item","numeric-id":3460057,"id":"Q3460057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460058$6C471006-BE9C-4122-8749-30BEF57F28DE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460058$2D88DD92-A5C4-411F-86BF-2F5BA9B8CC00","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f91432dc3d3ba35c1a5312422600047e5b632480","datavalue":{"value":{"time":"+2016-01-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":"Q3460058$79AEA550-1A80-4662-AD59-859E8A1D7F63","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460058$73916593-DE22-4D85-BEEB-C3013A601F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460058$99796673-D019-4193-B677-52713F582974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460058$3C4BFB18-F90C-4D3D-A953-698B1776E1DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"817bb5b1e2c4dfcfb4090f61651b6a564856683c","datavalue":{"value":"6528785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460058$4029594F-C069-44B2-8FFB-51209D01C4D4","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":"Q3460058$5B3E8CA0-94EB-4C5A-A0FB-DF8F0B02D429","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d4aa51e49fc411f49055ef686ac0ea840b0a02d","datavalue":{"value":"https://doi.org/10.1007/978-3-662-48899-7_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460058$3535C6C2-E241-489D-82FD-A27BBD26D64C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"03ba1b5507707075b2300668d5a6d701794c22a7","datavalue":{"value":"W2272690707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460058$B6A713A9-E4F9-4594-A9F5-57D9BF743F9A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11529eb4ce409ad0cf813c2502fa801a2afa7f1a","datavalue":{"value":{"entity-type":"item","numeric-id":4931292,"id":"Q4931292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94a1e2bd831234f86fc330d6982002e951fc9736","datavalue":{"value":{"amount":"+0.7758491039276123","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":"Q3460058$89E709C7-2A58-4F33-879E-286A6D75BEF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85ebbee7b7abce6bc9db7943aebd0d1ded4c399e","datavalue":{"value":{"entity-type":"item","numeric-id":1888200,"id":"Q1888200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abc107ead848808defd0d9bef71d6d45620687ae","datavalue":{"value":{"amount":"+0.7744207978248596","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":"Q3460058$EDA39BC2-B556-4B14-A664-434180EE6DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6280968fe690e7be43107812b81308c6376fb292","datavalue":{"value":{"entity-type":"item","numeric-id":4496257,"id":"Q4496257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d349ddf732603ee8043f8f7cd2b528ec3c1e6e7","datavalue":{"value":{"amount":"+0.7687839269638062","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":"Q3460058$09CB68D3-78C0-4206-94E2-FC39D0C60DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9568d7ac0fc09d966ca5b5ebe36c58b673e186c1","datavalue":{"value":{"entity-type":"item","numeric-id":2234071,"id":"Q2234071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b92c18d44087ae3462f7882fce8892e449330882","datavalue":{"value":{"amount":"+0.7657516002655029","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":"Q3460058$7FBE068E-9D22-46D9-BE9A-6F9CC63FFC0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d41f89afb4ef85cf38e5a0f13236881b477136d","datavalue":{"value":{"entity-type":"item","numeric-id":4037108,"id":"Q4037108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c3490bc583f4bf7e2171bb1de57fc95c1965398","datavalue":{"value":{"amount":"+0.7618694305419922","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":"Q3460058$F64C90E3-62DD-4839-98D4-CB74D3EF1FDB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3460058","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3460058"}}}}}