{"entities":{"Q3350828":{"pageid":3361538,"ns":120,"title":"Item:Q3350828","lastrevid":49502347,"modified":"2026-01-07T08:46:57Z","type":"item","id":"Q3350828","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4201687"}},"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":"Q3350828$84103EC9-9807-4998-8B75-EA62CAE08968","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b43e26c4c9e012fbe143700436ff80a5aec37815","datavalue":{"value":"0727.68112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3350828$6B01B586-7274-41A6-B37A-4E1F10204358","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e35bc94832e7afe78a2437e973a7ecbe13bf09a1","datavalue":{"value":{"entity-type":"item","numeric-id":1082386,"id":"Q1082386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3350828$EED49299-9B73-4637-8B62-9FBEDBABCF9B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q3350828$385714E9-F599-4C7D-817E-11C0F0E93DBF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3350828$71A68CFA-376F-483C-802E-C89645265C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6db4aec5ef7fbf0e828c6d2589c9166d8caea5c3","datavalue":{"value":"03H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3350828$5036F0DE-4B45-4656-8B74-8B7F931520BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"df8574ca221627a3b631e5712574287946b0b18d","datavalue":{"value":"26E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3350828$AF010AA3-F64D-4942-B6BD-8A11008E7417","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cfb85c1215dbe8fae9e126a8a6da1d6a9e62a3a4","datavalue":{"value":"4201687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3350828$9C755C6E-FF98-4B10-B05D-923EBCC06365","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9875c4118ac9165e1a6462a53f50d7c10a573df2","datavalue":{"value":"theorem proving by PROLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q3350828$838A048F-344D-4518-9AEF-904E349FCE86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"193e736d9bf2b49957329e091eb325ea6dc86982","datavalue":{"value":"inference engine","type":"string"},"datatype":"string"},"type":"statement","id":"Q3350828$49C1FD94-E7AC-4BF7-B824-719DB2BF6206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a11cf132947b7b29693c82a290ecbf2e4989b042","datavalue":{"value":"nonstandard analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3350828$B9955F84-4E90-4130-BA82-DA55DF196871","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":"Q3350828$6FFCAD79-C25B-467C-AE28-E67AEA6AB399","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2565d9e77d9b51b905daa5bfbb63ce859f62d93b","datavalue":{"value":{"entity-type":"item","numeric-id":3345811,"id":"Q3345811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d59b480803bca1e545840f72e8b08b9616f73548","datavalue":{"value":{"amount":"+0.7655242085456848","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":"Q3350828$988D76D3-8902-4431-95BA-E305CFF3A1B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78e3e5338b16a90dced9133933812fb3fa905d8b","datavalue":{"value":{"entity-type":"item","numeric-id":4853341,"id":"Q4853341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ec6b8233f99d71382cdb90e09b9ff9cf1f04258","datavalue":{"value":{"amount":"+0.7484977841377258","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":"Q3350828$028D2E2D-9857-4186-A02E-54D621475B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bba9d1d38869f21919fb25c6d7b47d6d55de0cd","datavalue":{"value":{"entity-type":"item","numeric-id":4013089,"id":"Q4013089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a263553ae9f63fa59f21b252a6cb4255d37df5d","datavalue":{"value":{"amount":"+0.7479103207588196","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":"Q3350828$2A60C39D-37C1-4E04-85AE-E67581574ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e96188069f850e5b4c0c1b5fd43e7d00af24aa2","datavalue":{"value":{"entity-type":"item","numeric-id":3124717,"id":"Q3124717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6751f9a6536a223c1fadb73f566781b20ffac6b1","datavalue":{"value":{"amount":"+0.7455090284347534","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":"Q3350828$17817849-0E0F-42AF-B4A1-FFE203D509E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de035f677bc940e95a40c03e8df5350bb9add37b","datavalue":{"value":{"entity-type":"item","numeric-id":3216155,"id":"Q3216155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45edc31a07db8fb08ce85996478085fd65903b39","datavalue":{"value":{"amount":"+0.7438153028488159","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":"Q3350828$8FFC7D93-1B31-404C-B8DA-83A5AE6E9A20","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3350828","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3350828"}}}}}