{"entities":{"Q5128049":{"pageid":7157623,"ns":120,"title":"Item:Q5128049","lastrevid":46189501,"modified":"2025-12-24T00:40:34Z","type":"item","id":"Q5128049","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7267153"}},"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":"Q5128049$DCB6180E-D282-4FC9-BCFD-C898B67E1454","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ae672987027f6bd28bb72a8955bd5c72eb36b4d","datavalue":{"value":"1474.68452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5128049$24C89EA4-37AF-4605-B42D-534513DBF14B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ea5350c94d5cd96d96cbc78d65795c9b56975b0","datavalue":{"value":{"entity-type":"item","numeric-id":849939,"id":"Q849939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5128049$C528CF41-298C-4050-88E2-66D8AE66B89B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee6429993c4b83380d2aa1a3eca2b98f393effbe","datavalue":{"value":{"entity-type":"item","numeric-id":209286,"id":"Q209286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5128049$2A641EE4-1999-4BC0-9DCC-01216629B4BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad21a50f8b52ec1e6ac5232064753ecf36423939","datavalue":{"value":{"entity-type":"item","numeric-id":498107,"id":"Q498107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5128049$BDAB1645-B968-4871-942C-888FFB740FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d356adca328e50aa4488b6ecdb1b28ac263ee6b2","datavalue":{"value":{"entity-type":"item","numeric-id":2333857,"id":"Q2333857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5128049$67F856EB-625D-4265-8BDC-267E94BDC688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c59cb2d5e38741fde97c79127f8806b9e6999755","datavalue":{"value":{"entity-type":"item","numeric-id":2913322,"id":"Q2913322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5128049$F956C0BC-A312-43F9-BC86-BE3CDFFA8891","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e96c211c6c1bd548b28ba402cff609519e380594","datavalue":{"value":{"time":"+2020-10-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":"Q5128049$4F84A0FA-10A1-4B41-A400-A867A3492D1C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5128049$FD106AFE-8461-4BCB-87EA-118F66BEB1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5128049$6A84989F-DD00-4089-8DC6-EB296D9B024A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5128049$B6C41951-0514-4769-ADF0-DDE33FEF94BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dbbc25b59c5125944b925cde1eeec2515a88a87b","datavalue":{"value":"7267153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5128049$0FF149EA-EDFC-4C46-A4E3-8FA3B8D60521","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5128049$628F26F9-B250-4CAA-AD3A-3CD8F36DB2E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c823b56192bce445b4b9ec3d99d959d2bc7a655","datavalue":{"value":"artificial intelligence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5128049$66A53C1A-EF32-4F72-BBAD-B5E65C6413F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5128049$C2466F3E-083A-47CA-A45B-52CF5CFB6CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be960993a030b6cf0a650b4f56c881dddb34582b","datavalue":{"value":"binary resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5128049$1FFFFCF8-0795-42B7-99F0-7AC2742FBB2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc77d21f5c1f249d374cbacbde1e2dc46280d0b6","datavalue":{"value":"contradiction separation rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q5128049$45DAA8DF-ECFE-4B95-BDFE-FABA236E021C","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":"Q5128049$E91E54F6-3760-43FE-90F6-8F886B9DCF18","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e575495883124197757b0c95e59c986258a651dd","datavalue":{"value":"10.3969/J.ISSN.0258-2724.20180800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5128049$B07E4EE6-333B-4A36-947A-8D0E8F180A1A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7e346798312fc2ae56c6447ace420f94f2307ba","datavalue":{"value":{"entity-type":"item","numeric-id":2198231,"id":"Q2198231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baa87ce17762e983d0e8da4604a8c61be0cfd6ea","datavalue":{"value":{"amount":"+0.7611106634140015","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":"Q5128049$A5394F78-0EDD-4C82-A663-168BAC3A3CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"549b9e28b5019c300f5c4b14bd9068fe844a6300","datavalue":{"value":{"entity-type":"item","numeric-id":5128050,"id":"Q5128050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd4c7f823384df2979ddffc48d2df284eb21470e","datavalue":{"value":{"amount":"+0.7141090631484985","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":"Q5128049$B78C27E9-4EEE-4B93-BEFB-8FCAD162BEB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6021f70475ec456907b1059df7b91dfa79a09357","datavalue":{"value":{"entity-type":"item","numeric-id":1897558,"id":"Q1897558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f128726fb8b2a251b0a988ecd0e721219f82a99e","datavalue":{"value":{"amount":"+0.7104144096374512","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":"Q5128049$C2C22148-D26E-4E1B-B80B-E5B4DD56F51B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af54a7870ca0d13931e6592961d66440dbdf3adc","datavalue":{"value":{"entity-type":"item","numeric-id":4380155,"id":"Q4380155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"831156952e7929c282e81262e3a976e359c5eaa6","datavalue":{"value":{"amount":"+0.7094418406486511","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":"Q5128049$2EA09644-5C43-49EE-B921-1BBC9EB2B8C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5128049","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5128049"}}}}}