{"entities":{"Q4779643":{"pageid":6809223,"ns":120,"title":"Item:Q4779643","lastrevid":41785659,"modified":"2025-05-08T07:45:08Z","type":"item","id":"Q4779643","labels":{"en":{"language":"en","value":"<b>PDL</b> has interpolation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1836119"}},"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":"Q4779643$3213D96A-7907-46C8-8BA8-94003D6D0AD7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"301cb3c7f423a6f37f9b63b37da5c655dc5078c5","datavalue":{"value":{"text":"<b>PDL</b> has interpolation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4779643$D1F010E8-EF27-4204-BC60-23F8271A1EAB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2fa71b2730b83b17ab9506fad71facd09a140aa0","datavalue":{"value":"1013.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779643$43ED6F93-B6AE-4ADF-B1F7-5304B903F5B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"241d91eac26be9dafce27577b0d1f937fbd531b1","datavalue":{"value":{"entity-type":"item","numeric-id":353354,"id":"Q353354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4779643$0CACE709-CEA2-4848-B653-1ADF3450C1BB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4779643$43FC429C-D1C2-4137-BEF5-DF26142F6EF4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"118b3751f605fa751b1a0cee7b9b610d6c3317e5","datavalue":{"value":{"time":"+2002-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4779643$7EECA0E4-EC23-43B1-8B82-427623DB0742","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779643$8655C440-9EAE-4594-9F91-C614FE7AABFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779643$F5313B46-3DCF-45F7-9FF1-1F7284FA6213","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"351073b847596e9da03eaa013f3da9f27da358ad","datavalue":{"value":"1836119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779643$F54D6147-728C-4106-BB78-450775DFEA6E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7aecc9a768edfb02cc7c1b9f810c742fbc6cd52","datavalue":{"value":"free dynamic algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779643$EEDDEFC5-2DFB-41C7-A3D6-D3C87E24D220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f1ce721ffa5b2f36084f57048f17032077e128","datavalue":{"value":"Craig interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779643$4BDBD5E8-83B7-4B23-BEC3-E357EBFCD7FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779643$B0037A78-0244-4015-9320-0BFD3508E534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720f84a35edb987273d43e455e1ab0b7575c10e0","datavalue":{"value":"superamalgamation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779643$0726AB0E-79C8-4CEC-AD24-FB530A5D64B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6083045a7ad0ec78584c3c8a1825c94f6881a1a","datavalue":{"value":"variety of dynamic algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779643$C6025C2F-6798-4F4D-9D6A-7FF250B9BF64","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":"Q4779643$085BB20D-33E4-493F-837C-479C6449776B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a22b25c91daaf2980abc36f6e29ed3dd12b09d2c","datavalue":{"value":"https://doi.org/10.2178/jsl/1190150141","type":"string"},"datatype":"url"},"type":"statement","id":"Q4779643$2A911DB1-6E0A-4D86-8424-22F1CA54ACB9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"485f6c25c5e592084d367b9c76130824fe014449","datavalue":{"value":"W1984616471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779643$27816D90-0CE8-433B-AE25-1DB996AE6F27","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ace79583a1d2ed52952e2d9ce828b653abb4c6b1","datavalue":{"value":{"entity-type":"item","numeric-id":1189900,"id":"Q1189900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4779643$7D8C885C-D05C-450E-AE7C-9F6C8BA04151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e888c4e0eedeb220bfce539d3de52faf7c270755","datavalue":{"value":{"entity-type":"item","numeric-id":1150603,"id":"Q1150603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4779643$AE26E3CF-F477-406C-BE0F-99B66F6D1DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1ef8539943b8dd3d026770a8d75e928398da457","datavalue":{"value":{"entity-type":"item","numeric-id":1580645,"id":"Q1580645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4779643$5893B26F-EFEC-4EFC-94D2-BC55DBE0B15C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c295595ac0d952e3a729fa073c6d0c262b922595","datavalue":{"value":"10.2178/JSL/1190150141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779643$7C756558-2548-4A3F-ABCC-9FBC6431A012","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d831545dfac732f4672e1c6cb6d940e312ee67bb","datavalue":{"value":{"entity-type":"item","numeric-id":4834517,"id":"Q4834517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44dd9b50c1a114a7bfb9d4122e82403e381ca691","datavalue":{"value":{"amount":"+0.8409239","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4779643$DAFDD236-7EEC-4438-9178-0FECB4272EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10e2902a2d87a8a569f858f1a3f94743675dbf72","datavalue":{"value":{"entity-type":"item","numeric-id":5459717,"id":"Q5459717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb45d880c30c793a8d1d654516fa79020c481193","datavalue":{"value":{"amount":"+0.8406019","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4779643$A8087F2F-1B1C-41D9-97FA-041C5B6585CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7078764226fd3c59cb70984a56caa415e1508e01","datavalue":{"value":{"entity-type":"item","numeric-id":3315408,"id":"Q3315408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81f429447079d93f5aeb93597be4cfa678f1c678","datavalue":{"value":{"amount":"+0.84060186","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4779643$2E4F3449-8A39-4FD4-AF20-B130F412D9A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecf9c663e915d2f5a2c724bdede232f7e64b336f","datavalue":{"value":{"entity-type":"item","numeric-id":796041,"id":"Q796041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81f429447079d93f5aeb93597be4cfa678f1c678","datavalue":{"value":{"amount":"+0.84060186","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4779643$13FE33FC-6931-49C5-A693-DE2CD1F33E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7445c604a3a8d7d3f0509adf8cfe3a4be56fe4db","datavalue":{"value":{"entity-type":"item","numeric-id":2918459,"id":"Q2918459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81f429447079d93f5aeb93597be4cfa678f1c678","datavalue":{"value":{"amount":"+0.84060186","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4779643$05AED47F-8E7F-4841-8B1D-D626A8829A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df6b73d8be1840bb5f1bc035a85d797499a7558e","datavalue":{"value":{"entity-type":"item","numeric-id":1900724,"id":"Q1900724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adb9c36cd46ec53ab0cfcd2bb69760a2ff9d5c13","datavalue":{"value":{"amount":"+0.83592355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4779643$64A1E1D8-6BD2-45C6-B80E-1C9D1DECEFC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62c4574db1f177e9dd9ee7de08109851d9cf719a","datavalue":{"value":{"entity-type":"item","numeric-id":3341741,"id":"Q3341741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0c20587ae5d35bea19ee2ece6f60413e64eb2da","datavalue":{"value":{"amount":"+0.8325378","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4779643$6EBECD9D-57D0-49C1-8341-F723B372E38A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50e1a842e6f634000e7359e0e032db1d44d0d0ed","datavalue":{"value":{"entity-type":"item","numeric-id":4852291,"id":"Q4852291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a78b363cc1a285d8c948cf821ce0e67f405c35e1","datavalue":{"value":{"amount":"+0.82460874","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4779643$B2AAD9CA-95D1-4185-A833-C2A818D80519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ce66729026207500bb98fb15f957b4005ef7714","datavalue":{"value":{"entity-type":"item","numeric-id":5236531,"id":"Q5236531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d1e6b98741ffaa661493e1a7a3338c168e45e24","datavalue":{"value":{"amount":"+0.82374656","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4779643$272B1B9D-52CF-4B1E-AB3F-5E060576F7E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5632205db959d6d3026965984e10360f141e872","datavalue":{"value":{"entity-type":"item","numeric-id":5292421,"id":"Q5292421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d29d41936b83e85030abfed0efb66b7ed74ea97","datavalue":{"value":{"amount":"+0.8233891","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4779643$8BD583A3-2545-463B-AD7A-919CB280E275","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4779643","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4779643"}}}}}