{"entities":{"Q934713":{"pageid":936561,"ns":120,"title":"Item:Q934713","lastrevid":65461431,"modified":"2026-04-12T02:45:11Z","type":"item","id":"Q934713","labels":{"en":{"language":"en","value":"Automatic symbolic compositional verification by learning assumptions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5306153"}},"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":"Q934713$78F1A1EB-381C-4F53-A46F-CCAFD4788B2B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"287fa832427a287a189d2e1e5c5a8ab49b9bbb46","datavalue":{"value":{"text":"Automatic symbolic compositional verification by learning assumptions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q934713$90DB0903-5219-4F61-AAB2-2146B9653F8D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"733c95edfc380c316938252ee25cdf31488fe6eb","datavalue":{"value":"1147.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934713$9A0B3CE0-4F9A-42E1-8896-E2606D6DFF31","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e285203a97ae978252c9076a40fd96cd5b273777","datavalue":{"value":{"entity-type":"item","numeric-id":650905,"id":"Q650905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934713$FA9DBF00-FE41-476A-B99A-CEEED9B9BD28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed7ae23aa61a0d3617ed945c3a7817f6e39ebeb8","datavalue":{"value":{"entity-type":"item","numeric-id":236078,"id":"Q236078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934713$E0C89E01-9CF3-45C6-AD67-1EE27AF3B4B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e23e254236a8294ef997c8803c32040e3643f2b","datavalue":{"value":{"entity-type":"item","numeric-id":294639,"id":"Q294639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934713$EDC64AA5-DBDB-4C6C-B880-9049A94BEF35","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934713$7DC4F563-9DAA-4C46-B0E0-F1E1EFA6ED22","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63a99636c6ce0bf387bd2cadc0b904c7b0ae7806","datavalue":{"value":{"time":"+2008-07-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q934713$0EE37711-4457-49DC-9860-1E3164B62D15","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934713$F924C6B7-12D4-44CE-B970-BBB463BBA572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934713$D4BECC4B-1FA8-455F-A971-EC5916AAA468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934713$E1826376-86BF-4D50-8444-5ABA7C6388B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf58cc4b5bbc01e5f6d92a7083f1f8922c071efa","datavalue":{"value":"5306153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934713$9D6BE17E-5B91-483A-9254-11514A16D815","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bdf9c2b5fcd46606db43506dc4d0fb69d64da19","datavalue":{"value":"Formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q934713$FEC30EC5-6775-4530-B52F-95C5E12FEB53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae49cf91076c37fa9bdc48f82649df7562deb487","datavalue":{"value":"Symbolic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q934713$3E0F284C-D2EB-44FF-B5A0-0F1C61353EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d79c20d1431e86199f7030a9330fbb4d12089d7","datavalue":{"value":"Compositional verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q934713$CF81FD93-3C50-496C-808D-EA2F6CB324AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"249cd8f870ad98ba763c4c5e905d3d20f06d2f7b","datavalue":{"value":"Assume-guarantee reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q934713$8EEBEF21-A241-4E35-88AB-90837FABC867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96f60e1c8702253ed3057aff0e4dffcfd4891a7c","datavalue":{"value":"Regular language learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q934713$B1977C90-593F-4F84-A0A6-8DC8E9D76838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2bc9ccf4eff2a9ae38109ee11368ace2e10c8d8","datavalue":{"value":"Hypergraph partitioning","type":"string"},"datatype":"string"},"type":"statement","id":"Q934713$5D41B342-6D55-42DA-8D30-7A83B3F202B9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"db929fcfcab16e56863e1fd2b3b9c025f99b124e","datavalue":{"value":{"entity-type":"item","numeric-id":36746,"id":"Q36746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934713$E302C93E-FA88-43BC-B1D4-4A53C8CF439B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934713$312CBEE5-EDA6-40E9-A6C9-773FC7BBE977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0b81395bce8af48e679b9daeada5dec6a46a77d1","datavalue":{"value":{"entity-type":"item","numeric-id":24858,"id":"Q24858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934713$779DF2B8-6DB5-4681-B669-3ECCE8E07853","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":"Q934713$31AB0B89-B619-4EF8-ACF1-CDF03FFB56D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b5c695463cf1fb63808004c78743d6ec57644b42","datavalue":{"value":"https://doi.org/10.1007/s10703-008-0055-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q934713$C5C3FD4F-DCC1-45A6-BFA5-B0BD12A73748","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd4b460c59ef84e09bc82c694bc6cb908ca6dcfa","datavalue":{"value":"W2114114829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934713$7B3DABD8-D7D7-435D-9F2B-9D9809B2C929","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"006e2b4d04e28dca0adcd2a21b52f2f5be23aea5","datavalue":{"value":{"entity-type":"item","numeric-id":4270053,"id":"Q4270053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934713$7334C886-1835-4777-ACFF-0E0F2940D98C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f43d7854e50381630023e07192383000eb7eb63d","datavalue":{"value":{"entity-type":"item","numeric-id":5276138,"id":"Q5276138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934713$EB2FF48F-F342-40EF-9196-0651F7994221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cf99323ae98ac6a76131488eacedcd6861e15fa","datavalue":{"value":{"entity-type":"item","numeric-id":5716596,"id":"Q5716596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934713$A380256F-70B5-47EF-8C75-A388CFF842F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55114ff063225064064e30c2c7ef5bef45a55b0","datavalue":{"value":{"entity-type":"item","numeric-id":1098326,"id":"Q1098326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934713$4206C8ED-06A1-4F3E-97ED-85485D28823E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efd8b23427fc775214383290543e03af09b75bc3","datavalue":{"value":{"entity-type":"item","numeric-id":2706180,"id":"Q2706180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934713$E372D24D-EF46-4F57-A79D-C5A638E8A564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934713$E4F9A8A3-F985-4A54-ABA4-705032D97BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f541623726371fa1e6609e8c2eef0b9f81a4c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4804909,"id":"Q4804909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934713$6F57692F-A124-4F78-A190-5F2A070D6998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934713$1D5AC72C-EF01-4561-82BE-D302EA41BEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"600d8a1514e6fed4e4c66ebeb9b62bee4bc86b61","datavalue":{"value":{"entity-type":"item","numeric-id":4417936,"id":"Q4417936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934713$5BD79A91-40AD-4EF6-AD73-6E26FC9534B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d65dcbe496568d8acfd7675321a84644e35cdebc","datavalue":{"value":{"entity-type":"item","numeric-id":5429334,"id":"Q5429334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934713$5D3CF58B-8D51-401B-B401-BDA7723B8F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50002526aa03f6e1aa6155a05f28dba7dacba9e5","datavalue":{"value":{"entity-type":"item","numeric-id":1176104,"id":"Q1176104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934713$6B6D0204-0B00-4336-864B-ED285AC78CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8eba61ea13d3f720ab2de0e4b3b525d17f0affa","datavalue":{"value":{"entity-type":"item","numeric-id":4255835,"id":"Q4255835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934713$1BCE0970-5935-4E5E-B765-CED1EA971434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a44f31abbdd4dc84e5f661896a7812e44411ddf","datavalue":{"value":{"entity-type":"item","numeric-id":4100093,"id":"Q4100093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934713$D2932F0E-2B74-4466-8D9B-EE1C66DBA1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f60db55428521e0cf5ccdeaa2bf5e3fd0ed1e94","datavalue":{"value":{"entity-type":"item","numeric-id":4326390,"id":"Q4326390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934713$CEEDA655-57F9-444B-9830-9DBE1DC282BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cee1f5c4e596769f20c3e18240de0776d1bbf0f7","datavalue":{"value":{"entity-type":"item","numeric-id":4804900,"id":"Q4804900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934713$EB70DD77-94C5-43B0-ACAA-09A5BD78B547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a0e350fbdf52632f3facb41fcf375367d05fd38","datavalue":{"value":{"entity-type":"item","numeric-id":3522908,"id":"Q3522908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934713$340A2E4E-4ACA-4D5B-ABF3-229056FE5329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50f615061ac96c9799cb135176c9735a55599c3","datavalue":{"value":{"entity-type":"item","numeric-id":2754080,"id":"Q2754080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934713$BD5970E0-5575-46B1-9701-1E3AA6DAA821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cd85271c66521dcfca1826214de4024b6500ca7","datavalue":{"value":{"entity-type":"item","numeric-id":4807832,"id":"Q4807832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934713$69923DE4-AA5C-4039-8D0E-93CD723292CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27d82d8fbef7207e3a8c855b494fb9281aee4749","datavalue":{"value":{"entity-type":"item","numeric-id":2365762,"id":"Q2365762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934713$3B721040-513B-46A5-8F09-E1FCEC44FCE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b72ad09e1bd6ca3b1ae8d38ac829e2618d0c754","datavalue":{"value":{"entity-type":"item","numeric-id":5716900,"id":"Q5716900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934713$A40CA510-9CD7-4A70-B2C5-616AA9CA8671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85a28e355684deb98556d54d5eb7ec60a91bc7a3","datavalue":{"value":{"entity-type":"item","numeric-id":5429315,"id":"Q5429315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934713$BC2EA477-CD40-4576-8AC0-A109FC7E55D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b01ab8849da01de11d1ebd501f9f6b70a4538a7","datavalue":{"value":{"entity-type":"item","numeric-id":5465881,"id":"Q5465881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934713$3146167F-729E-477A-94DE-B36500AA850A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9768c09d9e2f4819fc31f2e30a077e9afb8ea53","datavalue":{"value":"10.1007/S10703-008-0055-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934713$C50AAF28-582C-40A3-A1C4-883793C09BC6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31622fa8cab41894dbec1f302fa4aaec64dcba6a","datavalue":{"value":{"entity-type":"item","numeric-id":3522908,"id":"Q3522908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8770586c4cba60db7cabe0e149577af09765ac63","datavalue":{"value":{"amount":"+0.9533750414848328","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":"Q934713$248FB10A-9EC9-4A43-A98E-37FAFC0B3B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4713b22089dcfb39aba365f723e953560ed05b8","datavalue":{"value":{"entity-type":"item","numeric-id":5716596,"id":"Q5716596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d63599f5c431f6e98bace78ec10de1f01ba49367","datavalue":{"value":{"amount":"+0.9466586112976074","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":"Q934713$4B1772AE-14B6-4553-9A3B-DC407F2A5AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2277e536a691bbdc7d529657cc43d5222f39805b","datavalue":{"value":{"entity-type":"item","numeric-id":4417936,"id":"Q4417936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"134c723dda4a407cd97e435aba8c3ae4710c66ac","datavalue":{"value":{"amount":"+0.886967122554779","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":"Q934713$44E15722-A76A-4C46-B6F3-B0CA9A2ED724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efe2444a3b5e0acb64469f4c04985c58c021c5de","datavalue":{"value":{"entity-type":"item","numeric-id":5429334,"id":"Q5429334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a81adb4ab5708091a453863d539d17f0adae1100","datavalue":{"value":{"amount":"+0.8604192137718201","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":"Q934713$D127D8DF-84F5-46DA-B862-7030AC4DADE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1288dd38b700c94fa32fcc9b76bf94f1ce6e1965","datavalue":{"value":{"entity-type":"item","numeric-id":934710,"id":"Q934710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4d5e6491a1174a7c5380c65b4ecdc8e11c67f5f","datavalue":{"value":{"amount":"+0.8527225852012634","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":"Q934713$B4795941-1359-4595-B8D3-ABCDBA613F74","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic symbolic compositional verification by learning assumptions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_symbolic_compositional_verification_by_learning_assumptions"}}}}}