{"entities":{"Q1673656":{"pageid":1684397,"ns":120,"title":"Item:Q1673656","lastrevid":68110857,"modified":"2026-04-12T21:30:22Z","type":"item","id":"Q1673656","labels":{"en":{"language":"en","value":"Automated circular assume-guarantee reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6935837"}},"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":"Q1673656$85BF23C5-A13E-4223-A9BA-C27431C064E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a07f5767a16d4664ac50fd9e1b652a60c620ed6f","datavalue":{"value":{"text":"Automated circular assume-guarantee reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1673656$4356B8D2-F442-4EB5-8580-A543C17CEB92","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c03ba0f14a08ee05fa5a4103f7e24438dd2b7bf4","datavalue":{"value":"1395.68184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1673656$FE82EA63-431A-4685-9D69-16BB49B704D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"999f214716c58db8034aa8fc4fcabf9634c8f1f0","datavalue":{"value":{"entity-type":"item","numeric-id":1673655,"id":"Q1673655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1673656$46782DD7-095D-4D52-B225-58F6417A7004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dde9477c31764f7e982fa5c7962174291d7bf7fb","datavalue":{"value":{"entity-type":"item","numeric-id":259063,"id":"Q259063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1673656$E31AF7E6-74F1-4D13-94E0-525D6C99CE33","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":"Q1673656$F0B08AEC-2A3F-4C9C-AFB3-A7C112E98EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cec177c60e5a5e06c4135c2d656205cdaac4e3ae","datavalue":{"value":{"entity-type":"item","numeric-id":259064,"id":"Q259064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1673656$DEE0AC5C-FA6B-4A1C-B9F0-429BA31FA4D3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1673656$C759DEB5-C4B1-4F4C-84DF-051BBED04D42","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"655dac8f5dda40a8d093e159bbdfdcfade2b2927","datavalue":{"value":{"time":"+2018-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1673656$94207317-6A7A-4401-9D12-EE84FF7D9C29","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1673656$876FE02D-BA1F-4902-B028-617F5C6A156A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1773f18f4b2b79673aadc0de6e5b774e156b343d","datavalue":{"value":"6935837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1673656$94904818-147E-4E18-86F9-6D7ED457CA93","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4672783e42cf498417b0eb9721718738d14d9699","datavalue":{"value":"assume-guarantee","type":"string"},"datatype":"string"},"type":"statement","id":"Q1673656$05241295-474E-4910-9636-3238B3028D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6684dc588d697468b7f3333175769603bfb8b23c","datavalue":{"value":"SAT-based assume-guarantee","type":"string"},"datatype":"string"},"type":"statement","id":"Q1673656$54DD37D1-1BAE-4FF5-A321-97B85284BB33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d06ac3c29ddedd28d42159ca31b9b1be110f23a3","datavalue":{"value":"circular assume-guarantee","type":"string"},"datatype":"string"},"type":"statement","id":"Q1673656$F9427EC5-A7BD-4623-A80B-6696A81E2015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1673656$6BE3F35A-F896-488F-A3E0-2F988CC58D24","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":"Q1673656$F5B799D9-2F45-409E-8248-5A9756D73B6B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9fe0a091bcd580def811cab01e7a737a48437890","datavalue":{"value":"https://doi.org/10.1007/s00165-017-0436-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1673656$695BD8B8-A5DC-4C39-A0F4-CF3F8B3B7FD7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b7011f876d9c1151b2612bca399aa650f09db6dc","datavalue":{"value":"W3022825686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1673656$A7B29702-5240-4402-B5AE-8B2750F12930","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":"Q1673656$0036A1DE-EE61-4E1D-942B-508D2C4D6DC1","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":"Q1673656$9E92B47F-18E5-4B86-87D7-283B6F8A20B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7b0055c738699970bbe7f3231dfee16eb3acecc","datavalue":{"value":{"entity-type":"item","numeric-id":3512489,"id":"Q3512489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1673656$D793458B-293D-4FCF-A793-9F36FA711C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f275b0c7960baec2620149acfd97bb31ebbe0b06","datavalue":{"value":{"entity-type":"item","numeric-id":2506483,"id":"Q2506483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1673656$DCA689AB-6763-4DF5-AE30-E512CAAD3305","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":"Q1673656$A1A5B902-805A-4407-8AF8-C42F54E8C1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7339bf9b2529ffb9a27c9cdd0542578668a99679","datavalue":{"value":{"entity-type":"item","numeric-id":3617752,"id":"Q3617752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1673656$13764652-C24D-43ED-8ED8-3B9D9601FA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b026130fb14abb6ec25af9a49779c945ecc8f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1673656$88A2AA16-063D-4505-B222-1F425B43795E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ccc368591937b0e93f76ce0ee9913a83d02dd0c","datavalue":{"value":{"entity-type":"item","numeric-id":3922150,"id":"Q3922150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1673656$68C821C1-C213-4D59-ABAC-26D20D264A85","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":"Q1673656$42941BC9-EEAA-4360-A9EA-38AAA3D57263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb0c1d868abdd4746c3dc8aaa770c9a4b302044a","datavalue":{"value":{"entity-type":"item","numeric-id":4633543,"id":"Q4633543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1673656$5D388542-D65A-4923-8E37-7B3C35826D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1673656$B4299E86-C7E0-4F7E-8479-83B9B269F29B","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":"Q1673656$26319D31-43BD-4563-B6C5-2C7FAD0F2509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"609786574a6e9e17291c5449cecdae22a150e920","datavalue":{"value":{"entity-type":"item","numeric-id":934710,"id":"Q934710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1673656$BEE0A029-C196-4081-ABD2-EDC11AF6B98C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"358a4e09d6cbdccb0a6a97551bee24c6efb9d080","datavalue":{"value":{"entity-type":"item","numeric-id":5326338,"id":"Q5326338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1673656$D26BFA42-83D2-448E-9DE9-7978E1015803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1fe71c915b11e877aebbbf7b6381bb1cb93bb6d","datavalue":{"value":{"entity-type":"item","numeric-id":4417869,"id":"Q4417869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1673656$276DC362-A085-48A9-BECD-1BE1772C8C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b9806903ee6a63fd9ca0b7764a6a00685bb416e","datavalue":{"value":{"entity-type":"item","numeric-id":4494394,"id":"Q4494394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1673656$9FADB7AD-A644-4C20-BE36-3FF6F657546F","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":"Q1673656$BD64468E-F4B1-4A82-87B9-EB56E1245B2D","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":"Q1673656$94A1FD7D-C87B-4C55-8C46-9836B3831479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2035307cafcb1709a40ccbbcc0221ce03fbf423","datavalue":{"value":{"entity-type":"item","numeric-id":934706,"id":"Q934706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1673656$92F3300A-BF7C-4568-96CD-014D233A6918","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":"Q1673656$8E9693D3-350A-4CE0-83A0-309141AFF436","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c26c24593c3dfb343feaefc016a999f7f43ba584","datavalue":{"value":"10.1007/S00165-017-0436-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1673656$1A735305-EB5A-46D0-ABA8-651CA8DD6D2A","rank":"normal"}],"P1643":[{"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":"b2b8a64f3f256c0dfd98d8177faeda1dfe15df07","datavalue":{"value":{"amount":"+0.9475175142288208","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":"Q1673656$8F32B35B-2265-4B7F-9998-C098BE68A5AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"797040d6f082743c613e32acd1680e78f4ff1e12","datavalue":{"value":{"entity-type":"item","numeric-id":4633543,"id":"Q4633543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64d6ebf3b00f44920f817c6ee1bd499974106bc6","datavalue":{"value":{"amount":"+0.8438782691955566","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":"Q1673656$265AC456-2492-486E-8750-62F51391F473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51637123bcae3dc6cfb0a1cb2b40a2d84e5d4ea7","datavalue":{"value":{"entity-type":"item","numeric-id":4535066,"id":"Q4535066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf66f4c55c08bc45d501db3ee2186dfb407eb36a","datavalue":{"value":{"amount":"+0.8152151107788086","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":"Q1673656$4AC47305-0C7A-4493-B509-B1C803CE24D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60c1ef5ef3158cedbd37b3808d4515703dd5aa0c","datavalue":{"value":{"entity-type":"item","numeric-id":2946604,"id":"Q2946604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aeb858a1e65cfe8eceff446d782b700bc2df6af","datavalue":{"value":{"amount":"+0.8003154397010803","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":"Q1673656$E1A12D8F-BB5A-42DA-A07B-21F0CF22E39D","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":"e6735444cbbf3d14edd9d7e6bc1c5376de4504a2","datavalue":{"value":{"amount":"+0.7981451153755188","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":"Q1673656$DBEF53F9-3FF3-4ED1-8A6A-A2508F6A92EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated circular assume-guarantee reasoning","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_circular_assume-guarantee_reasoning"}}}}}