{"entities":{"Q934706":{"pageid":936554,"ns":120,"title":"Item:Q934706","lastrevid":65461368,"modified":"2026-04-12T02:45:10Z","type":"item","id":"Q934706","labels":{"en":{"language":"en","value":"Learning to divide and conquer: applying the \\(L^*\\) algorithm to automate assume-guarantee reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5306150"}},"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":"Q934706$85A7CB3A-5A95-4FCE-B6DC-57F642CE5664","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b9945710f1a48d0b8dad1d70c15de9eb68e5947","datavalue":{"value":{"text":"Learning to divide and conquer: applying the \\(L^*\\) algorithm to automate assume-guarantee reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q934706$92B770C9-CEC3-4E33-90A4-A51A0A7A7D74","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb60cd245f0c0b7ab8c6faa2121e53d4a4f6bff2","datavalue":{"value":"1147.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934706$50AC96AF-2A47-468E-B7F3-97EDEAF956FD","rank":"normal"}],"P16":[{"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":"Q934706$3CC26596-7154-4269-8AA4-CACC58D0F0F2","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":"Q934706$69C72453-3A19-43A0-A7B2-82B92128ADDA","rank":"normal"},{"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":"Q934706$299FF173-3EDF-4A76-9338-FE9C53812EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72c64e182beca5b5e72104400ac43f8796358ebc","datavalue":{"value":{"entity-type":"item","numeric-id":934704,"id":"Q934704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934706$6BDFFF25-3334-49FF-9C32-0404245B7229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33d000139a62fd77e59fd5eeddbef5ca99d4a3f4","datavalue":{"value":{"entity-type":"item","numeric-id":934705,"id":"Q934705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934706$FAFC7883-A82D-4E73-ADF6-C1CFCFCA0357","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934706$CC66A890-DF31-4AF9-8D85-BF6222AE1CF8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63a99636c6ce0bf387bd2cadc0b904c7b0ae7806","datavalue":{"value":{"time":"+2008-07-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q934706$F858A523-F770-46E4-8FE6-45BB3E663D89","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934706$11504631-8A12-4E50-ADDE-F63FC25271AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934706$37BC71E9-E5E1-4CBF-937D-59A718968002","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64d3f0ba69fcf80f469f8bb1f51a6a0cb5336b62","datavalue":{"value":"5306150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934706$82510EE8-ACD6-4B33-8275-616C63B7E8FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"249cd8f870ad98ba763c4c5e905d3d20f06d2f7b","datavalue":{"value":"Assume-guarantee reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q934706$848543A4-935A-40F8-930E-C4D075A7D69B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5541349f29c25ba6a0be12f614381c30b7057b17","datavalue":{"value":"Model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q934706$EC8491CB-AF7D-4319-8091-A7C1FA31823F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0519d2701f872f4fdddd2057f74340447f22123","datavalue":{"value":"Labeled transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q934706$C1C7A6A7-A2DC-4882-BD81-C28A025968FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ce42893629932f486a50818acc38bd693f7d8b2","datavalue":{"value":"Learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q934706$111F65DD-E89C-4FA7-B56E-EDBE28067639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a865558927a2eec9ec326d8102b08428fffa513d","datavalue":{"value":"Proof rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q934706$5D58DC75-E1B5-45BC-9609-A7EA0C209990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d79c20d1431e86199f7030a9330fbb4d12089d7","datavalue":{"value":"Compositional verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q934706$BBC4E795-66CA-4535-AE95-BC129A58DFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"460df47fa87e881ac564c27dcb7d27804a38af90","datavalue":{"value":"Safety properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q934706$5F9858E7-A561-45A8-AFC7-8E8268A4078B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934706$B1547630-48F5-4484-8285-747B1D90687C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0b81395bce8af48e679b9daeada5dec6a46a77d1","datavalue":{"value":{"entity-type":"item","numeric-id":24858,"id":"Q24858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934706$98EBAE90-5F79-4824-A9F9-998030A25789","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":"Q934706$8A38F5AF-9D2D-4B4D-BC72-1C1F1B614881","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1db05545730d5e9e5fe969ef18a6a6bc74a178df","datavalue":{"value":"https://doi.org/10.1007/s10703-008-0049-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q934706$55773F78-FE3F-4C5B-B12C-E9FF82F918AC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5df43f8c6983e03a22b756546f4a77e10e2effb5","datavalue":{"value":"W2117013774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934706$1CDB5572-FA63-45B9-AE5C-89B69B0B5D1E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f43d7854e50381630023e07192383000eb7eb63d","datavalue":{"value":{"entity-type":"item","numeric-id":5276138,"id":"Q5276138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934706$852D8E03-2809-44B1-B95B-1FD2B4B9B329","rank":"normal"},{"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":"Q934706$F4F80960-8405-4FB6-AD60-981234318829","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":"Q934706$F5B78CFA-7FBB-405B-842A-785986815C46","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":"Q934706$4DBEE3E6-4B2E-4123-8FD4-E26C14173E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f541623726371fa1e6609e8c2eef0b9f81a4c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4804909,"id":"Q4804909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934706$DC6519C2-52DB-4CBF-81EA-52BD4B86665E","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":"Q934706$6FE248C9-9441-4E9D-91F9-6CD94A7F84C5","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":"Q934706$A135BBEF-1129-4E6D-914D-9620347059A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b9998a3f298b79f1a6a6c5768dfa90bb3cac3e1","datavalue":{"value":{"entity-type":"item","numeric-id":4738361,"id":"Q4738361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934706$032586BF-8DB6-483B-B5F9-B7D59F34D5DF","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":"Q934706$4D389645-386C-485E-8053-18491D0776C8","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":"Q934706$F59993DD-99D9-4F7F-851B-DB99F0C8375B","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":"Q934706$2937A80E-1C53-4BD9-A014-B0048E96BE26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a0e350fbdf52632f3facb41fcf375367d05fd38","datavalue":{"value":{"entity-type":"item","numeric-id":3522908,"id":"Q3522908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934706$A9AB0CD3-1CD7-418E-BEC5-717212539B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27d82d8fbef7207e3a8c855b494fb9281aee4749","datavalue":{"value":{"entity-type":"item","numeric-id":2365762,"id":"Q2365762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934706$3E3206D5-FB9A-4B08-B011-223649893FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b72ad09e1bd6ca3b1ae8d38ac829e2618d0c754","datavalue":{"value":{"entity-type":"item","numeric-id":5716900,"id":"Q5716900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934706$3C8C3D50-B52A-47FC-93AE-0A0D745598F8","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":"Q934706$E977E41F-54D1-4FE4-ACFA-FAA54878558C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d44cb1bb706a80e41f3285360272b79578cea8b","datavalue":{"value":"10.1007/S10703-008-0049-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934706$443299FC-6F5E-4606-8DDE-9ABE880541D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4713b22089dcfb39aba365f723e953560ed05b8","datavalue":{"value":{"entity-type":"item","numeric-id":5716596,"id":"Q5716596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b549daa3599adadba05e669cbbad9603d744131d","datavalue":{"value":{"amount":"+0.881277859210968","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":"Q934706$E0A3F869-AA48-43A8-86AC-F1345B85079D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76bf0ada30c6b6c5820adad3fdeaef3538b1fc70","datavalue":{"value":{"entity-type":"item","numeric-id":934701,"id":"Q934701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0de16cefaaa668252df48c51f54c4301f442ce1c","datavalue":{"value":{"amount":"+0.861284613609314","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":"Q934706$2F432DFF-F6DA-4CB0-B901-8085A0EE88ED","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":"b494f7a710e9dfe5a1a9e4be530eff752fd1f4c5","datavalue":{"value":{"amount":"+0.8535067439079285","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":"Q934706$D39525F2-8386-48C1-AB80-08927BC0FF8E","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":"d079c037a457e194eb4e22fe399ffeefee4a7b89","datavalue":{"value":{"amount":"+0.852789580821991","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":"Q934706$60561617-09EA-441B-980E-9D90BC116D56","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":"c61a26a962ca6a7f94938a9b5b9066d1c537b6a5","datavalue":{"value":{"amount":"+0.8472670912742615","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":"Q934706$C729D752-208F-4530-9B1D-305E59EF1C9B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Learning to divide and conquer: applying the \\(L^*\\) algorithm to automate assume-guarantee reasoning","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Learning_to_divide_and_conquer:_applying_the_%5C(L%5E*%5C)_algorithm_to_automate_assume-guarantee_reasoning"}}}}}