{"entities":{"Q5758113":{"pageid":7787664,"ns":120,"title":"Item:Q5758113","lastrevid":50154887,"modified":"2026-01-13T07:08:19Z","type":"item","id":"Q5758113","labels":{"en":{"language":"en","value":"Assume-Guarantee Synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5185781"}},"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":"Q5758113$82680984-EDA3-48DF-BAAA-DCE480C30F6A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c55a30996b5e0247fb8515c0dfd618f8d7ae02dc","datavalue":{"value":{"text":"Assume-Guarantee Synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5758113$0FFD9150-39A3-4EC0-B314-A8907FFA6BB7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"154d67fb793e304b5a1176474806c56feeb18f4c","datavalue":{"value":"1186.68284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758113$DB75527E-54C1-4039-8450-9516D13FE6AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca34c5a2c1317acc9263719644734666c8b2146f","datavalue":{"value":"10.1007/978-3-540-71209-1_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758113$290F603C-B81C-4684-9213-571D4178B5E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cff81c72b46c2d37ebe9a5f2cbcfbb6825cbcc7","datavalue":{"value":{"entity-type":"item","numeric-id":253965,"id":"Q253965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758113$48A08D71-138E-4451-B470-8F01FCF1CD0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e91931f3fd780c36ea4328f78b3c3352f7c16650","datavalue":{"value":{"entity-type":"item","numeric-id":355505,"id":"Q355505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758113$84E1C0E5-1548-4DA6-8CC3-B516745EEA5D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758113$46C55E3B-6498-4533-A763-E59BF8D17A50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4ccb5809271d2f0bf96f65b85084aa847fe92ef","datavalue":{"value":{"time":"+2007-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5758113$64FC880F-B318-4364-9551-53CBF0D8B380","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758113$694770D9-849D-4B80-8233-B6ACA3991E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758113$AB533426-BC9F-4B38-AE62-E4DE1C762F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758113$CF35A077-3E27-4C79-B9E3-C5C23F58830F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d62e456b58d518decd43811c0c12510efbdefabe","datavalue":{"value":"5185781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758113$F4FDA4D7-374B-4C46-9D94-D7048FCA83D5","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":"Q5758113$A7729558-FF47-4DB0-85DD-00326311DC41","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4362ad6ab4bd68564ee00ac05c61f8daf8d96aa4","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71209-1_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q5758113$E2DEC6DB-DC22-4DDA-8451-A5DBDDB9318F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"57010113d0cafb25bab80d9f7b34e6b4239f1f06","datavalue":{"value":"W1608875152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758113$93CEBEA4-46C8-4AB2-B70A-740F218017C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddd0f7683b3d15685c10ba502a1f9a9acd9289f4","datavalue":{"value":{"entity-type":"item","numeric-id":3460581,"id":"Q3460581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f7febc8c1a59f8335174b90ebcb607a9ea90cec","datavalue":{"value":{"amount":"+0.8166831731796265","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":"Q5758113$C31EFBF2-8BE1-4D7E-94A2-EF25A04B8E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbb2d686de9fbe43fc93b31681b26fcfa671761b","datavalue":{"value":{"entity-type":"item","numeric-id":736809,"id":"Q736809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b22bc108097e010a052f7213ae1a8027b024dfc7","datavalue":{"value":{"amount":"+0.8038457036018372","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":"Q5758113$95871243-B684-4139-953C-852E6EDA1D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1499ad98aba4b821d50174bcfee1c6e7a31820f","datavalue":{"value":{"entity-type":"item","numeric-id":439954,"id":"Q439954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"844d3840b358bcd836ceb610297c6c61e1b07aa6","datavalue":{"value":{"amount":"+0.7989931106567383","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":"Q5758113$AD9FB69F-C472-4549-BA4E-24E4EDAFA6CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7035debba599a3625695af5c0b6af3adba031711","datavalue":{"value":{"entity-type":"item","numeric-id":3557077,"id":"Q3557077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af0ba134f955a0b6913e353264dc30b63d1a51c1","datavalue":{"value":{"amount":"+0.7948315739631653","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":"Q5758113$5B225B18-FDEF-4E50-B849-BA7D78022099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d94480340c551dd249811dcb8dd64096b8ccbc86","datavalue":{"value":{"entity-type":"item","numeric-id":520340,"id":"Q520340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c68f29e479a386f9126969978a6ea98240debce0","datavalue":{"value":{"amount":"+0.78691166639328","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":"Q5758113$868C26F5-78FE-4257-8187-BFB4E19C3196","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5758113","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5758113"}}}}}