{"entities":{"Q3775538":{"pageid":5805444,"ns":120,"title":"Item:Q3775538","lastrevid":52144775,"modified":"2026-01-21T00:54:58Z","type":"item","id":"Q3775538","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4035805"}},"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":"Q3775538$679FE613-F337-4F43-91E0-FF2BE659BFD3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"777e6f42d8d49c2c3432d9517f5863dc4e44ecd2","datavalue":{"value":"0636.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3775538$1B7BCABF-1298-44A8-8892-44874FF942C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d1c5666cfcb8034d94e72905fe0b245c5645906","datavalue":{"value":{"entity-type":"item","numeric-id":233438,"id":"Q233438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3775538$7FF6F4C1-FA1E-4A2C-AEE2-B87FEB02E762","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3775538$9319272E-A378-4A10-8BD0-E213DA4DDA9F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3775538$C9B2361B-CE70-4F98-B06C-89045A252E34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95658a412abc7984f3af8adcb99d20e6a5577111","datavalue":{"value":"4035805","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3775538$BD9191BD-31C6-4063-ACB1-8727DDD0BA60","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c61c4d37a35a526c53872145bd47ed18c718154c","datavalue":{"value":"second order formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q3775538$D76E62B9-D5BE-4E6C-A31A-C2C710DE3BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5aec7afc1616730a527713cdef777f5d510a5432","datavalue":{"value":"Skolem normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q3775538$76C5BD5C-31CD-42BD-9988-91F2E684522D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7cd3a88fdc620cb67302be5cef3d8973f85a25f","datavalue":{"value":"least fixpoints","type":"string"},"datatype":"string"},"type":"statement","id":"Q3775538$A9531A55-0A47-4C8F-AB1D-F0A31459C7E7","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":"Q3775538$67A5DB6B-82D7-4448-9490-CEBAB8C8E759","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e0cff0bfff5d4a3548f3f865ccec65cc935486a","datavalue":{"value":{"entity-type":"item","numeric-id":3173799,"id":"Q3173799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a399b17f2fd55a161ba5ad6c7cd0ac9e3ffaec4","datavalue":{"value":{"amount":"+0.7136032581329346","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":"Q3775538$07448648-6216-4F8C-972F-99CFF1FAF5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79e6bb7dda20623d2db9353b8782844b4b760de6","datavalue":{"value":{"entity-type":"item","numeric-id":1919763,"id":"Q1919763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a91b7d7e7374e3d7992d35b876f3974fd55caeb4","datavalue":{"value":{"amount":"+0.7122126221656799","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":"Q3775538$FE43AFA5-A0FF-4FAA-9706-F30526952F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db591a2a748b6561a086fe755225175e85fdc614","datavalue":{"value":{"entity-type":"item","numeric-id":4340419,"id":"Q4340419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd14eee9950a7a0560de8f221fb663a061c99501","datavalue":{"value":{"amount":"+0.6638088226318359","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":"Q3775538$91E337BF-A291-4069-945D-F484111FD2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3f97f1cc6b31406c275f694b0e72f4cd915d14e","datavalue":{"value":{"entity-type":"item","numeric-id":1267846,"id":"Q1267846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"494acc2b7e1738a1894aab9ca5f31a036196967c","datavalue":{"value":{"amount":"+0.6589477062225342","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":"Q3775538$AEBA3F20-AC15-4DCA-9044-CB525FA19172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74ccb900785a04b10a723f29e2357fe0bc182da1","datavalue":{"value":{"entity-type":"item","numeric-id":3836531,"id":"Q3836531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"467c5f315332aca24b1ace9b167c1e997f8e7f2d","datavalue":{"value":{"amount":"+0.6589476466178894","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":"Q3775538$B85F12F6-D7F6-4FBE-855B-D0181E088CBF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3775538","badges":[]}}}}}