{"entities":{"Q5429334":{"pageid":7458908,"ns":120,"title":"Item:Q5429334","lastrevid":50224778,"modified":"2026-01-13T14:01:38Z","type":"item","id":"Q5429334","labels":{"en":{"language":"en","value":"Automated Assumption Generation for Compositional Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5216250"}},"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":"Q5429334$F523E189-2BB3-4FB1-A3C5-FB1F9766EDEA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"449c000887630d2ec57e70cec61131b8f278818e","datavalue":{"value":{"text":"Automated Assumption Generation for Compositional Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5429334$DAC8EC0B-AEE7-4DC4-B133-A11920A744EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c790239accb5960c283d1a9e8a569392454569e","datavalue":{"value":"1135.68473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429334$6EC8A540-0A1B-4335-AD23-9DDE6C015ED5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2abaf78a0ea99c0cddb31dafdef4f6fec426d22","datavalue":{"value":"10.1007/978-3-540-73368-3_45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429334$7B4E7979-15A7-48B7-ADE9-8531ABEFBE33","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"670630378a37ee9caa5b143e3303c512a4b6d9be","datavalue":{"value":{"entity-type":"item","numeric-id":934707,"id":"Q934707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429334$E1C45CD7-A1A0-4825-96BD-7539A68D1863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57a84b3343ed70002617a9eb1439c18c15bac9ff","datavalue":{"value":{"entity-type":"item","numeric-id":934708,"id":"Q934708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429334$DCE396E5-ACDF-4CE9-A6F9-A1340487E3FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ef1a4d174fb4680fb978f78ee5134c5c615de99","datavalue":{"value":{"entity-type":"item","numeric-id":934709,"id":"Q934709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429334$26891D26-1CE2-48A9-94AE-5E2B818BC461","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429334$D8737200-3C29-4985-9695-8005058E78C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c737e3e623cd7b1b8045894b1a70da6ed5c2134","datavalue":{"value":{"time":"+2007-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5429334$AA724988-D8A5-4B10-B81F-DE886571A0D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429334$B7EFAA90-A300-4DFD-A85A-920FFBF72C26","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d378193807ff4dd4925f1aced48f8ea65c1a5fd3","datavalue":{"value":"5216250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429334$2AC046FA-27C1-4C3B-AFC5-F2C6A8A63627","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":"Q5429334$2FC087D2-C705-437E-8BA8-5F4188A659A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"587712deeb3995a2fbe49256b9d7d5dfc38c506d","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73368-3_45","type":"string"},"datatype":"url"},"type":"statement","id":"Q5429334$812089F2-2AD4-46A2-A081-9DFD9433CCEF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8bdb599426ecb65882fd57580dbd2a5b6eac4035","datavalue":{"value":"W1501747543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429334$34BCC16D-C798-4ECC-9596-34D82E511BC2","rank":"normal"}],"P1643":[{"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":"0d029d89151d0eacafdac594ade70d6bc8d0f1b9","datavalue":{"value":{"amount":"+0.9798851013183594","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":"Q5429334$37085975-236B-4E51-B40A-69AEEAC7862F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d60c2ca313a6cb60ede3bb494700554a7ac10a51","datavalue":{"value":{"entity-type":"item","numeric-id":934713,"id":"Q934713"},"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":"Q5429334$F3FE838C-CF34-4E22-998E-63CE02C0AE53","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":"d94419aea557c526e11a51647cff49b5beb27a57","datavalue":{"value":{"amount":"+0.8499733209609985","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":"Q5429334$C8CB7FE7-4B94-4CA7-8ECC-24F7FD0C331E","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":"8add222f99390a8b0edc78272ff568a826ef3625","datavalue":{"value":{"amount":"+0.840221107006073","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":"Q5429334$C2C9B0CD-DBB7-4B63-9378-33AF09C745DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"875fbe0c3a904012905f68cb18aef92644939783","datavalue":{"value":{"entity-type":"item","numeric-id":5206947,"id":"Q5206947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0053e2c34b2aa6aaabfd0763ad9638bea3535ebd","datavalue":{"value":{"amount":"+0.8261091113090515","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":"Q5429334$97A0BBAB-0CCF-4389-8165-4C73520B1F42","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5429334","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5429334"}}}}}