{"entities":{"Q4289277":{"pageid":6318878,"ns":120,"title":"Item:Q4289277","lastrevid":46310418,"modified":"2025-12-24T13:16:59Z","type":"item","id":"Q4289277","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 559219"}},"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":"Q4289277$C6B8A0EB-3445-40E8-9B98-B70F524DCA41","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be015224c2d877532152e13eca27a88bc12be396","datavalue":{"value":"0791.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4289277$5EF7A6F5-2E63-4BE2-BCCD-467FDFDD38E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aad179d365c253d181fa8115a831f46e7923370","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4289277$2B552378-DE0A-4F39-826A-A6A57E9D53AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eede50a5b3b0c8cecc2408751b26204b77b99d90","datavalue":{"value":{"entity-type":"item","numeric-id":800717,"id":"Q800717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4289277$A9773254-2B24-4148-9A51-4C379B620543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b7d96d2c68882294e26baabd03e0c606a357194","datavalue":{"value":{"entity-type":"item","numeric-id":800718,"id":"Q800718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4289277$7ABF74A0-0465-4042-A7D8-1B0F6CB29A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4526c13a5030993f00574c558b65b89e42984723","datavalue":{"value":{"entity-type":"item","numeric-id":1224211,"id":"Q1224211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4289277$65F3690C-8DB0-4C5D-BCD7-6A2E02B1F5B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f67112bf1a930c6ee53870113fa632283368642","datavalue":{"value":{"time":"+1994-05-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4289277$B6BBF3CE-B834-4888-AE28-F6B517879583","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4289277$9D9B382D-DEBE-4D6D-A444-90748172E8CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4289277$D6B4BFB1-E0E5-4098-B815-7BEB3161A3B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4289277$012CD7D2-558F-46CC-B49F-88F5AF49AF0D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46d4a80311b7ed8fea3f9b4d7e546964fecd6c43","datavalue":{"value":"559219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4289277$C9D363B4-3048-4F28-AF7B-B802EE1057B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4289277$106FA720-B812-479B-8723-8E010CF6C45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b938fff435c2d97bda7b5640b6f4bd95f619e92","datavalue":{"value":"proofs and programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4289277$5DC231D9-D6B2-451B-B75E-7ED7B7394073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e9ba3d49fa0f5eec04b39cdf01c0c5900558ca4","datavalue":{"value":"ALF","type":"string"},"datatype":"string"},"type":"statement","id":"Q4289277$F538F4B3-4FBC-4D34-9348-97FC09D1285B","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":"Q4289277$999FA1E4-7335-4AD3-8893-5CB059B99888","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"776a7f81bcf627160ac001fd4998e9de8ac0400e","datavalue":{"value":{"entity-type":"item","numeric-id":4215639,"id":"Q4215639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2861b8a0526acebe32b9d78afcf7d3a26ab58a6a","datavalue":{"value":{"amount":"+0.8395761847496033","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":"Q4289277$D7ED5E20-BB14-49AB-B0F8-CBC8C2C08BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"978891aae9ce03b1973d803156ce9403119bfa81","datavalue":{"value":{"entity-type":"item","numeric-id":911744,"id":"Q911744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"525208a94d5efd78e101991d30f976300d68ef8b","datavalue":{"value":{"amount":"+0.8346326947212219","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":"Q4289277$D3BB7C60-5B0C-4AE5-B776-A9EE264967A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b16b1bba8ec90fad219ebb520a3535925fa67cf1","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cae7d1529d16a2078f0082d56478993549402051","datavalue":{"value":{"amount":"+0.8263019323348999","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":"Q4289277$1E686D5A-FC3E-456E-BCC9-8C2AA8FFAFA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22c58fbceaca79f3a9c207feec1bc23bcd1a11b3","datavalue":{"value":{"entity-type":"item","numeric-id":4470492,"id":"Q4470492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d066b52359d94ad936da69181f7cd865e1fbc0c","datavalue":{"value":{"amount":"+0.819128155708313","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":"Q4289277$C54A2E06-E22C-41AB-A013-5EE74C2F2967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eba919e1924eb6dbf4450f84a8ab75e84164ec51","datavalue":{"value":{"entity-type":"item","numeric-id":3823123,"id":"Q3823123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a38a1621081079d3ea4dc209d26cd0953e66284b","datavalue":{"value":{"amount":"+0.7954436540603638","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":"Q4289277$EBA83EF7-9F5E-4FF0-B734-7C35DD359587","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4289277","badges":[]}}}}}