{"entities":{"Q5452708":{"pageid":7482267,"ns":120,"title":"Item:Q5452708","lastrevid":50327339,"modified":"2026-01-13T20:11:59Z","type":"item","id":"Q5452708","labels":{"en":{"language":"en","value":"Approximation Refinement for Interpolation-Based Model Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5259557"}},"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":"Q5452708$69D81A34-C5F7-4F3F-858C-B3078C561FE3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1f1ad61a3013d5e3ac6763b4812c47e754e0696","datavalue":{"value":{"text":"Approximation Refinement for Interpolation-Based Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5452708$12E91E12-2575-4AC9-A8AE-E4F2EBF39ED3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3cdbb12126992739e49802119c221b2bc6813f1","datavalue":{"value":"1138.68444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452708$5513F7B5-8EEA-4938-8C9E-7083B4DBFC0F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b21d9940b91a3376bdb73b683b29d6a8abd3d53","datavalue":{"value":"10.1007/978-3-540-78163-9_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452708$7FDC2DA2-AFC3-461C-BBF6-07F0605C4462","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"14a0eb23269ec1fc8704436b597276cf095d31ae","datavalue":{"value":{"entity-type":"item","numeric-id":479834,"id":"Q479834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452708$6C1ACDD0-07FC-4A5F-9753-98E04A8FD6EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"82e4d544c735e21cc41ed4fa4874690a610f49e6","datavalue":{"value":{"entity-type":"item","numeric-id":3066125,"id":"Q3066125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452708$333535EA-E18E-4930-A468-AE17BB44442A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de4a775b741b129661b3807102896dab39bea660","datavalue":{"value":{"entity-type":"item","numeric-id":438554,"id":"Q438554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452708$23D46EE2-9183-46DB-9C0F-4356F20BC580","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452708$1B9E8F22-6F7E-41C5-ADC2-919215AE3CB5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"283c808929f873b84bd7c8d7eb4dc979113b8f01","datavalue":{"value":{"time":"+2008-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5452708$D56CD9A4-128B-478D-B15E-8162DEAE3487","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452708$C6FC8477-0721-4C4B-A047-AC02188FDFD3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6fcfcbbf0e94ef321df0e17dab6d8a5524104155","datavalue":{"value":"5259557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452708$494B33C2-6B3E-4A0C-8023-452C8EA714A7","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":"Q5452708$0D917522-5A6C-486C-AD36-5D5F64AA9683","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f99fffcdd9d337ce8de79d832806c55e56ee3a1","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78163-9_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q5452708$AA733FBC-9FC6-40CB-9E92-33E31BE94423","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7415f684f111accfdea89964463b2dfada5b80a8","datavalue":{"value":"W1805082449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452708$05275055-D8C2-47FE-979A-24B1C6074AD6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452708$0B42EB50-F410-44B7-973E-23188AE7F23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30b9e272f8ccce6a7b10c8e4afc506dcafb4f348","datavalue":{"value":{"entity-type":"item","numeric-id":4358049,"id":"Q4358049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452708$4EC17907-E4FA-4653-85F6-E23F761C18BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f34823cac176489a74f3e54ebb7fe9577d93ab","datavalue":{"value":{"entity-type":"item","numeric-id":4372917,"id":"Q4372917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452708$7C707B3A-67E5-4F02-9B56-13C8106ADB8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452708$5C64EF66-8299-42E5-B284-8A10AFAE6DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c550ccefa8c33e8450539a2f7f48c280b0c29631","datavalue":{"value":{"entity-type":"item","numeric-id":2864382,"id":"Q2864382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452708$EDFB7DA3-F04A-474F-8431-D1D3BA1B3903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62dd1223d29569eec68058706eac7eb8d1b02072","datavalue":{"value":{"entity-type":"item","numeric-id":5493247,"id":"Q5493247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452708$26587AC5-58A5-45A1-984B-79258523A00C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"131cc9ec9b6de3914a4746548c7d2f69bec3a59e","datavalue":{"value":{"entity-type":"item","numeric-id":5453494,"id":"Q5453494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452708$A00D760A-AA2F-4D96-B631-EEF789F98FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26296a10fe51aa6f2aacf83dd6b3c14d7e75e0d2","datavalue":{"value":{"entity-type":"item","numeric-id":4804917,"id":"Q4804917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452708$50A1F16B-04A6-45BC-B7F1-27D4783B46E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1971b3717d0a2d95634e02265c438750d89a4c63","datavalue":{"value":{"entity-type":"item","numeric-id":5492997,"id":"Q5492997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452708$45E5F89A-17F8-4A3E-8DA2-3BA26163696C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9f0d18a8d7712ea803530805070336d433b5cbc","datavalue":{"value":{"entity-type":"item","numeric-id":3612008,"id":"Q3612008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452708$1971188F-325F-4F05-B109-296C0A3B055D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2761ab95d61aef7c2ade4ca2178d3bda414ab602","datavalue":{"value":{"entity-type":"item","numeric-id":1878908,"id":"Q1878908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452708$B357A908-796D-4888-9282-31027261B442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9bf74af701b8385747cfada5ecd2ea6d2b1e199","datavalue":{"value":{"entity-type":"item","numeric-id":5899061,"id":"Q5899061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452708$36A27F0E-0521-4809-BC1F-E937732C9602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8971435217b64c50e375aec68a6c58475d8d0dd9","datavalue":{"value":{"entity-type":"item","numeric-id":3249759,"id":"Q3249759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452708$79422C3A-34CA-45C8-97FF-879F69226FA1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb253fb55714f511287e3fb7db3bf54cfc2f7066","datavalue":{"value":{"entity-type":"item","numeric-id":5311270,"id":"Q5311270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10f864e7e9eb20f672daef6ee052668159f1a784","datavalue":{"value":{"amount":"+0.8538857698440552","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":"Q5452708$2FB7B47D-99CC-4242-A3AE-DCB2F78D32C0","rank":"normal"},{"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":"4f96cec101c8650c16a17665559a4583517ed3bf","datavalue":{"value":{"amount":"+0.8467432856559753","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":"Q5452708$D6B1A01B-2313-40A8-BA5F-885D2F687903","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":"ab35042ca60e23c7847db4405d407cfc421f04f6","datavalue":{"value":{"amount":"+0.8232225179672241","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":"Q5452708$0E40F39A-7D85-4038-AFC1-3C55D258A991","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":"59f26d39c06d798011ea28e47b198f25fd733f56","datavalue":{"value":{"amount":"+0.8229354023933411","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":"Q5452708$AA480D67-3F55-469C-9C3C-E87BD449E7EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e4e7b3b28fc678d1e76705f917d4311751cfcba","datavalue":{"value":{"entity-type":"item","numeric-id":3656880,"id":"Q3656880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bde2cd23c59279cd9209751c82361e4962720923","datavalue":{"value":{"amount":"+0.8075489401817322","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":"Q5452708$761F69D5-4146-4637-B1DC-3DD8F6EEFD03","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5452708","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5452708"}}}}}