{"entities":{"Q4846462":{"pageid":6876042,"ns":120,"title":"Item:Q4846462","lastrevid":47346391,"modified":"2026-01-01T11:19:31Z","type":"item","id":"Q4846462","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 790192"}},"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":"Q4846462$C8478A53-994A-4DCD-B345-A79F32184874","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"098ceedebb9b5aada3cadc01a37eddd6c2450353","datavalue":{"value":"0823.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4846462$1881CA50-9A23-462A-A35B-7A615E1EB131","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02e147dd910020d95f4658af792e16dfeeaca52c","datavalue":{"value":{"entity-type":"item","numeric-id":4846461,"id":"Q4846461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4846462$60C2D3C2-D139-428A-B28D-9C3DE2687699","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"130e39adf7d31aeb394dfacb8a12a0f0ed2af467","datavalue":{"value":{"time":"+1995-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4846462$747B1F98-95E8-42D7-B039-BBD75F92BCEB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4846462$C12DC8F1-1C6F-4C16-8C87-4608349DDEFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4846462$BFFD71E5-2E09-4EF0-99EE-6DD349420CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4846462$17C83E5B-CD82-4BDF-8AD5-0089655BA697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e19359fedce8132de272a2bd23e72d9a4b384dc2","datavalue":{"value":"93B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4846462$6EFFBFA3-BC72-402D-AF3D-2CFC4411BD67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4846462$46F6D61A-1FDD-4417-B257-370512B97AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4846462$A1A4A946-5356-4DD8-A28A-56D4DFC0E819","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b12ca6e2b9614ca93252f9d70864b36817ee52a","datavalue":{"value":"790192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4846462$A2473C42-E405-4F23-AC65-31E608A0955C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4846462$87B2E99F-718B-49E2-94FA-137842A725F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7227247e26a7a4e3cf718a9747f1fd0491872cd1","datavalue":{"value":"predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4846462$60944804-89EC-47FE-BAE9-B93EEFB44B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d07767f73a9bae129458e9d12a79bb442fa45170","datavalue":{"value":"elementary number theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4846462$CCAE025A-996F-4A4F-9416-1CFECC55C66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f0ce36239dbd08766601c3263a7891046c0723a","datavalue":{"value":"Lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4846462$5394EE7B-8E3C-47E8-B35D-B9E504935481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e431190495251d75e7d7f973ca704f4139885eb","datavalue":{"value":"Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q4846462$555B8E1F-42D5-4E88-A943-91E49D6EB51D","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":"Q4846462$FEC96D8A-ED23-4840-AD0E-BE5EE56607D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27ea03fbe1eef85ac4c9fce97678a06e2961bfd5","datavalue":{"value":{"entity-type":"item","numeric-id":4000090,"id":"Q4000090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"299ffac895872dba1b2b8106d07a034052f6b3f3","datavalue":{"value":{"amount":"+0.807622492313385","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":"Q4846462$0DCB5845-F5E6-452B-A082-22207B018C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4477e180b771717860b6be03e98fe5bc4fbbeb31","datavalue":{"value":{"entity-type":"item","numeric-id":625290,"id":"Q625290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de41e099361cd018d3828600870b449532115c8b","datavalue":{"value":{"amount":"+0.7994662523269653","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":"Q4846462$1B02B9F2-DEBA-45D2-ABFB-EA6990605363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f62bbe79ace320b8f4d4db960e0c746c62dadc","datavalue":{"value":{"entity-type":"item","numeric-id":3996610,"id":"Q3996610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf5f5992787ead43047ad91ea4db18b255c975f6","datavalue":{"value":{"amount":"+0.7855124473571777","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":"Q4846462$3E215F59-E241-4B9D-A15E-63375AD8BBA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01f0dd60666362462c6bd98ba045aa43d917dd1c","datavalue":{"value":{"entity-type":"item","numeric-id":3997159,"id":"Q3997159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2fb3de91fc473335a11e9c8f90a9cd4f7b0e60a","datavalue":{"value":{"amount":"+0.777681291103363","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":"Q4846462$F56F8BEA-F516-4639-8FA1-47A963441DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b764ff8255aa31144656f6da0b0ff71ba2b9d396","datavalue":{"value":{"entity-type":"item","numeric-id":1847766,"id":"Q1847766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b41332047fd8d9471b63a5e816f433b013e204bc","datavalue":{"value":{"amount":"+0.7692016363143921","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":"Q4846462$7FBC53C7-8997-4DF4-95D3-0E48C2C69CB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4846462","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4846462"}}}}}