{"entities":{"Q3496309":{"pageid":5526212,"ns":120,"title":"Item:Q3496309","lastrevid":49427146,"modified":"2026-01-07T03:33:50Z","type":"item","id":"Q3496309","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4170865"}},"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":"Q3496309$21ED78F6-A034-4845-BD5F-EFABADBCFD6D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40ffd6934f86388656e4e3fbad872df42d9125cb","datavalue":{"value":"0712.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3496309$6FCDA1E9-546D-4469-8B4A-C21BDD7C3BCB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"398d5a9bd6a3354a9e18d0e067838ab447814818","datavalue":{"value":{"entity-type":"item","numeric-id":2943210,"id":"Q2943210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3496309$5534A99A-27D7-40F2-B0E0-28E72254665D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q3496309$8953422A-37F7-40CA-903C-6883F265F107","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3496309$49E2C4A6-18FE-400B-B2F4-96E824FBF9C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3496309$BF4FF364-1121-469C-86D7-9E0D1A22C6F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"747de02e8b98d628d82e2f8478081d19c899135e","datavalue":{"value":"4170865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3496309$36D0218C-3D37-44BC-A8F2-EC87203DB8CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f21a11f95716d8c26a08eebe48a277e85dc97021","datavalue":{"value":"proof search method for first order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3496309$4109818B-A8D7-4C33-88CA-3C6E235ABA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49a799c8a2696f3f447187798de9e8cd5205d683","datavalue":{"value":"Gentzen-like calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3496309$BAF6D5BC-BB1A-4434-A657-BEB6B5260786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60fa4cd184cf34533614a94abcb76bed81015810","datavalue":{"value":"Maslov's inverse method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3496309$29EE5BC8-0558-4FB3-A1BC-82667A4F9776","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":"Q3496309$E4655C1F-F84D-4ACF-B94E-9294025D34E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b60987f4308e6d760c738e339de34391092a3b0d","datavalue":{"value":{"entity-type":"item","numeric-id":3586019,"id":"Q3586019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfb736b8431e27fa9e9dea218ba75b5ba91ddcc1","datavalue":{"value":{"amount":"+0.7936133742332458","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":"Q3496309$AE216E41-E79F-4647-B9EE-EFE6E675D841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"466a9f9f3ff5f5bb2e378a4464c6add8363b3716","datavalue":{"value":{"entity-type":"item","numeric-id":4264724,"id":"Q4264724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"906927bcc4eed855f8d47d51f014c42d4a72079e","datavalue":{"value":{"amount":"+0.7901659607887268","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":"Q3496309$B8BF82FE-9ABC-4B0F-9C5F-17ECA3C0C848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02d8abe78196e9fd2a5401ab5e0bc500972f204d","datavalue":{"value":{"entity-type":"item","numeric-id":4729755,"id":"Q4729755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16aa03bade083f0856ebfd5e78e2f01bb10dd0ef","datavalue":{"value":{"amount":"+0.7788055539131165","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":"Q3496309$4620309B-A81B-44BF-97CD-8493433BF470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abeb085bb0b26bfeb3e4ed90fe4c4c116e8c1bd9","datavalue":{"value":{"entity-type":"item","numeric-id":4720798,"id":"Q4720798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92c7483dc625d8fc8eee1c4b6919768790edc16a","datavalue":{"value":{"amount":"+0.7684507369995117","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":"Q3496309$550A141F-F918-4807-82B6-C01844E65A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d4e9583ebc162d69faba3543acdc9a631f01160","datavalue":{"value":{"entity-type":"item","numeric-id":4471941,"id":"Q4471941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1648f402c8298a29a9a6180fc37a306358216daa","datavalue":{"value":{"amount":"+0.7676854133605957","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":"Q3496309$C4777E28-83B1-4915-8332-F7509D6CB5A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3496309","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3496309"}}}}}