{"entities":{"Q4635909":{"pageid":6665490,"ns":120,"title":"Item:Q4635909","lastrevid":41623887,"modified":"2025-05-06T12:15:21Z","type":"item","id":"Q4635909","labels":{"en":{"language":"en","value":"Differential Refinement Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863520"}},"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":"Q4635909$5F019F22-D2A8-4879-AA07-D27967868A83","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5316c86e364e625b9c7bb8dee8836315cece36ad","datavalue":{"value":{"text":"Differential Refinement Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635909$1BDFD653-964A-41A6-8FD1-CE58C785798F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d65a28b7acb2eac80d57c15f2fa38bec12836905","datavalue":{"value":"1401.68204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635909$917C5BE2-4123-4211-B88C-39A5B3BD00BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00fac6d46fb0adfd1f7976de82662087ab825216","datavalue":{"value":"10.1145/2933575.2934555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635909$3604C87D-B27E-4302-AF28-BF532158D31D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e12f58b629e417604ed68a9d1cc5b352a57e50d","datavalue":{"value":{"entity-type":"item","numeric-id":4635908,"id":"Q4635908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635909$412AA478-4196-46BC-A790-CE662C8A826E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc654f17b8a10219c5683cabcebc6a770c6278e4","datavalue":{"value":{"entity-type":"item","numeric-id":681339,"id":"Q681339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635909$D5149FB7-2A95-4E63-85AF-DED1C49D2EC5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"046029701eaa27e11deafdbb503d5ba484152a43","datavalue":{"value":{"entity-type":"item","numeric-id":4635856,"id":"Q4635856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635909$A238934D-7925-41D0-92B9-BFDE457F3BF5","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":"Q4635909$45784C0F-8F38-40B6-98CA-39E9909199E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635909$B56413FE-5A4E-478A-8A9B-0DAE0FFC92DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635909$F19C1B77-29CA-4770-8C7D-9E894B0DC478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635909$E0D06B4A-9F40-414B-97A6-7C34273DB7D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c0282ff33ba6bfed37c5d32f756531e00fc5398","datavalue":{"value":"6863520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635909$82FE691B-EE36-491E-884C-8F966005D648","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":"Q4635909$98E6BA33-69E5-45F1-8EF8-70A0FFB785C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"90dc1de78379399af967cc22728c3aa90403d847","datavalue":{"value":"https://doi.org/10.1145/2933575.2934555","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635909$D0BBEDA2-0CB8-4DD7-A40F-DF1B72130877","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a75c940dc9dfc24592a46fbd96005fe118a02f87","datavalue":{"value":"W2531670358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635909$93AF69E7-B54F-474C-A718-8BF7E2AA897D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"81139ee3bfbff82c8b6114ab51bfa994edcb9a01","datavalue":{"value":"Q130845882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635909$E2C470AE-6524-4CED-B2A5-EE9BD47C5740","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cafa414ee675c4f19d5fd42ceb666a961662a3a6","datavalue":{"value":{"entity-type":"item","numeric-id":4208853,"id":"Q4208853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c64fb71912c7969bb3028c7dc94ceaea05e6a739","datavalue":{"value":{"amount":"+0.9108402","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":"Q4635909$5E23A73F-67FC-48CE-989B-9997BEA5C858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ace36d7a7bfed1b971e32fa5541632756a54c535","datavalue":{"value":{"entity-type":"item","numeric-id":5039509,"id":"Q5039509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de3b08b05f4c4a80bc0324d5826adcfe49b54658","datavalue":{"value":{"amount":"+0.9048614","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":"Q4635909$711CCD8D-653C-4A7E-AB13-BB19D4DC6392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74278c120b121cf769ad74be531ab69bb585f0fb","datavalue":{"value":{"entity-type":"item","numeric-id":1126260,"id":"Q1126260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f5b6f36041e5acf8b8c0b9cdbc4f5a7af611841","datavalue":{"value":{"amount":"+0.89900565","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":"Q4635909$037A880C-ECD9-4ECC-BD76-EEC86253EF53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95ac42d60317fde4c37666f10d986c26a4eaeea0","datavalue":{"value":{"entity-type":"item","numeric-id":4452605,"id":"Q4452605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ac07b1fcdb06933e1fa336fc89e4fd303a0673d","datavalue":{"value":{"amount":"+0.89006406","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":"Q4635909$5788D64D-42B6-46F2-9E2E-ED65C97DDE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"839e94f7223e92462ae4e9f87f8cdc72015938a8","datavalue":{"value":{"entity-type":"item","numeric-id":1586385,"id":"Q1586385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f50025518e3cf14dd8cff4acc18162c28cae8f0","datavalue":{"value":{"amount":"+0.88855124","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":"Q4635909$64EE57AD-5696-427D-B6B6-9A3595508A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19097458628a1168b8af62cbf165815f0f7ec354","datavalue":{"value":{"entity-type":"item","numeric-id":2733988,"id":"Q2733988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab004760f6e0b73ce6a00b3d1d6a2d8bfd78fad6","datavalue":{"value":{"amount":"+0.88239455","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":"Q4635909$D0F1846E-FA28-41D6-8BC2-68EBDADB2E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"524d090d085cff50384ab46fc0b59b96caa6d641","datavalue":{"value":{"entity-type":"item","numeric-id":3079921,"id":"Q3079921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e68f3c2c1e999159216a09dc49dee5d3daf29161","datavalue":{"value":{"amount":"+0.881603","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":"Q4635909$F3642E75-74B6-45A3-9656-76811547D1ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"070be8014f9fa1d5144a124153513a7ad9916e87","datavalue":{"value":{"entity-type":"item","numeric-id":4250665,"id":"Q4250665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5f3ce9cd6edd29520124efd66e952d4fad40c82","datavalue":{"value":{"amount":"+0.8786868","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":"Q4635909$01D6F52C-DC73-444B-B7B3-948F536EA833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d18b2ae2fbde257482cb394ca6b203cd8aeefa3","datavalue":{"value":{"entity-type":"item","numeric-id":4333388,"id":"Q4333388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fd0ebdf75a1c23db09eb60b8a12efbf9bf10397","datavalue":{"value":{"amount":"+0.8772764","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":"Q4635909$1500333B-0CEC-4E7E-B4B0-54B35C0A6D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec92436370c595b95fddd51996f595498ae0597a","datavalue":{"value":{"entity-type":"item","numeric-id":476194,"id":"Q476194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43c63fcbb61a1d2ec3cf15a85a73597afdc8d067","datavalue":{"value":{"amount":"+0.8754915","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":"Q4635909$4EDC47EE-AD8B-4222-9603-867B52C5F9C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635909","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635909"}}}}}