{"entities":{"Q3656883":{"pageid":5686789,"ns":120,"title":"Item:Q3656883","lastrevid":50876606,"modified":"2026-01-15T13:18:14Z","type":"item","id":"Q3656883","labels":{"en":{"language":"en","value":"Deriving invariants by algorithmic learning, decision procedures, and predicate abstraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5658436"}},"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":"Q3656883$79BA252D-620D-4238-91D4-3C2C5E027709","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"efb9dc45aae669c0cc98a73d3d1785f05fac0f18","datavalue":{"value":{"text":"Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3656883$1A05F582-038F-4185-9996-E929893100A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b9f8d2ea12c90e75f5f47dd92befb5c20c585d98","datavalue":{"value":"1248.68272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656883$A120D1F2-69B2-48EF-882C-C43EEE4942C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ff7cbfcfe198336f104d1017d8e7c9b93b4e111","datavalue":{"value":"10.1007/978-3-642-11319-2_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656883$222F4878-99D1-4B64-8085-F41048128606","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c86c2d12afc4d192d0cfcbbe0a5c99c1d4cb80e4","datavalue":{"value":{"entity-type":"item","numeric-id":3000649,"id":"Q3000649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3656883$BAB3BC5E-AA41-4AA5-89C2-FDDC0861055A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7463120a9e955f48ddb24bcc00e63bd6fcf27d63","datavalue":{"value":{"entity-type":"item","numeric-id":2926662,"id":"Q2926662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3656883$E330BA1C-CE27-4424-A0BB-688F23CB05D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19c17cf4b757376e81bb18052c33891da6bf831a","datavalue":{"value":{"entity-type":"item","numeric-id":832259,"id":"Q832259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3656883$15E4ED71-28EC-4D82-98A4-132FFD6190C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb38a1bade58fa1326e98a3a8a90562c5ba74ee9","datavalue":{"value":{"entity-type":"item","numeric-id":845980,"id":"Q845980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3656883$1639FE0D-836E-4F02-B9C4-2E7F5FC7024B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3656883$6EAB9E45-85C6-4BC5-A128-4FD48BEB84D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d7ae205d063227bc6a8fe4b8cec53b398b20968","datavalue":{"value":{"time":"+2010-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3656883$10F07580-10BD-4821-AF03-19AE6535F2FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656883$2E3033CA-E0EA-4BFF-A420-1066DBA78996","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d13d10235ea77b3df1256e0ec68b66a576092b40","datavalue":{"value":"5658436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656883$E43EF1E1-8D3C-4136-8177-2CBC4008F9E6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"33734e36764580044df2d1101af853dac96392fb","datavalue":{"value":{"entity-type":"item","numeric-id":21759,"id":"Q21759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3656883$24DFEC39-0FD0-401D-92C7-FAA858A7DD9D","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":"Q3656883$B54C7EF3-E966-45BA-89C3-2676740250C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"06652ea0593cda4b8da66f5a51e949f9229247d9","datavalue":{"value":"https://doi.org/10.1007/978-3-642-11319-2_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3656883$770B9C46-EEBE-4AD6-96CD-5B3B4E46ACD6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dfbc31747a86776fd852dedbf1f93b43b867651e","datavalue":{"value":"W2158840741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656883$505A1B73-C72D-481F-B43E-BBEDFEFCEC96","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e36f3694c49ffa7483df2a818342d806f5dea076","datavalue":{"value":{"entity-type":"item","numeric-id":5740643,"id":"Q5740643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaef93660d2646349fbfc140a6a423fdafeb0a1a","datavalue":{"value":{"amount":"+0.904780387878418","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":"Q3656883$BFB67003-1C58-4A33-A61E-46C9DF6F7C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"765290efb0021e74dbe5d8a5f03c4c36c06e6a18","datavalue":{"value":{"entity-type":"item","numeric-id":5892496,"id":"Q5892496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4624d64ea19bf8016c9cd8fc8c397696eace5a9a","datavalue":{"value":{"amount":"+0.7901996970176697","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":"Q3656883$247EBD71-832D-4ACC-B8E4-3AF42CD2C697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3a5e50d02974a1f6495b063fbf9edda028fc50d","datavalue":{"value":{"entity-type":"item","numeric-id":5894958,"id":"Q5894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4424e60c72b48ebc998d950f0e7a2bcb39a319df","datavalue":{"value":{"amount":"+0.7823851108551025","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":"Q3656883$752159A0-56E6-4DE6-BE1C-DEE06FDAB81C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9d15a4143f1d4649ec9a4d200a83aa195298d12","datavalue":{"value":{"entity-type":"item","numeric-id":1322851,"id":"Q1322851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa4ce73953a3c415657febcbd0ace3c3fbdc1dd6","datavalue":{"value":{"amount":"+0.779370129108429","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":"Q3656883$39B6325C-1DCD-4238-B271-FB70F5F4797D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edbb0304e940bceb5735c561adfb0e7f12a33f27","datavalue":{"value":{"entity-type":"item","numeric-id":3646570,"id":"Q3646570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6b37b13d770839c9a0d8c646ad421031e1ad058","datavalue":{"value":{"amount":"+0.7786187529563904","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":"Q3656883$175DA269-D481-4D95-BBCD-52C95270EDCE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3656883","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3656883"}}}}}