{"entities":{"Q3520325":{"pageid":5550229,"ns":120,"title":"Item:Q3520325","lastrevid":48992377,"modified":"2026-01-06T10:31:32Z","type":"item","id":"Q3520325","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5316130"}},"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":"Q3520325$2BF3982D-A581-4233-BA1F-89051CEAE3D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07ed3fdc0ea3b6ba3322f49286df36d8437e9493","datavalue":{"value":"1144.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520325$7D92BD52-A8E9-45DA-BD93-E1236C4FA6FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e16c390e6c3ca1cf64dd1b0b2b6919f951e4afbe","datavalue":{"value":{"entity-type":"item","numeric-id":628798,"id":"Q628798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520325$69C93EEE-D2E6-4804-903D-C7FA2EF5652C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d42e638ed50380673c0a900ea41fe282690b85fa","datavalue":{"value":{"time":"+2008-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3520325$E01480BC-4E79-4935-9783-661F510168F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520325$AD923BCC-37B4-4087-926A-5F6EF352DFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520325$A049ECFA-CC7D-4B03-AC8D-85B26BEC179F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520325$1891C9DD-D08B-4D57-A5FF-90D2C30ABEC2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76da9bae2384d609f41b3ed6e3dc0d6821e35f9b","datavalue":{"value":"5316130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520325$A4B2D0E1-1C9A-4980-B55C-57C84C8612D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7e6310fc7058cd4adf64145baeda12f07b5720c","datavalue":{"value":"illative lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520325$B72EC072-0325-4ABB-8B2E-EC523B3F8FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca0fe208edf8b3f7d3e28b65bd86fca282b67482","datavalue":{"value":"Scott-style models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520325$D1F37575-2999-4C0E-B20A-B0F049540533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb04e10337989abc6e131986b2385e24cfea41a1","datavalue":{"value":"positive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520325$5DB1B1CC-4FBC-40E9-8EB2-D79B869E8F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520325$2BCB6025-4C27-4046-8375-666E2B4A45E0","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":"Q3520325$BB5EFA18-E08B-418D-A0D3-BB07AC028DDC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"420a6ae8dee89c193affb196b9c7d88f00e51b13","datavalue":{"value":{"entity-type":"item","numeric-id":3160572,"id":"Q3160572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee36eade60ad9d0db6f480081fc5cc57e71a9033","datavalue":{"value":{"amount":"+0.954617","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":"Q3520325$BCC41BBB-FCCB-4B8D-821F-E525CA28213F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"354d63949ec73e39370f61c64b0d7a4969508740","datavalue":{"value":{"entity-type":"item","numeric-id":3153199,"id":"Q3153199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92b4c3b7453846963e955417955b23b72ca693e1","datavalue":{"value":{"amount":"+0.877356","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":"Q3520325$28CF8599-05B3-4564-AFA6-BC9B582B53E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcdb915b5f8512b5a0e6abe7becfb2deb3a272c8","datavalue":{"value":{"entity-type":"item","numeric-id":3468603,"id":"Q3468603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60f1761b88ff33005d0ecf27238f576cb6713769","datavalue":{"value":{"amount":"+0.8688694","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":"Q3520325$34596F4E-1E15-4F7C-AD9A-D1A172A1404F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a288f2fc28ec2baab271cdb8106dc6e506c062b0","datavalue":{"value":{"entity-type":"item","numeric-id":4632162,"id":"Q4632162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af2663abf861a4dfa1ea15bec34dacf1e296ae53","datavalue":{"value":{"amount":"+0.86014235","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":"Q3520325$E978C61D-AF05-4388-91D5-DFB7D7AC15E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd7c2a02b3bd3c3395f5f9e39a4a7295b850b07b","datavalue":{"value":{"entity-type":"item","numeric-id":5477662,"id":"Q5477662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"608ae8c935bca0eba3ddf4f8cb88ac64a207c20c","datavalue":{"value":{"amount":"+0.8574656","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":"Q3520325$AA2DB113-F20F-43E6-8F38-CECF5564DEA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8b2346a304143cf4b5a1ee5758312d6d92d47b1","datavalue":{"value":{"entity-type":"item","numeric-id":5466538,"id":"Q5466538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca387a8ca7eb6fd048359702b004c678bb2c823d","datavalue":{"value":{"amount":"+0.8529825","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":"Q3520325$3BF95261-444B-4526-9542-AA123EAA58A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6c56ad6397f1906826afc3df05ce2946213cae5","datavalue":{"value":{"entity-type":"item","numeric-id":4790661,"id":"Q4790661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f98e5e2935ffaf14d3bea7d668f66956e047edb","datavalue":{"value":{"amount":"+0.8514028","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":"Q3520325$80F621BC-6946-4A29-BCEB-B7F7CB97ACC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1a23d768ae75df9d02a0c2b3b9b8f4564a5c327","datavalue":{"value":{"entity-type":"item","numeric-id":3091469,"id":"Q3091469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1782b6a16113887b12da82316d7731ce0c67cd7","datavalue":{"value":{"amount":"+0.8500208","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":"Q3520325$86F6E734-E2CD-4715-A85E-9317B6ABC82F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"182327e469d1829f8a2779409dd926e32eade404","datavalue":{"value":{"entity-type":"item","numeric-id":4408483,"id":"Q4408483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f252ae3266effcce8c4f8e9b1a9f7bb12e071a55","datavalue":{"value":{"amount":"+0.8478796","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":"Q3520325$6589692E-20D7-4332-BEDF-D00007D78907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9dd9e7c20b25e32eafdef0172747c69da6f88d7","datavalue":{"value":{"entity-type":"item","numeric-id":4596306,"id":"Q4596306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4af9b12b5800e25185e2777b5097f43abcc6b013","datavalue":{"value":{"amount":"+0.84770703","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":"Q3520325$3C8ED08E-35C7-4EAA-BDC3-89338FC47C5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3520325","badges":[]}}}}}