{"entities":{"Q4693113":{"pageid":6722690,"ns":120,"title":"Item:Q4693113","lastrevid":47166226,"modified":"2025-12-31T21:35:06Z","type":"item","id":"Q4693113","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 195157"}},"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":"Q4693113$FBD148FE-53F9-4DF7-A365-C1CD93E9B736","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"743f20ca07045f518a92510eeb8a516ead01b005","datavalue":{"value":"0701.68086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4693113$B591D6A3-F9E4-46C0-B609-C3AE8823F30B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d6f35fa4c47014185c8455e3f00c2771df4684d","datavalue":{"value":{"entity-type":"item","numeric-id":199240,"id":"Q199240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4693113$7A11924A-FB98-45A5-8902-670FA6111D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf11b17423818b7385473d6cca6feedf78855e2c","datavalue":{"value":{"entity-type":"item","numeric-id":3490952,"id":"Q3490952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4693113$DC244C90-BB34-4347-96CB-CC7A3A779777","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28319e3934f5b194abbcd5639e9eae3758e9e43c","datavalue":{"value":{"time":"+1993-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4693113$B23B0D56-5B50-4291-BDD0-EF8B636A0186","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4693113$658932D7-353F-4219-BE5A-AB895E8E709D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4693113$BFD21841-4996-4039-9D05-0F19D8291198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4693113$08469820-4DF2-4270-B91C-EAA5735B6B38","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc7a5369f34f8df6d2dbeff4cb4763402982c4b7","datavalue":{"value":"195157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4693113$D9C69261-8A68-451C-9D9A-913DB6298F87","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4693113$5590B07D-34D2-4803-97E8-BC0243B7C329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ea74009f3e6aaad2fb0fc06728d00ab11f397c","datavalue":{"value":"predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4693113$FFB61FBA-9A1E-4FE8-AE13-D84DA9E6A8D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4693113$DE53AB41-9F42-48A1-8245-6B3A7EF2A5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4693113$8F5F2C32-9060-4651-8DC7-B37773F266FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f84bfa4d35417b90f2a3d3973763cb89a42b0a1","datavalue":{"value":"paramodulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4693113$1F03CFA0-E0EB-4AF1-B1CD-476B841234BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4693113$734F9A34-5DFD-4A0E-95AA-EF4B2C89BCE2","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":"Q4693113$C9642E7B-DA35-47E0-B963-61971BFAE2C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d5abfa2ad99fb27e4241d55a305f846a6da6b13","datavalue":{"value":{"entity-type":"item","numeric-id":4714397,"id":"Q4714397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0682d81865ae6069ff7bb5828e4fa3361e209e8b","datavalue":{"value":{"amount":"+0.7892168164253235","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":"Q4693113$9B2A3341-D60A-42B3-9347-C2CAD5C99E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd005206203014e83c667b9b2ae43263bc5e2d2c","datavalue":{"value":{"entity-type":"item","numeric-id":3792211,"id":"Q3792211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df7448f548cc9bfd7bf9229c66e61a6297bdff3c","datavalue":{"value":{"amount":"+0.7873517274856567","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":"Q4693113$73C6063E-583B-4311-9CC0-46AAEC138876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d370192bbaebdd64f89013897ae67d132d2f82a","datavalue":{"value":{"entity-type":"item","numeric-id":3996619,"id":"Q3996619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20f5402331d40486048a2c3bf7506ecee24110e8","datavalue":{"value":{"amount":"+0.7826196551322937","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":"Q4693113$324CE91D-1EAF-4CC7-9799-831FDB841536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60e6e60bf37f84724ccf90df04b54d320419b88c","datavalue":{"value":{"entity-type":"item","numeric-id":3992431,"id":"Q3992431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54cc72797f3fa71e2044975e942fec14a3401a72","datavalue":{"value":{"amount":"+0.7701506614685059","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":"Q4693113$658E76A2-BBA2-43C9-AC8F-365D7B9A1CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6f935b9a416b2fb999aa9fd8cbef35e9ddfdc9d","datavalue":{"value":{"entity-type":"item","numeric-id":4692618,"id":"Q4692618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5a1c8841ac3da3ec456b88f21419ba938c2d4ce","datavalue":{"value":{"amount":"+0.7699761390686035","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":"Q4693113$43A387A7-FC3C-4D48-BEEF-3B1DFD97FB1B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4693113","badges":[]}}}}}