{"entities":{"Q5170180":{"pageid":7199752,"ns":120,"title":"Item:Q5170180","lastrevid":52046057,"modified":"2026-01-20T20:06:35Z","type":"item","id":"Q5170180","labels":{"en":{"language":"en","value":"Convex invariant refinement by control node splitting: a heuristic approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6319531"}},"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":"Q5170180$EF630610-4943-4CBB-AE2F-1D7C0C41418B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89cb9a624255cc759aaab80ca354df36ae003cf1","datavalue":{"value":{"text":"Convex Invariant Refinement by Control Node Splitting: a Heuristic Approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5170180$858B2218-AC1E-432A-A117-EEF9988DAEBB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83d36743248fe8171103c5963cb93bc7f5b1b601","datavalue":{"value":"1294.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170180$523B3E76-4C36-4ADD-829A-0E676B9537CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd4ab47318dd83d3609694d0dd1d1c937ddc008f","datavalue":{"value":{"entity-type":"item","numeric-id":281284,"id":"Q281284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170180$4859F6AA-E894-439B-94C2-536804B7BE2F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170180$3B7484E5-CE48-41E4-81ED-A84C5151CA2C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccf050e1c17ecf8d76a38048fff5f6c3dcd9c662","datavalue":{"value":{"time":"+2014-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5170180$E91FBC8C-161C-429B-B181-49A85BF52908","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170180$2CA08072-00FC-478D-9AB8-CDE171B28F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170180$8FFBEAD7-FBAE-4085-9F40-7C44EF8A8942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170180$7B0F31A2-1982-4070-92E9-FD59A74F9781","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c48f5a02a37cf56b3c13d5f08573d1683bdf207","datavalue":{"value":"6319531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170180$4EE5C358-4900-4F35-B654-8B64B152EC93","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170180$0C667A2F-AE2B-4B21-A4BF-1C6553D891C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25c11cbb056cc55728b434c8db0ec58650d9040c","datavalue":{"value":"transformer","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170180$FFD0C965-1850-4F53-B809-B0A4B777F2A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170180$5DF9E706-82AA-4CB4-9CA2-024CE8BDFFD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62c44bb46144052e04e069fed2040e19a1d78ddd","datavalue":{"value":"CFG restructuring","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170180$BBE7304B-EC99-4A7A-806B-8525ED462A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdf66b73dab0b33f23736db1e181d5b77fdb497c","datavalue":{"value":"automatic invariant detection","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170180$5DFBC25D-7F29-440C-9144-D4A30E335702","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e65172972753fae2695a503184afbf2c9bf44062","datavalue":{"value":"Q113318047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170180$B5D46A7B-4006-4272-BFD6-F853BE45F125","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"630858108012d4b1d813d05f96b53442397f2dc9","datavalue":{"value":{"entity-type":"item","numeric-id":17101,"id":"Q17101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170180$192AA38A-B2D8-432E-A032-83B7CD6BF673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cb5085a0e3d3bb720346dd836bd54d5d9d9a7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":20658,"id":"Q20658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170180$D5148C55-A3C7-4AB3-A6BD-15F40FE74279","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":"Q5170180$147AE741-A35F-4252-A225-E22C38934889","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f2b59623ed701c261230dac78faa4d3ef7e306d2","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2012.10.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q5170180$EC9AD0A9-43B7-44E6-9E16-1B96583C7FB7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"11d305c7e2b54e71e8c350383d142485f2c8267a","datavalue":{"value":"W1978376998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170180$45090E31-7F98-493A-8EA0-4778BFEF270F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"333f870969a03a9ceca6d80ee5d60c44f3c33309","datavalue":{"value":{"entity-type":"item","numeric-id":2814096,"id":"Q2814096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170180$6C839D71-2E5C-4B0B-A079-E5B321938455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e18e14063dbe9fb6a4c3e7f5c51040f7c8244a5","datavalue":{"value":{"entity-type":"item","numeric-id":3637054,"id":"Q3637054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170180$AA9CECAA-7306-4A56-9761-FB39D0238F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d62a92cf1acfd64695513a6d70afd5dbd5e8e380","datavalue":{"value":{"entity-type":"item","numeric-id":3334982,"id":"Q3334982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170180$E04FF30E-BD9B-4D86-BBE0-FF71A4B770D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a39da4a57272edb02d6053b5209e8619838564d","datavalue":{"value":{"entity-type":"item","numeric-id":3613383,"id":"Q3613383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170180$D4319F31-D4D6-4836-BED1-05437341E854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e310a6e4c7dd191248769828a27c22df80c4bcf","datavalue":{"value":{"entity-type":"item","numeric-id":3636853,"id":"Q3636853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170180$A76B4D87-715B-4627-BF58-F3DDC4EA2639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"410e781afed9d251e23ab31322a968fadadc39b5","datavalue":{"value":{"entity-type":"item","numeric-id":5261512,"id":"Q5261512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170180$76B24466-C817-47AB-919C-F3E1914E20F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c21e537ab0c07b0d3849b9a7e5a291ced75540","datavalue":{"value":{"entity-type":"item","numeric-id":5178898,"id":"Q5178898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170180$1C6C8E21-8F6C-4FEC-9C14-C057E4749FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f79edf1b0816517e52312ed99658f13273c3bc91","datavalue":{"value":{"entity-type":"item","numeric-id":4766565,"id":"Q4766565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170180$BB817B88-E77E-4B67-9C75-46ED3C19E0CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755b27fba20adb4b1be28577604256256716180d","datavalue":{"value":{"entity-type":"item","numeric-id":5316570,"id":"Q5316570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170180$217D194F-1C1E-47F9-ADDC-9ED5E1708521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb3108f8ff6d4aa94ead0738c87bf9253b67bdc2","datavalue":{"value":{"entity-type":"item","numeric-id":2814110,"id":"Q2814110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170180$160B8AF3-287D-4C77-8F8F-CE393A9C8B21","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b6b1a4438b3b5e95201c21c82fe08c13ebe9bd0","datavalue":{"value":"10.1016/J.ENTCS.2012.10.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170180$DCB5E5FF-05C9-4D6E-B193-049467324894","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82eb111a6b9f9cd24958fc2f7a6add09b81869e7","datavalue":{"value":{"entity-type":"item","numeric-id":3166219,"id":"Q3166219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c94fe897c725d3a9ac9d77fb6094eab9b210608","datavalue":{"value":{"amount":"+0.7141094207763672","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":"Q5170180$1DD5FCC3-EB8E-48DF-8FFF-0B69C248F258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"096e1fce489a0312ab0c13d68374a2d1d6c8a39f","datavalue":{"value":{"entity-type":"item","numeric-id":281287,"id":"Q281287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cab265241e545c3725af34ff666dea0b05298beb","datavalue":{"value":{"amount":"+0.7016428112983704","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":"Q5170180$8EB890C5-3682-41A2-A49A-B162D1F9CD4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a07c9093e060847b9e13d15dbfc9b71e30450b11","datavalue":{"value":{"entity-type":"item","numeric-id":765513,"id":"Q765513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"857c3230d82266089cbf23ad6ade28a473038c5c","datavalue":{"value":{"amount":"+0.6653128862380981","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":"Q5170180$DB71D73C-DFD3-45E5-B3F8-A88738D6F92F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f85b352f188f66626d32628ab3756017612498c6","datavalue":{"value":{"entity-type":"item","numeric-id":5108517,"id":"Q5108517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9999d44dd8c14c3544c995c33f745cafd22bf9f8","datavalue":{"value":{"amount":"+0.6606906652450562","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":"Q5170180$C57A55F3-3D7F-44A5-BD70-2E55380DF2AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a923abc0774909acf7d06b3b78d400443af00e9d","datavalue":{"value":{"entity-type":"item","numeric-id":3172939,"id":"Q3172939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38bb3b7edaad00bf6ff70e51001dd1a580fb80e8","datavalue":{"value":{"amount":"+0.6559233069419861","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":"Q5170180$6AAAE23C-B0E0-4D97-A594-BE7CA36598D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5170180","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5170180"}}}}}