{"entities":{"Q4487300":{"pageid":6516899,"ns":120,"title":"Item:Q4487300","lastrevid":47479606,"modified":"2026-01-01T20:47:17Z","type":"item","id":"Q4487300","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1463152"}},"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":"Q4487300$EE696383-8808-438C-AF5C-956D32BDFA06","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23294888c54b691885810af7025321dee7a44bf2","datavalue":{"value":"0957.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487300$4193538B-D3D9-4198-8206-0C00BD200228","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a35120a6a454e23e128ae3826feb53523f2ec7d","datavalue":{"value":{"entity-type":"item","numeric-id":190318,"id":"Q190318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4487300$9199FBA6-A6E2-4E47-B4DE-7EE1247BBE52","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"357bd95253c8955de1dc1732cd2a8576851ba63a","datavalue":{"value":{"time":"+2001-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4487300$0C4AE070-1B70-484B-8D1A-E21C1E31799B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487300$6E36BD1E-77B4-4362-8298-7819CFBEFEEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487300$CB4FA085-8D46-45EA-B83D-696C4DEA70BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487300$A0765770-1708-4769-8D5E-7BE358A7F937","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f15bfc567db9ddcf31c45ec99c578372f2fbd0d","datavalue":{"value":"1463152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487300$AD147C89-EA5B-4055-B773-A7689CE6EE94","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c6b970990dab40d69357bafd674174e833bc7d","datavalue":{"value":"Heyting arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487300$DC8D8526-82B1-4329-AEDD-D28812207DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3875c79fa835ac45a1818de05c1bd8b1020c938e","datavalue":{"value":"Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487300$19FDC508-2D74-4DE9-BEA9-BBD1A8FDC318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e768e1c4e7d40abc90d87e0d5993944fb0553bf5","datavalue":{"value":"induction schema","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487300$084F1D2F-49B7-4F33-92A7-ECFAB5F70773","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":"Q4487300$64F6DADB-381D-4892-8B03-ECB4A1624BE7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2849e22fd653b63474b77aaa32c37095734f26c","datavalue":{"value":{"entity-type":"item","numeric-id":5691117,"id":"Q5691117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8173e0a98b67d3fbebcf967c1b38fb6dc2421be","datavalue":{"value":{"amount":"+0.8571454882621765","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":"Q4487300$C542E022-45B8-4AB2-8E76-301E42A2565C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a4611ebba9c26ca7b6a4d796439e228b834dd1d","datavalue":{"value":{"entity-type":"item","numeric-id":4493072,"id":"Q4493072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae29417739c341bcd7273a4d5c521217548533a4","datavalue":{"value":{"amount":"+0.8567485809326172","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":"Q4487300$0420233D-0629-4CE7-8415-74914A0A7879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96296be5d3d418d1914a8f21a39fb01e99570189","datavalue":{"value":{"entity-type":"item","numeric-id":1355126,"id":"Q1355126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc426da6420ee691a2d63c151981cad951710c70","datavalue":{"value":{"amount":"+0.8068903684616089","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":"Q4487300$DB968E17-6F0A-4471-B198-DD02007852EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b116ed7a87808df9757fa48e3d9185e8a8cf028","datavalue":{"value":{"entity-type":"item","numeric-id":685055,"id":"Q685055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9efcaa5c43dd542cfb044c6104eaaf89ab6325d","datavalue":{"value":{"amount":"+0.8038488030433655","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":"Q4487300$D7E3AEDB-942A-4D0D-91CF-F93310BBB3CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e805c27a295e522d202d66c9383e7230cc66f0dc","datavalue":{"value":{"entity-type":"item","numeric-id":4304788,"id":"Q4304788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e7b0a0301ae3f2bc51c79c5cf52e6c7bb0c4737","datavalue":{"value":{"amount":"+0.8034575581550598","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":"Q4487300$1C556C0B-DF2E-4FC2-A0F4-6FA9F9794DA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4487300","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4487300"}}}}}