{"entities":{"Q5326333":{"pageid":7355907,"ns":120,"title":"Item:Q5326333","lastrevid":92138234,"modified":"2026-06-05T00:57:48Z","type":"item","id":"Q5326333","labels":{"en":{"language":"en","value":"Intertwined forward-backward reachability analysis using interpolants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6194843"}},"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":"Q5326333$E0759921-4CC0-48E2-BC41-B9163F3FE034","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27e97c935c62c96ede3b3dc939eccdbb6345b2e4","datavalue":{"value":{"text":"Intertwined Forward-Backward Reachability Analysis Using Interpolants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5326333$F399F41B-0631-47EE-932B-50B6AAB89E6F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82729ba4d10d289b59cca9655bfaa490dab9cf27","datavalue":{"value":"1381.68184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326333$13D17031-1C76-4F67-9E09-228C97F2A49C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"800f21626a33aba5baf76c8429b905a35a9b333b","datavalue":{"value":"10.1007/978-3-642-36742-7_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326333$D9135E64-92CD-4948-89CF-1E06356A85C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2eeffd0a4d2cc9b1c30d6e712f911dea7b84f95","datavalue":{"value":{"entity-type":"item","numeric-id":746770,"id":"Q746770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326333$944CA74D-9F95-4B24-8270-6E4B250F1D20","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":"Q5326333$2D96FDE4-B95B-4CBB-A7A2-FEA5CB38A82E","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":"Q5326333$B17BCCE8-40E7-4CB8-ABA2-8AA1204D40E6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326333$25632922-E758-4226-84BF-987F23969979","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95aa5aea465a8772f3ec0450c3b06f16f93c1446","datavalue":{"value":{"time":"+2013-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5326333$C95324C1-999C-4916-A1F5-5BEB0636E541","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326333$B01D1BD0-62BB-4FF2-9955-07F1517F3095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326333$B3D173DF-40CE-46D4-85A2-DDE1ED4574FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326333$CB7ED8A6-B22D-4DC4-9A81-4AA9B51D1FA8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b349bece4a09fde2d8e4300f2a683bb2ea6bd42c","datavalue":{"value":"6194843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326333$5B1D76D5-2DC7-476B-A820-1EC85225DBB5","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":"Q5326333$A507A3CA-F89E-4F64-8EC8-1E75AEDAE0BE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e078c5313eddb14e51b8c1a67cfe5c31d76b466d","datavalue":{"value":"https://doi.org/10.1007/978-3-642-36742-7_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q5326333$93DE044E-918D-4554-A7D1-E7D323F342AA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fde233e5b9e0f37d7d025eab0560108be06a2021","datavalue":{"value":"W35008586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326333$B60BC621-F711-424D-A5FE-6D8C59ED594F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d45dd440df75f6c635ba254138a56ee3d488dded","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a1cdf2aef466f4e3270af98dd150e0082b5206b","datavalue":{"value":{"amount":"+0.7768410444259644","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":"Q5326333$332E98AD-9794-4EDB-86C9-C878F8993F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"176ad676256d70e6de51bb6da4f7f4c7779216e8","datavalue":{"value":{"entity-type":"item","numeric-id":5452708,"id":"Q5452708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9edae69d5fa590bf56e623152d0d818afabc52e","datavalue":{"value":{"amount":"+0.7677117586135864","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":"Q5326333$8D6A06F9-DAB2-4657-8A17-B8D74B1F57A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5798812b499c0fce505cdce0fba5d8623f8ecdda","datavalue":{"value":{"entity-type":"item","numeric-id":2864382,"id":"Q2864382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8126c343add44789a1c9034b82f31503e1f546f","datavalue":{"value":{"amount":"+0.7579700350761414","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":"Q5326333$8021A440-980A-442B-8596-541F71E074B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb5e44f140dab8a31109329358c415520b0ce897","datavalue":{"value":{"entity-type":"item","numeric-id":5166692,"id":"Q5166692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ac66b837daebd967f84e59e454e01c4c96fd4a5","datavalue":{"value":{"amount":"+0.7533782720565796","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":"Q5326333$F0DAA038-7CA5-42AA-9025-4FF05D01B30F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"992fa52f09fbfce42db0c1f9839dc4ce41532293","datavalue":{"value":{"entity-type":"item","numeric-id":5458343,"id":"Q5458343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d805c5778c5ed19788ae8c654206a13b983569d8","datavalue":{"value":{"amount":"+0.7462320923805237","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":"Q5326333$A5C8B484-6EC8-474B-BC94-8F964D1D77B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intertwined forward-backward reachability analysis using interpolants","badges":[]}}}}}