{"entities":{"Q4858033":{"pageid":6887613,"ns":120,"title":"Item:Q4858033","lastrevid":41183913,"modified":"2025-04-18T19:50:26Z","type":"item","id":"Q4858033","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 824731"}},"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":"Q4858033$265B5B96-6772-4C09-9EBD-A61FD92A865E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"747b9699daed2783e1d93677cc54661a3bc9840c","datavalue":{"value":"0848.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858033$3A6DD8B8-87EA-440D-93B0-F4CD3F30B3EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"16c27f1802df578a92c8e5d7cd119141d82ce2e5","datavalue":{"value":{"entity-type":"item","numeric-id":484100,"id":"Q484100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4858033$F48C0B1F-1048-4FB4-8B79-03CF08DA9198","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57214d04ae05943a5137d82d5301ca8fec913bba","datavalue":{"value":{"time":"+1995-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4858033$9A57C490-B3BB-4D67-9D73-A93B0C5E5608","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858033$2F4DDCA2-D7F1-4641-9E7D-9FCCE14F9140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858033$92E450AE-90DE-47E9-9849-D2D4EEA40CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858033$2A82295A-4020-42EA-B662-A180E3B0F0A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858033$790DA992-C529-4CC4-B6AC-592A6CCC71FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858033$441C1F31-8590-4613-BF29-5BBB858AD43B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858033$E4C0187B-9647-4089-972D-AF677AEB0D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858033$5AEF9FAE-2E8B-48CD-9C5F-08E644D91FB0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0346ce668e43066b27fe672c0c7a7e29d0349e92","datavalue":{"value":"824731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858033$C5813C35-DAF2-4B11-971C-6F4839FE1519","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858033$2E1EBC97-9D22-47E5-9BBB-CD30A08B9F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858033$D3132239-6284-4955-8C26-3E28A5462635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858033$10F4FF8E-51A2-4EC9-96E0-50E1AD7F94E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858033$3FA2CEBD-99EB-4194-BA46-0EBE5036A25E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c22ffdca00173ced5c1b8efb1893ae52a5dddae4","datavalue":{"value":"many-sorted logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858033$D81FD490-F36F-4F1C-9FAB-4C9EDA9A3DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"864bd2308ad6ae0190090d51f6b5e01742de2ffc","datavalue":{"value":"deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858033$CD39B612-4F56-49D5-B6B6-8E0FB920A5A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"334a9e1ca5d9cf7585a8f6b88402a6e91f7201a4","datavalue":{"value":"second-order Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858033$FDC7B813-6066-46E6-B63D-E56B0E25381E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9d404a9991a2b6d9a9218849f139c71963a9081","datavalue":{"value":"second-order frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858033$4006C961-1D30-4309-80D8-ED920D26FE40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858033$4E42EB52-963B-4150-9CDA-A0D676B1357E","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":"Q4858033$83451A85-C384-4727-A1A1-4BCCB8808E30","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d61e8d8466b42fefc9ba9489da6e8b1a6c4ed5c6","datavalue":{"value":{"entity-type":"item","numeric-id":3183527,"id":"Q3183527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd7cf9e7615b0429751182706851fa66aa03f131","datavalue":{"value":{"amount":"+0.97327375","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":"Q4858033$E5B38068-6815-4123-A6C7-EF75A9D0017C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32782c00400833a9c0d7a61411b35475526f487a","datavalue":{"value":{"entity-type":"item","numeric-id":1090327,"id":"Q1090327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c90b1ce04a4d15643bd81ea2400309033e0a9ab6","datavalue":{"value":{"amount":"+0.9422319","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":"Q4858033$F8DA19D5-C386-4E93-939B-45A17DCD2512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"170e6bdca23e1146c5b56538572aca0c7cf900a4","datavalue":{"value":{"entity-type":"item","numeric-id":4995355,"id":"Q4995355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28d51589be9d671de41907df905dbcf83c1c50a0","datavalue":{"value":{"amount":"+0.9340117","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":"Q4858033$76E4165D-25AC-4330-8D91-A7011084A58A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"080e986fd1b5bd13b09523d3d30b4894fa02c661","datavalue":{"value":{"entity-type":"item","numeric-id":3204446,"id":"Q3204446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82b01ad4316cd239a9b7b26b8052af173181a26f","datavalue":{"value":{"amount":"+0.9307558","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":"Q4858033$3092375D-6927-4072-9039-EE81C15BC014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea4a9d4ef32ead7fa656f4a36820173839f32cac","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2d0f2ea92cff80acec0f793199b7169725bc580","datavalue":{"value":{"amount":"+0.9249788","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":"Q4858033$AAF5F457-E9DA-41A4-B2F8-95389999D5BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"113f7362d5497ce99eb1fc8e00b78c6605a7a92b","datavalue":{"value":{"entity-type":"item","numeric-id":5868872,"id":"Q5868872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bbdfa143048c621640185fe7614ead92b593d86","datavalue":{"value":{"amount":"+0.92497873","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":"Q4858033$F72F574D-BFD9-41EB-97FC-7D7D7ADC4721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2a49446b60c5652df2b3dc3ea673f2e51cea05a","datavalue":{"value":{"entity-type":"item","numeric-id":4342019,"id":"Q4342019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bbdfa143048c621640185fe7614ead92b593d86","datavalue":{"value":{"amount":"+0.92497873","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":"Q4858033$FCD16EC2-61BF-496C-AEB6-B971881265DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa3463e9ae63c8fc7ebd9658de0da5ab38f712f4","datavalue":{"value":{"entity-type":"item","numeric-id":5414971,"id":"Q5414971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec9b921870f0047f0829201cff0f2475974f8778","datavalue":{"value":{"amount":"+0.92062634","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":"Q4858033$A2D2B018-AC71-4230-BC8B-0F8113AC3262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0528b1a95ac25e7672938cf2137e84e9856dfdb3","datavalue":{"value":{"entity-type":"item","numeric-id":598308,"id":"Q598308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d6f2f39d0e761716158538ab104a76075af459c","datavalue":{"value":{"amount":"+0.9196783","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":"Q4858033$9ADF04D6-0EF7-4ECD-8599-1AACA942BE44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5f74c2db6562d7bf942f3c79813489801a00d2b","datavalue":{"value":{"entity-type":"item","numeric-id":4304145,"id":"Q4304145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ceb727ba34cafac1e529fea5f3370edeec2c535","datavalue":{"value":{"amount":"+0.9145459","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":"Q4858033$09C5F861-853F-4552-B729-6A7A96351110","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4858033","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4858033"}}}}}