{"entities":{"Q6198467":{"pageid":13333355,"ns":120,"title":"Item:Q6198467","lastrevid":55587784,"modified":"2026-02-17T19:18:03Z","type":"item","id":"Q6198467","labels":{"en":{"language":"en","value":"String abstraction for model checking of C programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7808265"}},"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":"Q6198467$9CC18704-E0CE-4CBF-94C5-D41AC442C8E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"918c986c2e170a2bee0cebb20faf0d7ffaab0f8a","datavalue":{"value":{"text":"String abstraction for model checking of C programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6198467$B9BC1D23-ED67-495D-BED3-DD2AB5619B78","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6822cb1de54deba09388c32c46b2a0e036d68ff","datavalue":{"value":"10.1007/978-3-030-30923-7_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6198467$DC691C43-26C1-4352-AC24-9C4E8AE7C954","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"99f1e01c1ca45d75923d43d128b5313055f8091d","datavalue":{"value":{"entity-type":"item","numeric-id":456468,"id":"Q456468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6198467$D1A8941D-D5BE-4855-96D7-CE6E770ECF35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9519d0a7f273f0ebff5401577dba2047d39191e8","datavalue":{"value":{"entity-type":"item","numeric-id":1623142,"id":"Q1623142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6198467$40E5EC8D-4213-4BB9-A12E-78A18638BDF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8153105df4a6157a79383e64b85be1dc508ac348","datavalue":{"value":{"entity-type":"item","numeric-id":2051811,"id":"Q2051811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6198467$B75D155B-135C-42B1-9159-06B44F5C11E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b05bdf8af4a0c40e6ee8da87ee255ff92a6e2df1","datavalue":{"value":{"entity-type":"item","numeric-id":6198466,"id":"Q6198466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6198467$F3E4C445-9F13-4E3B-9B48-CBB7F08EF17A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"522e9e5b50831c9c990a6ebdcfb4c44f217acf10","datavalue":{"value":{"entity-type":"item","numeric-id":2814620,"id":"Q2814620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6198467$2F65B795-3CDA-4E05-80B4-A6514380A009","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0e577acca6061328888ba7365d7ba637bb2ce80","datavalue":{"value":{"time":"+2024-02-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6198467$87D22D42-C449-4985-B24D-579237066D21","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"91cb2dfe988438d1d52d34732c6f4142e2e698ce","datavalue":{"value":"http://hdl.handle.net/10278/3721099","type":"string"},"datatype":"url"},"type":"statement","id":"Q6198467$672CC259-6226-4D3C-B06A-578229E07B75","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6198467$F1EC4AE5-B45E-4684-B7A8-D0F22A4F9930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6198467$74F20A22-628E-40F2-B8BA-77E8FECA5F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6198467$F4448CB4-4207-4C13-9972-A5D463A43542","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54db6e742afa42e564cce7e92ed40108898c5512","datavalue":{"value":"7808265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6198467$E27A5EE3-9237-4F18-933A-3517EE36CFD2","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":"Q6198467$B53922F2-9B3A-4C9A-B253-BC337FC0D3F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1f94f048ea35814d5baea462820b4a59141b67a9","datavalue":{"value":"W2977534611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6198467$06E50280-8B8A-4FFD-BD2C-2F470F3C14FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"155ffd26ad2667f85bcbb0502113e44f57f498c0","datavalue":{"value":{"entity-type":"item","numeric-id":6536304,"id":"Q6536304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b88aac61a86534fb996e618a14c474453217684","datavalue":{"value":{"amount":"+0.7747450470924377","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":"Q6198467$6814C617-E17D-472A-A924-AE2862463B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa7a610a5a912c01d0d95c64ce3b4ff60fa6a43e","datavalue":{"value":{"entity-type":"item","numeric-id":4804884,"id":"Q4804884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"211e35af6bd68e88abf7f2a5f3e293b45a0839a1","datavalue":{"value":{"amount":"+0.7576990127563477","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":"Q6198467$DAF1CEEC-7C73-48D5-B7BF-F74EC14F2BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8e7b8d33e7ec5767ce8ecc4f52ba21e81256ab9","datavalue":{"value":{"entity-type":"item","numeric-id":5424313,"id":"Q5424313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f485406236a3d348353223e8e8c6e2d8bc907d4c","datavalue":{"value":{"amount":"+0.7564525008201599","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":"Q6198467$A37B6573-2737-473C-8D3A-009F69C5BD65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bed03ff244bd448296e984cc4bf4f360cb72a649","datavalue":{"value":{"entity-type":"item","numeric-id":4414376,"id":"Q4414376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3ff94e207185d44421d73fc51c5d0c81146a765","datavalue":{"value":{"amount":"+0.7535601854324341","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":"Q6198467$1BB0048B-DFB9-4C1F-B0E4-6B9EA011F4B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17a1f70a93699612fed2c9887010650756cac4c9","datavalue":{"value":{"entity-type":"item","numeric-id":2769592,"id":"Q2769592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d1187fa87d6d1960e53086c43145ceb7bd4d21b","datavalue":{"value":{"amount":"+0.7510302066802979","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":"Q6198467$64BD46A1-801C-4991-B721-DB1C5ECD583A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6198467","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6198467"}}}}}