{"entities":{"Q5015101":{"pageid":7044678,"ns":120,"title":"Item:Q5015101","lastrevid":40884510,"modified":"2025-04-13T18:24:34Z","type":"item","id":"Q5015101","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7441505"}},"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":"Q5015101$5FB7F044-AB03-4D61-B573-602FF1730F32","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"273223a9a359a6c95ba3b086b71e7affbf1e16cc","datavalue":{"value":"1476.68297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015101$48C7E48A-5F12-4BE8-BDD6-28D15DEAAC0A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d34eb2100a78ddad50a6ba5d28a01c9a82627ffd","datavalue":{"value":{"entity-type":"item","numeric-id":5015100,"id":"Q5015100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015101$25E5D3E2-E087-4BE4-9C22-37FEC3749044","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccea0e72645421785937dbfd645828cb25e2fe7e","datavalue":{"value":{"time":"+2021-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5015101$0DD0EE91-EEF7-4138-A361-C3619C942FB8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f735df354834c5fac3c58c82264f0cbf29e6f5e7","datavalue":{"value":"http://www.viam.science.tsu.ge/Ami/2020_2/8_Lasha.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5015101$7CF62F12-9D27-4148-BA0C-8BEB0898EC28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015101$7A90B4F3-DA78-4622-8891-57DA44D01020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015101$4F932991-7DEC-4E1A-A936-38B142627A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae62b6ae8284bad4753b7ed23b6f2503aa5e4b9f","datavalue":{"value":"68T50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015101$999FFEC8-4E66-4E86-8AF1-4EB82E7EAE1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27044c7a91799f9a55691c6bbb4a023e4a3bb353","datavalue":{"value":"7441505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015101$AC2D26E7-B337-466D-B057-F0B732FB6F26","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"151d8f12e4aa55c4c934abb73a34a0d96348428a","datavalue":{"value":"analytic tableau method","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015101$CA78E5FB-1590-4AFC-8927-DF41A4E23BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015101$16CA9417-6873-415B-AAD0-EF6EC47211EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f240f1ad8a1a1edd9ed07d43426442d871c0b4a5","datavalue":{"value":"natural reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015101$80C0D88C-C04E-44DC-B6D3-B988962D50F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"470b3ce6fc1b8e46df4e4aef41af6c265ba655ad","datavalue":{"value":"lambda logical form","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015101$EB37FED1-9E75-4AF7-9032-ED010CF008E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b58af4364b74746f039a9d4954263bc35d3005f","datavalue":{"value":"natural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015101$CEE33C77-5DAB-4903-90B1-7C13ACF7CCBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f639a56e1e38a2490c4463ce011c878a3d36ab","datavalue":{"value":"typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015101$84B43B02-977B-4BDD-A196-AB7CBC3C948A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24b800d189fe4999a741ab3627853bdaa9710adf","datavalue":{"value":"textual entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015101$969AE36D-6B24-420C-95EE-9D2AF9EC09B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3e10edf7ff5f4e0b30cad762679c67f6c8029c3","datavalue":{"value":"combinatory categorial grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015101$37265365-D8DF-499B-95AD-08E6E3ADBC30","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":"Q5015101$58CC21AA-03B9-4C5F-8E69-F8FDCAA4AA38","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccc8686631daf2eb374a093aee03e161f79b4168","datavalue":{"value":{"entity-type":"item","numeric-id":5309492,"id":"Q5309492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6680ad2cdc39c1c1872ff597655858f89a3182bd","datavalue":{"value":{"amount":"+0.92522454","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5015101$0D8EC75C-AF40-4F95-BBC4-2774387DFABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdaa9ffffb05aebd4060ab1df95877050d007278","datavalue":{"value":{"entity-type":"item","numeric-id":2963996,"id":"Q2963996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bcf810a12a7bff04616429a54da9cd64d9a8216","datavalue":{"value":{"amount":"+0.8844138","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5015101$A004ABCD-61EA-46E6-96AE-AE6640FF7B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abfd9f57788e09e28624459d7d113b2e87fa5cc4","datavalue":{"value":{"entity-type":"item","numeric-id":3584997,"id":"Q3584997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a961efca5af2afb5d0faa8569c0be9687db8430","datavalue":{"value":{"amount":"+0.8616178","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5015101$E9989C84-5E67-4903-BBF8-46FDAFCE207D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f800435365e02e0fb3926ac33c3ae1144ca3cac8","datavalue":{"value":{"entity-type":"item","numeric-id":3756542,"id":"Q3756542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3333004071c7f4da277cd6775e58d88a7245ce2","datavalue":{"value":{"amount":"+0.85313183","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5015101$C95CFA2B-A749-4C5F-9385-48D344754597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50b6accdc28ed9bd5a821192803bb5bcf97ed027","datavalue":{"value":{"entity-type":"item","numeric-id":3338217,"id":"Q3338217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70c7713ae6deedbe598343e4265ab61b7bdd231c","datavalue":{"value":{"amount":"+0.85131574","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5015101$C2A67A7E-16D6-4765-9FC6-F3BDAAC6C45F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b0332f643c026bfa5e67b589c2cf7c70271ef80","datavalue":{"value":{"entity-type":"item","numeric-id":4946220,"id":"Q4946220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19db8972e5345286aa5b7c19ac25966cceb2a4b9","datavalue":{"value":{"amount":"+0.84935063","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5015101$05EF2608-BD0D-4CEB-8808-DFF944B9595A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"076e9e355fba7af67601a976f70294a4053c2a6b","datavalue":{"value":{"entity-type":"item","numeric-id":1802396,"id":"Q1802396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f472a585592d067229ad4b230f8ac28c2050254","datavalue":{"value":{"amount":"+0.8426003","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5015101$C575A439-E016-41EA-9ED5-182F01D91A6F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5015101","badges":[]}}}}}