{"entities":{"Q681335":{"pageid":683184,"ns":120,"title":"Item:Q681335","lastrevid":63435924,"modified":"2026-04-11T13:10:13Z","type":"item","id":"Q681335","labels":{"en":{"language":"en","value":"Horn clause verification with convex polyhedral abstraction and tree automata-based refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6832415"}},"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":"Q681335$C265B676-020B-4F7E-A900-7310D6AF4784","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f18cf02a593fc9ec52af2bfc6d78bd8073e610ab","datavalue":{"value":{"text":"Horn clause verification with convex polyhedral abstraction and tree automata-based refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q681335$F3FC8A58-DFE8-490A-B16F-972AFC7C5639","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"033317d8496d750ab83f36bf34bc03eb3928899c","datavalue":{"value":"1379.68239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681335$A38D4EE5-9477-4F8B-B1DA-60578D808F28","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f60cc7b23bdd947bfabaeff972c6281f9d07b25a","datavalue":{"value":{"entity-type":"item","numeric-id":681334,"id":"Q681334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681335$AE99C2DA-F3F3-433E-8F93-4FCA30E28A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2c13ddb28c279be9eed2b39004f69512bab7c50","datavalue":{"value":{"entity-type":"item","numeric-id":238502,"id":"Q238502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681335$99998244-C4BF-4CDB-A51D-AF2E1F8963B7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4d2f38e43c691e4079017f3fcd6faa7b21dad657","datavalue":{"value":{"entity-type":"item","numeric-id":456462,"id":"Q456462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681335$7EF1A0F2-6E5D-49D6-A1B1-19A7A58FF63C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee1298fdc8d29584d7dbb02d41e73b7c90698eda","datavalue":{"value":{"time":"+2018-01-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":"Q681335$4C64998C-B294-4D1A-AAB3-4E975A91A3FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681335$B639DCF3-6BEA-458F-A872-A68A96F0A918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681335$3C966F6F-A1F9-4A19-B74D-229A54C2BD38","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f7bc9aad19fadb0b8c653f31597183430deb28d","datavalue":{"value":"6832415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681335$573C0E8F-B07A-4D02-B309-280F05C61550","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e431190495251d75e7d7f973ca704f4139885eb","datavalue":{"value":"Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q681335$255A4417-8C7D-4684-8A33-2C7AD43E86A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q681335$7CE5AD8E-BCDF-4BC7-A52D-C686CC86A460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51ba89a1196230731f0f761eb736b27ab430ac69","datavalue":{"value":"finite tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q681335$30374E17-E285-4BDB-A25F-679FD5504106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b47b20d840ed72ca3c3ec268d6a490fbcbe49086","datavalue":{"value":"tree automata determinisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q681335$BF08F0B7-E7C4-4A33-ADB4-4C780FCC7820","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7edebecfea0d1be076050d73b49d0bc3b1453ace","datavalue":{"value":{"entity-type":"item","numeric-id":34655,"id":"Q34655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681335$604DEC8D-996D-412F-82DD-B59FD497C93A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"186b5b3d722a89e38fc553043bf5da3991c467eb","datavalue":{"value":{"entity-type":"item","numeric-id":17100,"id":"Q17100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681335$6C8406D3-AB5D-463D-8386-E83E0A26691F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dc9e88abc913a4b4fba265878f62bb009e36efad","datavalue":{"value":{"entity-type":"item","numeric-id":17099,"id":"Q17099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681335$B6B639A9-574B-4DDD-8954-0138F4B0614B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1d6b9e920f2e41a66a9767e31ca972ed7628dde","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681335$9536BB67-E454-4C20-9A82-3F9504A48182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3cd8007490a248a080808f77e0123c492d98333d","datavalue":{"value":{"entity-type":"item","numeric-id":17497,"id":"Q17497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681335$E2993212-5B1B-46E3-A17C-AFF7EF305512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9ef6b52613e0d0ceb1e645440c84c3cd13bf2efd","datavalue":{"value":{"entity-type":"item","numeric-id":21466,"id":"Q21466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681335$8496B73D-FC66-4B96-9122-AC5E9AA6C46E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1cb5c7412a95b8ff7f1ba4b73ca4c2023bf710a7","datavalue":{"value":{"entity-type":"item","numeric-id":21916,"id":"Q21916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681335$F7B101D7-8E4A-453F-9B92-06390EA64575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"33734e36764580044df2d1101af853dac96392fb","datavalue":{"value":{"entity-type":"item","numeric-id":21759,"id":"Q21759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681335$A0E39CD7-5ABC-4B45-B43E-15FB92E058D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"69f362165978cbf04e5b5460992bc38f4ae05985","datavalue":{"value":{"entity-type":"item","numeric-id":30117,"id":"Q30117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681335$C09A7816-4D66-461B-8F0F-3B0B3C7A75C9","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":"Q681335$0B717170-16DE-4246-9A8C-BC560DE6D15D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"679649c63c5dd365c8c1a783f3dee26fe926c724","datavalue":{"value":"https://doi.org/10.1016/j.cl.2015.11.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q681335$39628BA0-62ED-45E3-9592-928F9ADDDD4C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"762411a8e1f8948bdcad5095f09d733dcc96d6c2","datavalue":{"value":"W2192877587","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681335$83B2398E-9F0A-4B1B-B968-1F69B241D599","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fc6f8ad8cdc3788a0a19ff0e637a835747976bb","datavalue":{"value":{"entity-type":"item","numeric-id":5953447,"id":"Q5953447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681335$9B16BEB3-D3CA-45EE-AA49-AEA4ACD1F5FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60ca6ef764cc4717632acdb741093babcb50c6c3","datavalue":{"value":{"entity-type":"item","numeric-id":5475796,"id":"Q5475796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681335$D434245B-6D48-453A-95B0-66053B02C246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acde43aadb68c83ae4d51574dcef8cc0958b2d7d","datavalue":{"value":{"entity-type":"item","numeric-id":3392921,"id":"Q3392921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681335$0F9CA2EE-DA28-41ED-B4CC-79F6F3D7D022","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":"Q681335$CB0734EB-018E-4D34-BC2B-815B79E811D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d1317552ea16b0efc4e867e35dc1aeb95492d63","datavalue":{"value":{"entity-type":"item","numeric-id":3172939,"id":"Q3172939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681335$E6F62B65-8C4B-4D82-9F8E-CE79F7B6B22C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b29f5c346bf5a24701d5c41a17898f8ee49261","datavalue":{"value":{"entity-type":"item","numeric-id":5458344,"id":"Q5458344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681335$46FFF79C-080C-48B6-97BB-B51FCC763D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcf2b678c67af5d9c3ef01ce8f5125a52e30717a","datavalue":{"value":{"entity-type":"item","numeric-id":5255103,"id":"Q5255103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681335$22BCFFBD-EAB5-4FC5-BC8F-97CAF3DE77FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f98bd793a49e000e46ad1f9cf0d42ede73815c3","datavalue":{"value":{"entity-type":"item","numeric-id":5398297,"id":"Q5398297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681335$4AC2A913-22BF-463F-8B98-2E4928902FFF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"99d30bbc75e5e3cdbf02befa9596c48853e96c22","datavalue":{"value":"10.1016/J.CL.2015.11.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681335$88F9791B-2C79-4A6F-ADD1-EA3CD1E573F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0710bcb54d08efe82099eceeab9ddba784fcf2f","datavalue":{"value":{"entity-type":"item","numeric-id":5172644,"id":"Q5172644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b93407c96310fe7f25e8cb8bc621b77c2fa94ce0","datavalue":{"value":{"amount":"+0.964171290397644","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":"Q681335$88853D53-8CC4-4A0E-82E5-341A3707B0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7345bf5167d5220139726901ab109cf6b7d7e461","datavalue":{"value":{"entity-type":"item","numeric-id":4997236,"id":"Q4997236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffa1fafda960350b15744a4564cb48e9113dcbb0","datavalue":{"value":{"amount":"+0.8456056118011475","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":"Q681335$0867A53A-0AEA-4F13-803A-3F7FDA733F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5a5bb51e3095387c40d880ae273a0fce71d2c1c","datavalue":{"value":{"entity-type":"item","numeric-id":2947164,"id":"Q2947164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff6684b1dd03ae687788f723ceef058f35fc3659","datavalue":{"value":{"amount":"+0.7483243942260742","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":"Q681335$948C5518-CC4A-4EC6-BBAC-04175155F48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d38d531ebfcb6c94fc098771aa782e50b1cbb06b","datavalue":{"value":{"entity-type":"item","numeric-id":2164260,"id":"Q2164260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2931f5979db1e3be38eeb310d8864d6b3517a085","datavalue":{"value":{"amount":"+0.7397335171699524","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":"Q681335$BC980DCE-B394-4943-9328-6BBD47B1EADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1a09a1f4eb0e003c3510ff90e0f1e88825cea8f","datavalue":{"value":{"entity-type":"item","numeric-id":4644355,"id":"Q4644355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb58179b80c552bcb1f31be0439e7f336cb119d7","datavalue":{"value":{"amount":"+0.7370491623878479","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":"Q681335$E23763E1-776D-4145-A0CB-2CEAEDEFF8B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Horn clause verification with convex polyhedral abstraction and tree automata-based refinement","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Horn_clause_verification_with_convex_polyhedral_abstraction_and_tree_automata-based_refinement"}}}}}