{"entities":{"Q3793763":{"pageid":5823669,"ns":120,"title":"Item:Q3793763","lastrevid":52828682,"modified":"2026-01-23T14:31:47Z","type":"item","id":"Q3793763","labels":{"en":{"language":"en","value":"Deduction-seeking procedures and transitive relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4058905"}},"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":"Q3793763$BDB6DB1A-304C-4216-8DDF-A75049737163","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fdd83ca1592442c930e8abe0ce29c43a4745084d","datavalue":{"value":{"text":"Deduction-seeking procedures and transitive relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3793763$D21E94FA-831F-4703-B28A-F0BE587F1181","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1789423374cdb739f56433f58df3ce74c7c9f157","datavalue":{"value":"0648.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3793763$07926FF1-CB5A-42A0-8D7D-404CECC3DF7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e65c4d5bb54b13e2f0faeefe0aee333c8a7e1c07","datavalue":{"value":"10.1007/BF01074730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3793763$622756E4-0786-48A0-AF13-33470AA22F20","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2f2504956ff395a23643134114da7c6c64448d2","datavalue":{"value":{"entity-type":"item","numeric-id":3026191,"id":"Q3026191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3793763$192E3FC5-70FD-432D-B0AB-9317DEF64710","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3793763$A3BA5F05-E326-48D6-8F38-70898E447944","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3793763$8A63FAC4-6CDC-4EEE-8DD8-2E892671CA5F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"946fa9e3656a6d78968549b6bb1921ea979b16c8","datavalue":{"value":"4058905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3793763$82A87CA0-2D15-411F-A4A3-905BF673BCE4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a79ab5bb2a38a4c031d7fd98f7527bfbf0be3002","datavalue":{"value":"deduction search","type":"string"},"datatype":"string"},"type":"statement","id":"Q3793763$E6934FBD-9B6D-47DE-8720-681DDEBE4A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd2389bf0527d51117285e02fc016b048c655c21","datavalue":{"value":"negative hyperresolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3793763$55F1FA94-C971-44AE-BA0A-1CD18EAEFE5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3793763$F3EEEE6C-D572-4130-B3D4-F2434A91A845","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9e0106a8247e4bf7b79a4b47524f15fadc8ba6c","datavalue":{"value":{"entity-type":"item","numeric-id":1127548,"id":"Q1127548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3793763$CAA9E3D1-CBF9-40A9-B464-C5AD4572BF7E","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":"Q3793763$FE12822F-7A5F-4E7F-ADE4-0D340859C9B7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"40b422d2d294023b23695a8b39e822af284cc280","datavalue":{"value":{"entity-type":"item","numeric-id":5639371,"id":"Q5639371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3793763$CB7AC7F7-7BB6-456B-8A7D-590F3E9CCE5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febe5bf101c3b7d6dce19439eb466caa5715de79","datavalue":{"value":{"entity-type":"item","numeric-id":5624683,"id":"Q5624683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3793763$BF6B2B84-FE45-4C89-91FA-6A3F867020FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"041184ced68ec1bcfc7e3558db4714d4dc908858","datavalue":{"value":{"entity-type":"item","numeric-id":4050192,"id":"Q4050192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3793763$C1602815-8375-418D-9C27-8C0CB91C38BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"117572eee7a507c434be65075d3ae3945242c76d","datavalue":{"value":"https://doi.org/10.1007/bf01074730","type":"string"},"datatype":"url"},"type":"statement","id":"Q3793763$42DFE526-CEF3-48E4-8733-5604B4705820","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3a4529200752b1bbe3aa311651b328a667ea72ab","datavalue":{"value":"W1985897081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3793763$80B6B91A-5FC5-42D9-AD41-2323F807FE37","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7130a187bd24e4894b8f6c7d4617bd02a3c1760a","datavalue":{"value":{"entity-type":"item","numeric-id":3777497,"id":"Q3777497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a3f7f3a6f3279a8d6f58a2700eeb461e2c9acd3","datavalue":{"value":{"amount":"+0.8111472725868225","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":"Q3793763$DA04371E-EB56-4753-8849-4A6B58E3FD91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bb0d0ae59343cb96fca8d4fd6b3a0b5b6181400","datavalue":{"value":{"entity-type":"item","numeric-id":3682462,"id":"Q3682462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c171510ad6a2453407b58798c568aa3ae5d25daa","datavalue":{"value":{"amount":"+0.7879849672317505","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":"Q3793763$C48F158D-A551-4906-BC06-E7FE9BCBCF99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ae48ac2710efbb08b3080b8d26fda2b8eaa37cc","datavalue":{"value":{"entity-type":"item","numeric-id":3732981,"id":"Q3732981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba5af81e6f20afc30de94163f74b2fedd19f28d4","datavalue":{"value":{"amount":"+0.7814106941223145","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":"Q3793763$4AA11295-E5AC-4659-9401-2104941B896C","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":"1276879d4ffd060db2ec157c4f9bdaf84a4abe69","datavalue":{"value":{"amount":"+0.7754420042037964","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":"Q3793763$08A5B125-43C0-47D7-8A98-62557A7EE49A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3be59899f1c5070152f1be6bf1cc78a0b2b15c08","datavalue":{"value":{"entity-type":"item","numeric-id":3484382,"id":"Q3484382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c6249488c7593335ce1c6c193c3c0c60672a40d","datavalue":{"value":{"amount":"+0.7647165060043335","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":"Q3793763$2A5382E1-8D54-4506-BDD6-E237BED8211E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3793763","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3793763"}}}}}