{"entities":{"Q4681891":{"pageid":6711472,"ns":120,"title":"Item:Q4681891","lastrevid":48496513,"modified":"2026-01-05T00:28:02Z","type":"item","id":"Q4681891","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2174388"}},"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":"Q4681891$CC9AF892-6D4C-40DE-98D3-C9B1F038646E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d82a77b792bfbc380977a2656dac8df0eaa3ef7","datavalue":{"value":"1079.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4681891$FFE5BCC8-8D64-4AC0-835B-EC1616FCBE89","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fcc8edc89ca49bc4a6600693fca18e20c35dc3fc","datavalue":{"value":{"time":"+2005-06-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4681891$8DC1E4B5-BA75-4203-B440-C6A6C4F465F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4681891$2978DC60-623C-4942-99C5-C84F82FCFCB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9cf5631e3e1252c68773efa5d72884b7952818e2","datavalue":{"value":"2174388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4681891$90C471EE-2D11-4DBB-8D4C-BBE3A5298588","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7ca671e33277df627f1309b3cce1e9c449ffa49","datavalue":{"value":"quantifier-free induction schema","type":"string"},"datatype":"string"},"type":"statement","id":"Q4681891$71F51207-6805-4967-A77D-4931DA401CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"319323729f51a3b6963007880eddd8f2a5de31fc","datavalue":{"value":"least element principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4681891$D416A276-A8F8-4B3A-A13F-4921A37DA861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"170f7053c2aac6d440efc0b375d8fe2cb96b4785","datavalue":{"value":"elementary arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4681891$6908EB0A-6979-402E-B071-6FF4323A1792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2e37bcac35009140b59bdf0c724f8f26250aea5","datavalue":{"value":"free function symbol","type":"string"},"datatype":"string"},"type":"statement","id":"Q4681891$A7E1F9CE-4421-462D-A15D-8FB59C0A9BA3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5270766f22c7ad4a781677af5d45e6943b2a3573","datavalue":{"value":{"entity-type":"item","numeric-id":636315,"id":"Q636315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4681891$3E87B46E-EC16-47D0-9211-9DA2AFF7355C","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":"Q4681891$0CDB07CC-E3BA-488D-A306-9FDDEE2DA192","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"613b69ad76c8fc3ea3d99ec97a8669a0e4d62269","datavalue":{"value":{"entity-type":"item","numeric-id":3834043,"id":"Q3834043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0241c5ec967b43250eecf1e8d14c2326b3e934e2","datavalue":{"value":{"amount":"+0.7380599975585938","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":"Q4681891$9B9FB1D0-BF95-4BB4-A641-42030A3DAA85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49e51e5c22b06bcf4e5ed5c563c5b0783ccde0aa","datavalue":{"value":{"entity-type":"item","numeric-id":4945240,"id":"Q4945240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23989eee7ee72f5017fea68bf5a88396fca0365d","datavalue":{"value":{"amount":"+0.7167502045631409","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":"Q4681891$27803B1F-FEB9-4C52-9925-BB306C84CFEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d86028143633705a38cee0267514615a44489462","datavalue":{"value":{"entity-type":"item","numeric-id":4304100,"id":"Q4304100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d1d014ddc123367155d1ff7db790e3386520781","datavalue":{"value":{"amount":"+0.7164421677589417","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":"Q4681891$C093C504-BCB6-43F8-97B8-408E3473315C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92d711bb1035b58430aa57ab03300a2d6d047b1a","datavalue":{"value":{"entity-type":"item","numeric-id":4391078,"id":"Q4391078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9970d8ac4a97dbbaff07c83899e2f8dbdd0adb79","datavalue":{"value":{"amount":"+0.6964281797409058","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":"Q4681891$4AF29F59-7400-4B9D-B94B-7BFCB0F6DAB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51a9d41e496ac807447307ac401854d076ed6956","datavalue":{"value":{"entity-type":"item","numeric-id":4364507,"id":"Q4364507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd254d8b7cbe04fa155401081e3b8dc8dc5b1b28","datavalue":{"value":{"amount":"+0.6948578357696533","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":"Q4681891$BEA0D5DF-F37A-4A54-ADE4-034ACC234C3A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4681891","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4681891"}}}}}