{"entities":{"Q4633543":{"pageid":6663124,"ns":120,"title":"Item:Q4633543","lastrevid":53414345,"modified":"2026-01-24T22:22:20Z","type":"item","id":"Q4633543","labels":{"en":{"language":"en","value":"Automated circular assume-guarantee reasoning with N-way decomposition and alphabet refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7050646"}},"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":"Q4633543$F225FE73-64F8-45CE-8E6A-C279F215BDE2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6e1d18e8ad3752c8b2e6b944151289fd4771852","datavalue":{"value":{"text":"Automated Circular Assume-Guarantee Reasoning with N-way Decomposition and Alphabet Refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4633543$652CCC9B-47DA-4945-9DC0-F4864C6AC6F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"042ead46af13c91db47477852643eb4d15aa3304","datavalue":{"value":"1411.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633543$11D0A4C4-9394-42BD-927C-776AF7688A79","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb7291849635e2ff6a8507e185944ef0c9183404","datavalue":{"value":"10.1007/978-3-319-41528-4_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633543$DF5AEE0B-5A2A-4298-9563-0E3E2339D40A","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":"Q4633543$E2557F22-ADD6-4917-8DF8-014BC3A601F7","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":"Q4633543$822F2189-82A3-41A8-BA8F-46A1B259DC98","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":"Q4633543$C803B66C-1B48-452C-BFCB-A1EBEFD2EBA7","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":"Q4633543$7437805F-0FB3-4F89-A1A5-DA782C4F9CF7","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":"Q4633543$EF8E09BA-6E5E-4B8E-AB66-3C46B153C62B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24db5d32115f39913353e80bae577d976822bb5c","datavalue":{"value":{"time":"+2019-05-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":"Q4633543$EA1B92D5-439C-409E-9ACC-090C1D22FD06","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633543$CA2B5EBF-750E-4E48-9C99-3F153BEE520B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54e106b87e73d95373e87a1e51171020f8394025","datavalue":{"value":"7050646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633543$645714E1-B929-44AF-BFD9-F074B12ED51B","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":"Q4633543$2F93082C-A123-4186-990A-A29C00F107A4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41870619d0578ae3d4b2c7c7c0012cf47b79140b","datavalue":{"value":"https://doi.org/10.1007/978-3-319-41528-4_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q4633543$0677BE65-8A43-44D2-806F-23FDCC794FBF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6bc4884101f925a81dda445db37c48994f6d97fc","datavalue":{"value":"W2497515766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633543$BF461852-6270-48D7-8EED-88F861F8971D","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":"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":"Q4633543$91F3A3DA-11D7-40D1-BD86-E21663625993","rank":"normal"},{"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":"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":"Q4633543$6A4628A9-A2D5-46E7-AC9B-8550B7082CC4","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":"fce2532e2ba8f8ead5815fd0828e79bdbd7d7ca8","datavalue":{"value":{"amount":"+0.8038698434829712","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":"Q4633543$F55C2381-53B0-413A-98AB-2BEC73FEC7B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92352399aa1d6b6bcde4318d7c3f8904e98b5b33","datavalue":{"value":{"entity-type":"item","numeric-id":3512489,"id":"Q3512489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecb3de057060203099bce289f804644f42e55378","datavalue":{"value":{"amount":"+0.7860516905784607","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":"Q4633543$4078E50D-F13A-4086-99F8-A6ABAFDBE7BD","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":"7a025da4468b66958e6c1446d0475f1c0851823c","datavalue":{"value":{"amount":"+0.7780301570892334","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":"Q4633543$03661357-D17D-4E50-AE8E-C5E9F212431B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4633543","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4633543"}}}}}