{"entities":{"Q3824397":{"pageid":5854303,"ns":120,"title":"Item:Q3824397","lastrevid":54268646,"modified":"2026-01-26T13:56:57Z","type":"item","id":"Q3824397","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4097355"}},"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":"Q3824397$AA911A48-8EF4-424E-AC4F-0D88982118A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aba5e1ebba703075e811b7086529614fd1884b36","datavalue":{"value":"0671.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3824397$D284355C-B2BC-4C9A-A845-6C64CFC5DC02","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5bc8afe62afff3624a34a76fe699c30946e23ec4","datavalue":{"value":{"entity-type":"item","numeric-id":1853164,"id":"Q1853164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3824397$E3C8BEEA-D84A-470C-8F34-F10D2983C18B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3824397$475ED44C-4902-41CD-94BE-5B7B31D2262B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3824397$5BD62A65-D629-47E6-8FAB-08161658B186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3824397$DB4C06AA-2833-429A-8FD7-D072539661A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3824397$C43C7D2A-7750-46EF-9668-8B534C15F3D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3824397$227EA440-083C-4AC8-8EC4-50F584B08FD8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58274ae535544745169e66ebda083df398d317a9","datavalue":{"value":"4097355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3824397$0639D627-2C92-4466-A552-A6360E70C2CF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6abcedbb8b1bc8ff1030d8b859612d23fd6d045c","datavalue":{"value":"logic of recursive programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3824397$48B36559-1392-4CF4-8931-97CE5008E354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5cb5b54a3a08e256bbb0215c92de493a4b5803e","datavalue":{"value":"program schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3824397$A8EAAE81-E1C6-469D-A1CA-B572A3716D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3824397$3570BD00-ADCF-4F3D-8082-1D93A9A0C372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7ef7f2ebdcd4e170410e42c6a82dfc2be135f61","datavalue":{"value":"interpretability of program logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3824397$22684FDA-B3FD-4C33-8128-7292521B0B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3824397$95D078FD-7518-4CCA-A421-FBFAF465C8A2","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":"Q3824397$AB45684A-CD5B-4F86-8F97-7969ED7D05F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bd35d2fc49e0c4d25cfc095a557db4ad4025ad7","datavalue":{"value":{"entity-type":"item","numeric-id":2919447,"id":"Q2919447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f631c8ff458671a1f824fb0ab2e2a28810b4ff74","datavalue":{"value":{"amount":"+0.9211292","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":"Q3824397$64CDB4C2-98E5-4A3A-9667-F5CD3799EFD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c202d0549c1ddeab41f1d69977c7a089cf6b81d9","datavalue":{"value":{"entity-type":"item","numeric-id":1392280,"id":"Q1392280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa3b02e58887beea4a31e72d17ea362b5e185f60","datavalue":{"value":{"amount":"+0.9201045","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":"Q3824397$0EE396BB-035E-4B34-8C03-37F9D52E0471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea9b84eaf773193e973dfedcbc9445b6b0d883a8","datavalue":{"value":{"entity-type":"item","numeric-id":5277914,"id":"Q5277914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"209c3e3381c24a0f669c6cd2aa4775a41197cb2d","datavalue":{"value":{"amount":"+0.91737634","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":"Q3824397$4B08216B-9CC1-4552-A0CC-9FC03BB7B18B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"506b033e8ee820ddb31ae4b6a928f3a9843320e7","datavalue":{"value":{"entity-type":"item","numeric-id":4508638,"id":"Q4508638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85e14fecde50bf0d451f087f27f6d39713dfb060","datavalue":{"value":{"amount":"+0.90519583","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":"Q3824397$9CC62E4E-8428-4303-8719-C327BFFD3759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5771d211463558f9059768007c95f170aa5b439","datavalue":{"value":{"entity-type":"item","numeric-id":4635654,"id":"Q4635654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b8e48743177d3655362842d664ae6c879c0c433","datavalue":{"value":{"amount":"+0.9041546","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":"Q3824397$F702E8FF-8DCD-4DE8-8ACB-112BA460D7CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae0b25c36a25a173ba338b9eab1eeb3fd1990ce1","datavalue":{"value":{"entity-type":"item","numeric-id":2932827,"id":"Q2932827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37b304e158d0a4786e766e1625339612736da51b","datavalue":{"value":{"amount":"+0.8922527","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":"Q3824397$416A70F7-218B-4B0B-B4A6-8D3D815ADA54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bef2d3d1d475a1a3e6864faaffd6a2f4491a23c2","datavalue":{"value":{"entity-type":"item","numeric-id":792758,"id":"Q792758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08ccdc0c68fedad2de14eb8ab0cd922732d7915c","datavalue":{"value":{"amount":"+0.8919943","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":"Q3824397$83041DBF-2D73-4572-BB0D-B6AFB901EA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5ff13aca0384be5b9cc8af9f06becdc252e4ed6","datavalue":{"value":{"entity-type":"item","numeric-id":6068938,"id":"Q6068938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3eb18813d810b7b1f7a05b34a92a51dabfc6c697","datavalue":{"value":{"amount":"+0.8876375","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":"Q3824397$B8314027-3CF1-43C7-B056-C754BB9D54BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a5b80bac3da17989750e12784e6081464f8f461","datavalue":{"value":{"entity-type":"item","numeric-id":2881095,"id":"Q2881095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62b100fd9fd3449f3f9e1ae3af26e695029059fe","datavalue":{"value":{"amount":"+0.88751173","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":"Q3824397$B5CE9EFD-BFF5-43E1-9B45-DF0D9068AC20","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3824397","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3824397"}}}}}