{"entities":{"Q2848871":{"pageid":2859591,"ns":120,"title":"Item:Q2848871","lastrevid":51823235,"modified":"2026-01-20T05:38:08Z","type":"item","id":"Q2848871","labels":{"en":{"language":"en","value":"Bounded model checking of recursive programs with pointers in K"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6208049"}},"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":"Q2848871$0EF84DD6-D4B8-46FD-BEB1-065D13864B8C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"013706313de035f9ef237c7afd57f008d00e7d56","datavalue":{"value":{"text":"Bounded Model Checking of Recursive Programs with Pointers in K","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848871$FCF298E6-02D2-41AD-9DE3-0B754CF051DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aefe3e5e56581b07461908327aa6fe5f560ca469","datavalue":{"value":"1394.68220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848871$61630125-53EE-4E61-8698-703AA9E3C382","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"503f5e8593e9aceea09f4cbc08cb6644ab35a314","datavalue":{"value":"10.1007/978-3-642-37635-1_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848871$003FE88D-0E97-49B3-903A-F497D8D49767","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4225555324b48ba21484879c38f915eb1eca15c9","datavalue":{"value":{"entity-type":"item","numeric-id":2141284,"id":"Q2141284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848871$14E07E6A-E04B-4C75-A163-A52631271171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efdc2aa840d155fa6d7f395ddbc0ac0dce6f38cb","datavalue":{"value":{"entity-type":"item","numeric-id":265816,"id":"Q265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848871$7DCD2335-0F08-4F1A-957E-C0AD7BEF6D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0a54b19aa26970eaaa1ec809a9eee1a0531ed1a","datavalue":{"value":{"entity-type":"item","numeric-id":493519,"id":"Q493519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848871$79B82061-0565-477B-98FB-F8DF7E331390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d3fd3af9c88c99f68f4296c6bf25bdaa24b9f76","datavalue":{"value":{"entity-type":"item","numeric-id":265818,"id":"Q265818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848871$0B4B863F-9D93-42CB-84AC-ABEF8D94E636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6539cfadc75d6504ef9c471b16074d64840fa76","datavalue":{"value":{"entity-type":"item","numeric-id":433335,"id":"Q433335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848871$3C052B10-1594-4248-A39B-500F3398B628","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4d7065e0d9bdf39aae4d6612408d45679d40eb4d","datavalue":{"value":{"entity-type":"item","numeric-id":2787332,"id":"Q2787332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848871$F77B47ED-9863-43FC-BF3A-29B8D7CD5626","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3756c0dd48f1ac2a2472fe44a850976017bd3fa9","datavalue":{"value":{"time":"+2013-09-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2848871$DC1B1CDC-AB83-4B97-B7C8-EAA876FD7172","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848871$47EA71A4-1E1B-4BBB-A63D-953268738F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848871$7C7FAFA8-09EC-46BF-BBDD-2AA1D034C988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848871$356F77FD-298D-4624-80A5-8086865A12C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eca46725cdbc3e02e241bab6f4155f8a955a43c1","datavalue":{"value":"6208049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848871$3A9040D7-BC1B-4AE5-97FE-1554E4BF4671","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b37f67d7f6c0dd8120babf03358939745eeef16c","datavalue":{"value":"pushdown systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2848871$6F27937F-5859-4452-BEA8-6F76E3199075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2848871$AA296DA0-3836-4AF1-98EE-3A681F65EF6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fd6ccd91b31430a10bc110401abd7b41dc78a6f","datavalue":{"value":"\\(\\mathbb{K}\\) framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q2848871$F140F0BE-D0EA-4955-8EB0-ED2DE365D55D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a7e8c0ef4b2b655550f401b23c169644988922e0","datavalue":{"value":{"entity-type":"item","numeric-id":21725,"id":"Q21725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848871$48173CF6-1143-46BF-A632-AAE95C5C9CAD","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":"Q2848871$9695C918-29DE-477F-BAC8-47FCB264D963","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9566b87a9d43b491a6ca65f860b52c23152d46ed","datavalue":{"value":"https://doi.org/10.1007/978-3-642-37635-1_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848871$2116E2FF-446E-48BF-9E09-6B4C681DFB5E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a561654518864a1902f74edc8d080c55d24c7158","datavalue":{"value":"W2139533895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848871$E4BCFE31-49BF-498A-97A2-AFE5BC97DD90","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"225ec6d221f9e94e9aa6d8c24361788fd78493bc","datavalue":{"value":{"entity-type":"item","numeric-id":5394591,"id":"Q5394591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"478d2c0208c7b80785a7db96e6c410269c450788","datavalue":{"value":{"amount":"+0.7728963494300842","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":"Q2848871$21C1060E-E2B9-4CFB-B381-4E89C1B05DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a81d05c5057fb055fd0b7b1806601a483097f486","datavalue":{"value":{"entity-type":"item","numeric-id":3090847,"id":"Q3090847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7055b6124871d1236316eb599274424cd02c82ce","datavalue":{"value":{"amount":"+0.7569177150726318","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":"Q2848871$9BF408B5-0E80-4820-A40B-9BD62BE6DE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75e2e1203d7e5b8db467a268311da63c0244b664","datavalue":{"value":{"entity-type":"item","numeric-id":402129,"id":"Q402129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31347d8aaa5a242b1b66802f75b4ebc4c503a215","datavalue":{"value":{"amount":"+0.7563062906265259","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":"Q2848871$BDD8CB35-6085-4826-86F1-0B9196701342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21087abe7ab8ea4a03d52101d4bc7b1f94c425b0","datavalue":{"value":{"entity-type":"item","numeric-id":4551162,"id":"Q4551162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d41815c14fa83c941fde35b8e95fd5eb742514ce","datavalue":{"value":{"amount":"+0.7498483657836914","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":"Q2848871$46C96D57-AD98-487A-9BBB-7510A5BBFB40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59b002307e96e21df399a9fc14c164871ba8e9f0","datavalue":{"value":{"entity-type":"item","numeric-id":436316,"id":"Q436316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b813e6f2c63646f7f1a08b0217eeafe46324588","datavalue":{"value":{"amount":"+0.7430079579353333","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":"Q2848871$323EC723-BB75-41A0-ADD3-5ADF052D1BF5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2848871","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2848871"}}}}}