{"entities":{"Q4635819":{"pageid":6665400,"ns":120,"title":"Item:Q4635819","lastrevid":53070896,"modified":"2026-01-24T04:11:13Z","type":"item","id":"Q4635819","labels":{"en":{"language":"en","value":"Interpolation with decidable fixpoint logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863404"}},"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":"Q4635819$5BBACFCC-76F1-4CDA-9ADE-9F943358D137","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7743bd40dba8521d495ccb4fd1dc235703f26713","datavalue":{"value":{"text":"Interpolation with Decidable Fixpoint Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635819$AA985731-D358-460E-AFBD-B97D505B50C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc25d6323e3b69caeff8139347750d29b394d189","datavalue":{"value":"1394.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635819$1B00C40F-C34F-4C4F-ABEB-3B4002057BCF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"054a8b062081ba3a7e590f6f20a4c9c1cc59e9a1","datavalue":{"value":"10.1109/LICS.2015.43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635819$57F511AF-045F-4383-9C51-C4C3B6862C53","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"67705e1e44642039902bf4ef21e5fd6d7a30c49f","datavalue":{"value":{"entity-type":"item","numeric-id":394743,"id":"Q394743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635819$DAABEE6C-6CAA-4AA6-A727-33A02A679F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a531f2e925d43508482b1d4b7ad4f917bc51fb11","datavalue":{"value":{"entity-type":"item","numeric-id":269314,"id":"Q269314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635819$503754E1-702D-4691-8A90-D587BF74AE51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e16c811cb9ecfa8c76252a584ba1589af7f86a94","datavalue":{"value":{"entity-type":"item","numeric-id":2911612,"id":"Q2911612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635819$E1A9A442-AFC2-4790-8EFE-1ECFC2439C9C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"83d65420a138b2c4ae4851502a73366edaf00743","datavalue":{"value":{"entity-type":"item","numeric-id":4635786,"id":"Q4635786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635819$8D88002E-C6EB-461B-8BE6-BC1B6D863CE0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635819$BC49FE01-2938-4F56-B576-B3562E563AF2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635819$422AA131-2D94-4B9E-81CE-1942B20B3563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635819$77589DD4-BAA8-4CF8-8054-E9C06DAEFC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635819$69CFB6BE-B50E-4199-8C48-24E410ECD661","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d379174d1165bdba41f053adf7ca10caca9d806","datavalue":{"value":"6863404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635819$458DCB39-D9D0-4D0B-A634-389194128CFE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d32afd70c09d7c878f63791b9ac8013ebef57fbb","datavalue":{"value":"Q110923655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635819$1EB12EBB-58F7-42D0-AF4E-8A6184DF5FD3","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":"Q4635819$C8C53F4A-4AAE-4D19-897F-812AB29CEF3D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a072592a3be31b1454f4c21c3f877ba40880dfa1","datavalue":{"value":"https://doi.org/10.1109/lics.2015.43","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635819$2BABB70D-AABC-4E86-9957-A4C3F97813B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c832749b96f257bdefc01770d674f8d1802b40a","datavalue":{"value":"W1501618356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635819$51058459-FFC1-43D3-921C-1448C2AA94F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8171d47a07a6c04ee0f3a1e1a614fb81a762451f","datavalue":{"value":{"entity-type":"item","numeric-id":5275354,"id":"Q5275354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"022f5d28f0cd6c41b6a03a808c1251c94631f64f","datavalue":{"value":{"amount":"+0.783547580242157","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":"Q4635819$79382FA3-2C42-4CD5-949A-9A861349283B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b5ccf9167a3b69b4b9c7bc56a8345a9d325cfad","datavalue":{"value":{"entity-type":"item","numeric-id":4580217,"id":"Q4580217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1113a4d25fb93548e79c2dc31eef39d525ca727","datavalue":{"value":{"amount":"+0.7806226015090942","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":"Q4635819$53F6285A-2577-49E1-96B2-795F0741E86C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"244a0963b883e9eef4e4cbf91a9e377f764c96b3","datavalue":{"value":{"entity-type":"item","numeric-id":3113699,"id":"Q3113699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15b56064b32db5830c367363c25802b3545924e2","datavalue":{"value":{"amount":"+0.7806107401847839","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":"Q4635819$6DE2F63B-0F86-4CA6-8E71-4E3BEC8E6045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8689df75805f49277df352e8a6bfebf91eb622f6","datavalue":{"value":{"entity-type":"item","numeric-id":2848370,"id":"Q2848370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0274f1ac07d77f9a559dd787517ae8dfebe76b5","datavalue":{"value":{"amount":"+0.7785568833351135","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":"Q4635819$497782B8-F3F8-4F2B-8E92-4016AEFF120A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbe6fa15f0e37252c4e855f3879a9ee382438164","datavalue":{"value":{"entity-type":"item","numeric-id":5232911,"id":"Q5232911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ef09b3e2248677432fa511c305ac07558340590","datavalue":{"value":{"amount":"+0.7774094939231873","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":"Q4635819$DAC804A4-7928-4676-9D85-C5766FF1B127","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635819","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635819"}}}}}