{"entities":{"Q5178906":{"pageid":7208478,"ns":120,"title":"Item:Q5178906","lastrevid":52226669,"modified":"2026-01-21T05:04:39Z","type":"item","id":"Q5178906","labels":{"en":{"language":"en","value":"Predicate abstraction for software verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6416268"}},"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":"Q5178906$35185AA5-8F78-4808-84C6-D8BCA7C0FC76","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7730735234329975a065593282e372c120be2925","datavalue":{"value":{"text":"Predicate abstraction for software verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5178906$B0911620-0AC2-41FF-BC08-183B21EA57C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e369c288b5092d3e5ad92ed4ec8b751c94fabed","datavalue":{"value":"1323.68371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178906$12A89FB2-5BE0-497E-BF30-C003A1106F10","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5902807f495494900468d70c85b1e8c7e89fcbd1","datavalue":{"value":"10.1145/503272.503291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178906$06F14B91-0B5C-42E6-A0AB-5225BD961354","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38126dc183098febb961ba3435b28eb28edd09c1","datavalue":{"value":{"entity-type":"item","numeric-id":557791,"id":"Q557791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178906$E27EE90D-6BE4-4FDC-A980-0C2BB2133D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e61e1c15131a00734d19fb57dbeb828f0f9aa5db","datavalue":{"value":{"entity-type":"item","numeric-id":557793,"id":"Q557793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178906$63029F53-A0D8-4B01-8339-9B07698BAA67","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19d34c79dcb21ff5f6ae9d83e7c1b224cf605fc5","datavalue":{"value":{"time":"+2015-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5178906$EB3DE38C-56B4-46FD-AE3B-9B559F70D9B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178906$875E2A2D-7903-4389-8746-C1E0C1201840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178906$C1E9EFDD-8D3B-46DD-842A-C2EA8EF09C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178906$4DCDDA26-A0E5-4E99-818F-D8BEAF909B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178906$77DA0C0C-ADBC-476C-83A2-FFD3B93D51C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178906$98D749BF-6830-491F-888B-0F690615E47A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc9660354e37959bd137c8ec2b7f2861b97615ff","datavalue":{"value":"6416268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178906$A2CEE71E-5BC3-422B-9771-641FBFCBA946","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":"Q5178906$5D09C519-35C0-4406-BE0A-87BE6C6C4992","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b563def2b48ada5141168cbe774a74bd02b4990","datavalue":{"value":"https://doi.org/10.1145/503272.503291","type":"string"},"datatype":"url"},"type":"statement","id":"Q5178906$0E5F4C57-9A75-450C-B5E1-13FD6D961FDE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9530ad433e6687cdf82191b32059ad93f83bd2c8","datavalue":{"value":"W1972085995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178906$6762C4E7-7D22-4696-B674-F98B49DB7204","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8d9ca57d4fc9ba55a27a8df00198d7399d2b5a04","datavalue":{"value":{"entity-type":"item","numeric-id":5747527,"id":"Q5747527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178906$03E9ABAC-C733-4295-80EF-94A6BC0CB8ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfe92b7258e0af482e7fb1d334c65fe05402d844","datavalue":{"value":{"entity-type":"item","numeric-id":968302,"id":"Q968302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"062a13abeec9dc2667e1bd34f38b47bbd1f7cef4","datavalue":{"value":{"amount":"+0.852345883846283","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":"Q5178906$D95F3164-C783-40E2-BF19-DBD553F7AC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bac9d4d28f254e49858c9874367df8c34d82c78","datavalue":{"value":{"entity-type":"item","numeric-id":3176373,"id":"Q3176373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c60d11fc60735d0af482df2bbe1e1e9b7fc459db","datavalue":{"value":{"amount":"+0.8178988695144653","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":"Q5178906$9BFFD424-3516-42FE-B5B0-445AE73E7029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fef1008b80011faf6c45c5de6770c7a7142f4b24","datavalue":{"value":{"entity-type":"item","numeric-id":5901914,"id":"Q5901914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f77a04fbc1b4fa804a448f57e313514e860d92a","datavalue":{"value":{"amount":"+0.8125230669975281","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":"Q5178906$2BC8DABA-99DF-4A2C-A64B-223ED16E9A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bb0e9b3dbee4bdb0590f729f77b329e548a2945","datavalue":{"value":{"entity-type":"item","numeric-id":5703774,"id":"Q5703774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eeab16d2a9989aa8d60f679aa128cc2129b0a7c1","datavalue":{"value":{"amount":"+0.811012327671051","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":"Q5178906$9B7316EE-A984-4CA0-958B-E2E78DA44139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ba55ee38a99d46604b9b2feddb9efbde5b9b1bb","datavalue":{"value":{"entity-type":"item","numeric-id":5240105,"id":"Q5240105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5155ad45e37da6f84b412e26b0c186f4b1e98c62","datavalue":{"value":{"amount":"+0.8107157945632935","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":"Q5178906$DBA2E3C0-73E7-470B-8DDD-0F8669C4A7DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5178906","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5178906"}}}}}