{"entities":{"Q3512489":{"pageid":5542393,"ns":120,"title":"Item:Q3512489","lastrevid":50405654,"modified":"2026-01-13T23:51:01Z","type":"item","id":"Q3512489","labels":{"en":{"language":"en","value":"Automated Assume-Guarantee Reasoning by Abstraction Refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5301104"}},"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":"Q3512489$E63FF791-7E0D-492C-AB06-5971BCC82558","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4566eaef8a8d9a29cdf10bced03e20e2ba91e573","datavalue":{"value":{"text":"Automated Assume-Guarantee Reasoning by Abstraction Refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3512489$D875F575-AD65-447A-A59F-00C54C0A3E86","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2bdc3db00180e9847fcf4526c38e5a72c61af030","datavalue":{"value":"1155.68435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512489$FBC245EE-99E4-44B1-9850-ABD17E3E317D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d32701c715794ad712b14c3c6265e90046c4906c","datavalue":{"value":"10.1007/978-3-540-70545-1_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512489$D6F6978A-39BB-4B21-B01C-1C58F3F2273C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"45433725b425160ee50ee96f52bf6f56fabec33d","datavalue":{"value":{"entity-type":"item","numeric-id":934703,"id":"Q934703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512489$B3952164-7E95-430F-BE22-613161B703BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a415f4068ebdf29fb12de5f461ea754e84058156","datavalue":{"value":{"entity-type":"item","numeric-id":434439,"id":"Q434439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512489$4846B407-2789-47B9-A445-63C0AAEC444D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2309e6110ac2efa5167ce01726a2626b32a049ad","datavalue":{"value":{"entity-type":"item","numeric-id":934702,"id":"Q934702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512489$8F8F1AD2-D577-4CE7-B57B-0786B712C9EF","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":"Q3512489$1FD6C7D3-1430-4B9A-AA33-898E73DBD88D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe6d7edb29c3b9253535d2fc716f213464cdfbcd","datavalue":{"value":{"time":"+2008-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3512489$306433B5-9070-48CF-9846-D8DC24EBB3BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512489$B43CBEE0-CCFD-4E2D-AC84-20E51C89DC28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e98851efe3885b7ee3eac8e4107b6b220178246","datavalue":{"value":"5301104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512489$31B3D85E-B035-4CAB-9060-BE7ED0A87CF8","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":"Q3512489$BD5C2B06-C870-4338-A285-60EFA7FE5F00","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef624a7d4135399ce0fbfa49e1c60df23ee723f9","datavalue":{"value":"https://doi.org/10.1007/978-3-540-70545-1_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q3512489$6629E0A6-9E55-4249-A6C0-A9C8844C7B87","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c2aa0dd942280c3769b9e8165b8c0eed13478ad","datavalue":{"value":"W1801993675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512489$ABDABFAF-A8CB-455E-971F-C46107F30FA3","rank":"normal"}],"P223":[{"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":"Q3512489$4719693F-78C8-4096-8378-DB4438EC1059","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":"Q3512489$AD4B6D2A-E9E0-46C7-A63E-6377197DA1CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e5d2a3258c7534111c1afe7f95a33b1202d115d","datavalue":{"value":{"entity-type":"item","numeric-id":5716595,"id":"Q5716595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512489$73A6F4BB-A80B-4D9C-A55E-ED1ED76BF07B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89164bc37116405f934d4829da8e169b708037d9","datavalue":{"value":{"entity-type":"item","numeric-id":2845499,"id":"Q2845499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512489$10D01421-9BBC-4B8A-A44B-441E39A49F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c76c83963daaf9dacc98c1875034105c6dbf9004","datavalue":{"value":{"entity-type":"item","numeric-id":5758116,"id":"Q5758116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512489$6636FB48-53CD-4C47-98A6-8858E1192CE3","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":"Q3512489$06692321-ADBC-46AC-AF76-452F5AA1EAFE","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":"Q3512489$8D9B633B-145D-49F9-B878-B709C4870C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07f91b8628cae3ade1f244c9153d5ac3ded0de78","datavalue":{"value":{"entity-type":"item","numeric-id":5758115,"id":"Q5758115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512489$F331F1E8-485E-4099-A90C-A4E764E0837A","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":"Q3512489$937D89A7-9494-4B2B-AEEE-8E4CBBF34A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a6f8c676c75552273283518d2daf462d7c08824","datavalue":{"value":{"entity-type":"item","numeric-id":4240122,"id":"Q4240122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512489$CCBB2933-81AF-4B33-BD34-EE59E850A85D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff9a0e3f0f2bb5379481e2506c1ed09265b0350","datavalue":{"value":{"entity-type":"item","numeric-id":3700812,"id":"Q3700812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512489$30D67BE3-883E-4F49-AD8F-5BE72BDD5547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512489$4B52363C-1D2A-4950-918F-08949AACAD16","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":"Q3512489$4BDDAB80-D998-458E-AE7D-E4A2D2B4D445","rank":"normal"}],"P1643":[{"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":"1eff20314063a9f350ad8bc717ffab7fc53199fd","datavalue":{"value":{"amount":"+0.8258950114250183","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":"Q3512489$B1E76A3C-D9FE-4547-B841-9DC2132F2EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fcd3563b9925724c6e19b5fec069843398d3060","datavalue":{"value":{"entity-type":"item","numeric-id":5758115,"id":"Q5758115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ded7fd504f4e3fa57790437bc43de06e969ffe5a","datavalue":{"value":{"amount":"+0.8173816204071045","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":"Q3512489$AE7A8546-1629-4F1B-942A-A770F6B07DB6","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":"dcd3a6ca91f4998cdb73f8a90fd5fd8907fb8a20","datavalue":{"value":{"amount":"+0.8165373802185059","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":"Q3512489$416F27CE-11EA-4417-BB7E-299F0AFD9A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"344146347e1c51f3f82d6cc41d848d754fbfdb16","datavalue":{"value":{"entity-type":"item","numeric-id":934706,"id":"Q934706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3060b95617a4df6df58f1eb494007f1c57d81d66","datavalue":{"value":{"amount":"+0.8152379989624023","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":"Q3512489$8CE7D828-38FF-40F8-9B94-84D155D37534","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":"e85450a5fe59f0826a9d4809e62826c757628a7b","datavalue":{"value":{"amount":"+0.8111630082130432","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":"Q3512489$434ECA0D-5DFB-4368-BA85-085E347B0879","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3512489","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3512489"}}}}}