{"entities":{"Q3773309":{"pageid":5803215,"ns":120,"title":"Item:Q3773309","lastrevid":52085744,"modified":"2026-01-20T22:03:44Z","type":"item","id":"Q3773309","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4033048"}},"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":"Q3773309$DE0BF165-D302-4732-92F4-DC7D77C17F37","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0036aa59d5023082f70e72430221f0dc1a86bfac","datavalue":{"value":"0634.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773309$8240865F-E93C-4269-BBF7-C989D33C1BD0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a230f70c8750c383f1c2f6051732dd11c72f444","datavalue":{"value":{"entity-type":"item","numeric-id":234705,"id":"Q234705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3773309$3DBF01D3-BBB2-48D1-8A4B-158F4E286D40","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":"Q3773309$696B55C0-B594-4D60-B3CC-E95C09794845","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773309$8E4CC884-0F61-4C94-B533-A7B10C9FB0A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773309$DBE8AF74-5FCE-4819-8980-8DD030AA1D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773309$3F68DC39-7FC6-4A33-A667-9066D40889D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"be4cd99f0aaa2688661b2002577944d759906919","datavalue":{"value":"54H25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773309$67B161E6-A473-4997-AAC5-611353A0C9C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773309$7E38B86E-68F3-42F4-9C6C-C0315EB263B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773309$6F487678-63C0-49C0-A0F1-F9B66B76D794","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e5f438dbbbde550eb50ac96ee3cfb2045ec527a","datavalue":{"value":"4033048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773309$6464427A-F422-401A-BE8C-CB3EE67318B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4e3313b7fd57e978a7b934a45697dd9416fa643","datavalue":{"value":"fixed point theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773309$E8589957-B77C-48C7-AEFE-77D620E43342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13d1a5e167b3ea8a3aadc5cb396f18605bef0b76","datavalue":{"value":"ordered algebraic structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773309$C27492C2-2D7D-4235-8DC7-F920E61AD8FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773309$0AC168F9-82D3-45AC-98B3-F3A25259CFCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773309$BB1D30D5-7B08-403B-BC2E-93817D2C16AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773309$88F942B3-BD8A-46E6-91FA-2AA4ED0B7D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773309$3311FBEA-FBF1-4FDF-874F-041155CF9D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bea13105c7e72639ba756e539f09473d5ad9f26","datavalue":{"value":"deductive data bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773309$4B97AF31-D476-4608-A908-FE31219799BA","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":"Q3773309$8A92250C-1461-4EFD-ACC5-235CCD486528","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bfb329c9da094d33335b71c94ab4533f7e87b78","datavalue":{"value":{"entity-type":"item","numeric-id":1391734,"id":"Q1391734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e00a61fdca4c3908965f0f32e1eddd8240bb2b18","datavalue":{"value":{"amount":"+0.8041378855705261","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":"Q3773309$45D629CA-A46B-49D7-A94B-6E9407583760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4b0ccb7de63f4f07fc918938d2ebeeaa0a27287","datavalue":{"value":{"entity-type":"item","numeric-id":835121,"id":"Q835121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e00a61fdca4c3908965f0f32e1eddd8240bb2b18","datavalue":{"value":{"amount":"+0.8041378855705261","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":"Q3773309$5D03C3D1-29D9-446B-B9FE-9170D5E8F904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90a41645e3a1bedf1dd52387a6e59bd1a172bab6","datavalue":{"value":{"entity-type":"item","numeric-id":5072544,"id":"Q5072544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db012fb0dc3b4836b10805478c7d346fbb455d09","datavalue":{"value":{"amount":"+0.7712485790252686","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":"Q3773309$10A29786-2474-4FB7-AA49-0D0728793CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83b8017b6a4e23a3299c8a83386df9d571cf51c5","datavalue":{"value":{"entity-type":"item","numeric-id":2035271,"id":"Q2035271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1689f957278c74a15791c08439de242d5bf6eca","datavalue":{"value":{"amount":"+0.7660779356956482","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":"Q3773309$9BBD3240-9E5B-4FE4-8A01-5D7531F70D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bed3b7d199397ca90b2d07f0696e26ef60c0a5c7","datavalue":{"value":{"entity-type":"item","numeric-id":4239469,"id":"Q4239469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c3db3c98ccf7741b30973c1bb142112f60b559f","datavalue":{"value":{"amount":"+0.7587751150131226","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":"Q3773309$54700C53-1513-4E59-8113-0A117E6D9FEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3773309","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3773309"}}}}}