{"entities":{"Q5210771":{"pageid":7240342,"ns":120,"title":"Item:Q5210771","lastrevid":53639198,"modified":"2026-01-25T11:42:27Z","type":"item","id":"Q5210771","labels":{"en":{"language":"en","value":"Semantically guided first-order theorem proving using hyper-linking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7154547"}},"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":"Q5210771$56317B4E-613E-4157-B8CE-F6103A9B99AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"306c9896a1396599974454a43b17286bcb822ecc","datavalue":{"value":{"text":"Semantically guided first-order theorem proving using hyper-linking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5210771$611DF716-626F-4E46-97A5-F580E79829F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d3bc1e6d9b0a2ed2238393dd73233642952f5ba","datavalue":{"value":"1433.68540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210771$6405D276-D34F-43E5-97AC-3036CEB921DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d679a3380e342b8986973d1449d5395844b1c10","datavalue":{"value":"10.1007/3-540-58156-1_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210771$9FAC6863-C267-47D6-A63D-5D0E69F807C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"512c534e82cdee11fd2144f5e9424f424ca95299","datavalue":{"value":{"entity-type":"item","numeric-id":4314598,"id":"Q4314598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210771$10147A26-3A01-4F36-90E6-1D1B49920819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34f99c9947f4d98af9da609b6496b55645bbe075","datavalue":{"value":{"entity-type":"item","numeric-id":1238600,"id":"Q1238600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210771$BDCDE671-5C0A-4C4D-864A-01D32AB4852A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5ce55bffd503afc59f0668cb8e4536460b24d029","datavalue":{"value":{"entity-type":"item","numeric-id":5210757,"id":"Q5210757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210771$2CDD759E-2BCC-4777-8575-BB36A8470B0F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a33e9289a41a440ea82601c0f5c7fc7756e3797","datavalue":{"value":{"time":"+2020-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5210771$89394B0F-D769-4A27-8FC8-87B7EAA07BD7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210771$FB9C082B-895A-43E9-81ED-E46FA7D6C052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210771$765FB0A8-70AD-4996-9F61-4E9C8BEDFE20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c58f9a666828b23ae23317fd07a85a42fd9c1fa9","datavalue":{"value":"7154547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210771$3B5A2E0D-3CE8-4DB7-87E9-2FE21480026C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210771$E31400D6-8C69-403A-B879-BD7872FDFA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70c51cb69cf83ba52d30c7a2c9abf4fc48a6f8a5","datavalue":{"value":{"entity-type":"item","numeric-id":18707,"id":"Q18707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210771$5F46F68A-69C8-4B5F-9B6B-EE947011532B","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":"Q5210771$5C7EBB42-5E31-4E47-92FB-16714E7800F6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d75e3dec0992a15dd117067193c7fff375fa0d2","datavalue":{"value":"https://doi.org/10.1007/3-540-58156-1_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q5210771$33C28F93-5864-4A46-91D9-6E40718C1431","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7dacd73ce148cf9b4bf8534203184119f8541ddc","datavalue":{"value":"W1764789126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210771$444F466E-0FBB-438C-9898-36D61AC6FC3D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"afb31cfec21be04f1ba8409c207f9c0a2daf7299","datavalue":{"value":{"entity-type":"item","numeric-id":915496,"id":"Q915496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210771$A7ACA7ED-2EDA-4052-BD55-98FF4D2911C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1867080c0034d7856d12fe14b76198e231d90233","datavalue":{"value":{"entity-type":"item","numeric-id":1198235,"id":"Q1198235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210771$EABD51DC-4167-48F0-AA39-64B554A0328C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb8f8db3984ee044c7597268ef468a93c3002c05","datavalue":{"value":{"entity-type":"item","numeric-id":5210771,"id":"Q5210771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210771$EEECEB9D-0498-46DC-9C44-66D65F94334E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"795bcee8c82c3eb3bbe1d7fbba253638ccbd8a1a","datavalue":{"value":{"entity-type":"item","numeric-id":4314599,"id":"Q4314599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210771$965091FC-A798-47AE-BE42-DB6048C1FB20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210771$89E18C10-F818-4A66-9925-0CA7678FCBC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7b078ac6522bcee697c559fd0ddac36e74baef1","datavalue":{"value":{"entity-type":"item","numeric-id":3275827,"id":"Q3275827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210771$157A9C9C-9F91-44A0-AE2D-8A298F6EEA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88fba5a1fdfac74b8e0dcefe0e56f5b10792486d","datavalue":{"value":{"entity-type":"item","numeric-id":688547,"id":"Q688547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210771$E74C2B59-641E-4294-8402-6C5D4D075049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c16bedf88d37c78219926e82b3d7a7a9dee66a31","datavalue":{"value":{"entity-type":"item","numeric-id":3821629,"id":"Q3821629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210771$C257EDDF-E7A3-46C7-8EDC-B4DFCF239DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e34f0e0b9020ae486d5070c3a2f3a07da22c048","datavalue":{"value":{"entity-type":"item","numeric-id":1193483,"id":"Q1193483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210771$F543073A-0AB0-4916-A783-358C312292CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5587664e371fa7cdb52e3b1329f22cf9fcff022","datavalue":{"value":{"entity-type":"item","numeric-id":1101242,"id":"Q1101242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210771$8D3947C6-B529-4B0A-8457-5EF466BBC687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008723b33cb14bbda59226503d753d137dc6f8ef","datavalue":{"value":{"entity-type":"item","numeric-id":1098330,"id":"Q1098330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210771$C47E7E12-65CA-490F-B1A4-CE7E4C64CFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d43919d1f4da3b9a07eea3d230b3f18d880d5940","datavalue":{"value":{"entity-type":"item","numeric-id":1116717,"id":"Q1116717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210771$29FDC958-55DF-4904-ABB3-B18D3C73E0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d07c4b9839a12be8ae8cdfeebd58acfc1364df2b","datavalue":{"value":{"entity-type":"item","numeric-id":5881190,"id":"Q5881190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210771$D843C398-1476-4C6F-A1AC-6F27B1B70B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6296f28fc60771a1dbf24c1db19ae26c6da72817","datavalue":{"value":{"entity-type":"item","numeric-id":5609410,"id":"Q5609410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210771$73DD03D9-E3BA-4322-828F-1D3D3E01AB8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ad23ca61534fce39d231de8434f91a2de01c5c","datavalue":{"value":{"entity-type":"item","numeric-id":1098332,"id":"Q1098332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210771$33DCBD52-278C-4F4E-86FB-3DB74C8452D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d9c3982efd0f7ccc059068ad9e9a439bba5bf60","datavalue":{"value":{"entity-type":"item","numeric-id":3949989,"id":"Q3949989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210771$E67DC766-6A1E-4197-AAB3-0612C5651708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4724efffc850daf4754d455de6e91abef1b13210","datavalue":{"value":{"entity-type":"item","numeric-id":3681966,"id":"Q3681966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210771$D9E7F0D9-9B76-4B5A-BB65-D134205FCF98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30c8a00cceb8775f7b63d56fa6e1a8b46f80e32d","datavalue":{"value":{"entity-type":"item","numeric-id":6488580,"id":"Q6488580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210771$707BAA12-F040-4A7F-BB06-D30D00D7F6CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c311a8518a37fed73e4e5b2a79bf425bdf09c46","datavalue":{"value":{"entity-type":"item","numeric-id":1581853,"id":"Q1581853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96c9e653cf62e5776ea3cf8e3a9ea0129b710d55","datavalue":{"value":{"amount":"+0.8343633413314819","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":"Q5210771$9C610E68-2A82-4444-A299-79AB9C6C6F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9f7fea11c08b2ce75f95a2d9cb2f09c04fcd228","datavalue":{"value":{"entity-type":"item","numeric-id":1340966,"id":"Q1340966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb2a3d705bc595cc0ee99b44bed97c815372d496","datavalue":{"value":{"amount":"+0.7767996788024902","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":"Q5210771$BEFFFB0F-1A73-4487-AA21-627365F25F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"875cc4f73fb74be10087e96ba425671d4de768ef","datavalue":{"value":{"entity-type":"item","numeric-id":1595925,"id":"Q1595925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c2219853862f3bf0cb85ea9b86fe5d650d4c512","datavalue":{"value":{"amount":"+0.7767994403839111","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":"Q5210771$7E48DF3E-151C-46D0-B56D-0330872B45FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e6901df0d59a017c054fa969f1e65edc3a3eb1c","datavalue":{"value":{"entity-type":"item","numeric-id":688547,"id":"Q688547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e98e7abb9166e63f01ee8351664ad24b0bb3820","datavalue":{"value":{"amount":"+0.7729521989822388","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":"Q5210771$26D9C767-80BA-400B-B6DE-44717FE20458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8cffc23e28741b245b0f435c2b5b2b9463170c6","datavalue":{"value":{"entity-type":"item","numeric-id":3804238,"id":"Q3804238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbb42c6263cb03cd0766dd23e3d1f0527cc98b11","datavalue":{"value":{"amount":"+0.7654286026954651","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":"Q5210771$292F9E57-B98B-44FC-A722-762FED9CAD8E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5210771","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5210771"}}}}}