{"entities":{"Q3540067":{"pageid":5569971,"ns":120,"title":"Item:Q3540067","lastrevid":81044300,"modified":"2026-05-06T17:35:19Z","type":"item","id":"Q3540067","labels":{"en":{"language":"en","value":"Model Checking Recursive Programs with Exact Predicate Abstraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5369264"}},"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":"Q3540067$7D32A203-5CAE-40C6-BBF5-EF83702C28A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3610f7e3c87f85d234be95b5240d81c2a4a8cf66","datavalue":{"value":{"text":"Model Checking Recursive Programs with Exact Predicate Abstraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3540067$A343736F-4B26-45DF-ABE6-4A213687A830","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f669363d97d3622207c4b526b98246a57066fd1","datavalue":{"value":"1183.68373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540067$8B939B1D-2098-4D33-B4EC-50148CB54D27","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3cad83cced1b5af69799a4f98e2994007fc3de2c","datavalue":{"value":"10.1007/978-3-540-88387-6_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540067$FC3756B1-2171-4B30-BD38-2FF59CABDA71","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"697eb087dc816293f4ade2b72dca7f3d4888f3b9","datavalue":{"value":{"entity-type":"item","numeric-id":246144,"id":"Q246144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540067$5D4124B1-73C6-4564-BCF7-DB7780F4954E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b41cb037e778496e83b5a9a9e7bbc8c256161ea0","datavalue":{"value":{"entity-type":"item","numeric-id":617711,"id":"Q617711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540067$444772D9-4484-4CF8-BCA0-2B2F9BFA76F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"794c304803c228a1c8e63e5a19cfb840dd5c432c","datavalue":{"value":{"entity-type":"item","numeric-id":488217,"id":"Q488217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540067$737136E1-3B91-4E9F-B802-C9F212173B0B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540067$1087CAA2-FEE1-41C3-8F1B-6BFB71814DA8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391f01da9d69c422d0ad9b2dbbb0b627908b1ac6","datavalue":{"value":{"time":"+2008-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3540067$0BD45972-C063-4FB7-8BB3-2764964444E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540067$73ABEA65-4A03-447E-A53B-90354D6C5362","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4645e35b5198be5548400705b022a96657768e6","datavalue":{"value":"5369264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540067$6A3AAE50-96FF-470A-BA14-9A9E96C23C7E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cd543fd49199b1838ba332ea5e7b335fbe6c5a58","datavalue":{"value":{"entity-type":"item","numeric-id":19608,"id":"Q19608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540067$367D8845-4982-46FD-8C6E-C8C96850CBA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1bc012cf10551bf42bb05efd85ce69678e698524","datavalue":{"value":{"entity-type":"item","numeric-id":16622,"id":"Q16622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540067$01A7FB64-A716-4DAB-8E76-80C96565AC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540067$D12A9366-4518-4B68-961A-1AF625818CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4f55591526bfa06dbd19dfd10ca3b2c9d44db2a","datavalue":{"value":{"entity-type":"item","numeric-id":20924,"id":"Q20924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540067$D1D05CB5-E9D0-4BAD-B4CD-3205222EAE9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"49c5c39569fd0ed2872b7f9aefbae8dce402c98d","datavalue":{"value":{"entity-type":"item","numeric-id":21453,"id":"Q21453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540067$0DB92CDC-BEF1-4B40-9C50-673DF634C843","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":"Q3540067$A1AF3E5D-3648-4C36-B264-E849D953612B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d40b8bb2184b5d59c844b749567432fad59649c3","datavalue":{"value":"https://doi.org/10.1007/978-3-540-88387-6_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3540067$A00D7952-3125-4D94-9014-8F42FDBE7F40","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f348cf11261e013064585ea3cb91fe329c1427ee","datavalue":{"value":"W1605476801","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540067$E229FD03-EED2-4C52-BF1A-595F635C77A2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c60cfa2493d22b1f6e30e78482c1494fed827bb","datavalue":{"value":{"entity-type":"item","numeric-id":5703796,"id":"Q5703796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540067$633345BE-1DC3-425B-A01A-27DC85E13AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b6196bb057adc2087bd5262ca2bda33f9a480e1","datavalue":{"value":{"entity-type":"item","numeric-id":5308427,"id":"Q5308427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540067$320F5F00-4F4E-48F4-9E06-CD5636B56583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"794037096bca89e0c0feb3c2e3cbcabd6db55712","datavalue":{"value":{"entity-type":"item","numeric-id":5716599,"id":"Q5716599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540067$3C2CCF3D-FFF7-42F7-8052-C3847652E7E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ee36fea820e4ec41c645157a399b976a6698393","datavalue":{"value":{"entity-type":"item","numeric-id":2753756,"id":"Q2753756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540067$2330C7E9-D071-4536-9C62-3F23A544B612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be67f799ffc5b3fd133657f657d0609a463820d","datavalue":{"value":{"entity-type":"item","numeric-id":5312942,"id":"Q5312942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540067$99901762-396F-4DB7-BA43-3FA145EE1D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cb46b665c4d01cdd72f034cac6c7dac8481fe1b","datavalue":{"value":{"entity-type":"item","numeric-id":4818796,"id":"Q4818796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540067$7B17E727-1B55-4448-9BD5-372337C1492E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3109868eabc348164df54dfbc4d510999bf50764","datavalue":{"value":{"entity-type":"item","numeric-id":5285987,"id":"Q5285987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540067$1ACA281B-4ADD-4BE7-BA5E-7A638EECEB0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59ebc8c6731a9ba8b7c88fd686053c929a1ba298","datavalue":{"value":{"entity-type":"item","numeric-id":4551162,"id":"Q4551162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540067$25C4F058-D5FD-4588-A0B7-1206749C0492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b022fe950928f92806f5b429d4f5a3164495555","datavalue":{"value":{"entity-type":"item","numeric-id":4791848,"id":"Q4791848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540067$32B637B9-B648-48E1-8EAC-57C36EF144E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1593f69615195b729b8730ce0205e72da085e6e","datavalue":{"value":{"entity-type":"item","numeric-id":5899060,"id":"Q5899060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540067$D8A4294C-3A91-4607-99A6-1D136BCDF067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c5475fa341637e0395243dc6a4588267faec11b","datavalue":{"value":{"entity-type":"item","numeric-id":5898630,"id":"Q5898630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540067$F9D1994A-D8B3-4CCB-89E2-A4943905AD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eed2e2ffbb7e63abed7b4662b262274276f70e3","datavalue":{"value":{"entity-type":"item","numeric-id":5312985,"id":"Q5312985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540067$0EFCA2F8-F259-4A7A-BB47-4278D77FFD37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b58947cb7a079bac0db1d082fc9f925471e0be3","datavalue":{"value":{"entity-type":"item","numeric-id":4023828,"id":"Q4023828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540067$28DBD702-F4C3-47F6-AA47-636CD09C5B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"481547f60ed568130e5c759ceeacc52cf0d1c02c","datavalue":{"value":{"entity-type":"item","numeric-id":5900684,"id":"Q5900684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540067$34AC9711-F66C-4FFD-9665-7508997ACF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38338272dac8f01a00cfb949ea75569fdb402496","datavalue":{"value":{"entity-type":"item","numeric-id":5308433,"id":"Q5308433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540067$6CBDC88B-6DF1-4BFE-B540-805618710103","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8cd997e1f3dd9d4ff3c268e30732c34b0ec0741","datavalue":{"value":{"entity-type":"item","numeric-id":5898623,"id":"Q5898623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"040a30fafdf6210a0be977a804196ed6688f0a1f","datavalue":{"value":{"amount":"+0.746759831905365","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":"Q3540067$41921E3E-66E6-4455-9D63-F6B15951E757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8d84554ebf41d0cd4d1e786abcbacf5b6ec0ec0","datavalue":{"value":{"entity-type":"item","numeric-id":3522920,"id":"Q3522920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4057c203679e857a0abdbfe20caa319ba63cdc67","datavalue":{"value":{"amount":"+0.7456585764884949","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":"Q3540067$94DE8DA6-8929-41A5-9525-6B4EBCD505F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d086b21205e8ff05dfe3d242c1a32cfbf4927ab","datavalue":{"value":{"entity-type":"item","numeric-id":3648714,"id":"Q3648714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9582534551ea1bc3fec6c4c5a61784cab98d113a","datavalue":{"value":{"amount":"+0.7417100071907043","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":"Q3540067$141DB9AA-9D27-4909-BAD3-156519314205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7de3722ed636c8f8489cec00c41ba0042963140","datavalue":{"value":{"entity-type":"item","numeric-id":5310681,"id":"Q5310681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"558122c47fc427e9ade9cba12c69af1666accc0e","datavalue":{"value":{"amount":"+0.741542637348175","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":"Q3540067$505DC794-2541-45CF-9540-939A2D55C2F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72f2beb968a92a8234db0e3ae391703a42c99f5f","datavalue":{"value":{"entity-type":"item","numeric-id":518396,"id":"Q518396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9306e92c53442d337317047330ab6c29db577ecd","datavalue":{"value":{"amount":"+0.7403841018676758","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":"Q3540067$B514D665-D4C4-443C-8D00-5125D6174830","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model Checking Recursive Programs with Exact Predicate Abstraction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_Checking_Recursive_Programs_with_Exact_Predicate_Abstraction"}}}}}