{"entities":{"Q5206947":{"pageid":7236518,"ns":120,"title":"Item:Q5206947","lastrevid":53622557,"modified":"2026-01-25T10:54:44Z","type":"item","id":"Q5206947","labels":{"en":{"language":"en","value":"Automated circular assume-guarantee reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7145894"}},"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":"Q5206947$FFF08326-A611-47C7-96AE-252B528AC7E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"388faf0ebb9e14fbe123bbeeeffa638a94652161","datavalue":{"value":{"text":"Automated Circular Assume-Guarantee Reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5206947$6FC2360D-9D39-418F-A84C-C68EFD39117A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"398713e206bfc49723e768bfc76ad1372c40dada","datavalue":{"value":"1427.68194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206947$D41D0A39-3D0D-4B60-9837-96BEDC47A4DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9298bf591a3359cd82fb8935d9ddaa733e20e166","datavalue":{"value":"10.1007/978-3-319-19249-9_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206947$BBA93732-4EAE-4CB3-8C21-EFF004CD7230","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":"Q5206947$5C167AB5-298F-4461-AE47-EAB795B5E61F","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":"Q5206947$B95BD311-67CF-4677-812F-878197D73F0A","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":"Q5206947$31DDA69A-4EE4-4735-8000-C3A707D271CA","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":"Q5206947$5F189691-E198-45EA-8BE0-213C84C99057","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea507ca7ecb53fb64a642a5e1bbd9b47380c0a44","datavalue":{"value":{"entity-type":"item","numeric-id":5206946,"id":"Q5206946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206947$A4E25368-A4FF-4DB5-8FFF-9F4E51F31A0D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ad2986100f8e8d7278a8296353b8e4d3688509f","datavalue":{"value":{"time":"+2019-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5206947$14688FFC-6B07-4437-8AAB-CF1A92556E80","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206947$23EA63F3-F08E-4016-AF06-1753794858E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206947$C9A3BBF1-B7AA-472E-9440-EEFFBA89843F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bfaddf5d6b86afcc21dc80f2abcf6147dfb162eb","datavalue":{"value":"7145894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206947$D16C014F-409E-4D0B-B777-48B9336EAB37","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":"Q5206947$0F0DC858-D4CF-44C9-84B8-0B283F78F602","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da62aba90ece27f9eac1baf2e5a152ebf0c7b839","datavalue":{"value":"https://doi.org/10.1007/978-3-319-19249-9_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5206947$4BE4BFF2-0C62-45F0-8873-2F172281C189","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b2396c65759d129d38ef165fec6c4ff59c56ddc","datavalue":{"value":"W641899672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206947$D166040E-5F39-4D18-BC41-10F780CD43CB","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":"Q5206947$51A89D53-E74E-45DD-B649-55F0FE1A57C2","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":"Q5206947$093FF07B-949F-4058-A7B2-11A3B454B003","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":"Q5206947$2FE2D5CC-FF93-44B0-A15B-DAC6AED4F8CD","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":"Q5206947$B6A9E2E9-1432-4253-85BA-B090D22FCB42","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":"Q5206947$59AD288D-6888-4951-B7FC-608F34A7AC10","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":"Q5206947$52ABCE87-F096-45EB-AB9E-60B832855180","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":"Q5206947$78747687-9429-4035-B7BA-CB64BA6F0E03","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":"Q5206947$9FF718B6-7707-483B-A347-786D21FD4A22","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":"Q5206947$130BF8DC-855C-4CE3-984D-47E207A80D9C","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":"Q5206947$54C59F12-D998-4CC8-A9F6-8A97C2A6AE9F","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":"Q5206947$3D70E566-6182-480B-8F38-4C2B94E9BD99","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":"Q5206947$58812D65-7DDE-4EB7-83E3-F003C79DA3DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9aff8f392c3c08f4cd5a16d7067ffea27849fa3","datavalue":{"value":{"entity-type":"item","numeric-id":1673656,"id":"Q1673656"},"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":"Q5206947$9CDABC85-73AF-4257-9133-E9A843D87801","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":"a1c638de1069bd60bb74f6957a29b0c54045de41","datavalue":{"value":{"amount":"+0.8672579526901245","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":"Q5206947$3EAB315D-85DB-4C01-A90C-8C2E12D59E0C","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":"3b32c998b0192fb716da4cf07c6976989e6660b6","datavalue":{"value":{"amount":"+0.828553318977356","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":"Q5206947$D3388F5E-2058-472A-9305-F70D55D43CA8","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":"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":"Q5206947$1B81178F-EFB6-49C8-AA3E-4CA2E3383111","rank":"normal"},{"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":"ea0b0d89d577dc2f8d2f1ae984c7a6c9b5702bfd","datavalue":{"value":{"amount":"+0.8257347941398621","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":"Q5206947$DCC8A4A6-766D-4A71-BC9F-A2C0129A920A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5206947","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5206947"}}}}}