{"entities":{"Q3134856":{"pageid":3145572,"ns":120,"title":"Item:Q3134856","lastrevid":47189260,"modified":"2025-12-31T23:11:04Z","type":"item","id":"Q3134856","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 417877"}},"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":"Q3134856$C48DBD8C-898B-47FA-96DB-40DD92EAC2E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"128fd705134610d78ecd918ac665087ae318e2ee","datavalue":{"value":"0804.68003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3134856$739D75F1-FEF8-4EBE-A228-3831E096858F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"244cbb0c7c29d260462be69c255a90e4965cd8bb","datavalue":{"value":{"entity-type":"item","numeric-id":287328,"id":"Q287328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3134856$AE4DDE5E-8AED-4D5D-98A8-F2E865B4379E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cd3521e9232251e81a2c922628bdab4edff3c317","datavalue":{"value":{"time":"+1993-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3134856$F5697711-E4D4-4CC5-BF9C-C9C9A59D5872","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3134856$E17C07D1-2CEA-443E-AB24-28ABC80CD97D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3134856$FE9AF785-B730-4DD5-B0D6-6FDA950C2683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3134856$4963EEFD-0D77-4B50-913B-A0A55567EA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3134856$D5771B77-752D-4EC9-87D3-C88F4783478D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3134856$49D48999-D55A-4CBC-BCE8-3E07D093EB13","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57dc36447ac16f9b682825a84c874347b9516f20","datavalue":{"value":"417877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3134856$03591D4A-6077-46D1-9D0D-C1F54C8434A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3134856$8B4F61FB-1D54-4DDB-8551-6EE74AD4E0CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3134856$B76FED45-1AEA-4EE1-9F7B-F6422810D461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f84bfa4d35417b90f2a3d3973763cb89a42b0a1","datavalue":{"value":"paramodulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3134856$EBD4604F-1DEF-45B9-9333-DD90A81EAA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3134856$3A1A60AA-F05D-4D26-A276-4C64FEC6E55C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3134856$944A553E-B10D-4B91-9892-5DF5CBA1DC00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3134856$100BBEF1-9438-4ECE-A15A-9DF98C9B79F5","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":"Q3134856$23AE2D2C-C910-422E-8D0B-4B94809532F1","rank":"normal"}],"P1643":[{"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":"de3574bbfc3237a0ef06c773fdae5cdff76f91a5","datavalue":{"value":{"amount":"+0.8549424409866333","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":"Q3134856$A77CA1C0-09D2-40DC-9B1C-317039BD8745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeb73c5444992884f7c82891b83beec4ac7db8af","datavalue":{"value":{"entity-type":"item","numeric-id":4889874,"id":"Q4889874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cc2a586c8fa73fb14b1d6d4a867a4d8ddb9fed6","datavalue":{"value":{"amount":"+0.8536712527275085","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":"Q3134856$05F3F0A0-4EAB-4CFD-A1EA-CD1BDEDF0DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b822606285ce070526363a622a7dc5d21e1e548","datavalue":{"value":{"entity-type":"item","numeric-id":4331757,"id":"Q4331757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bba5e7b0d744ad8cf7774d21e25e955f1452605","datavalue":{"value":{"amount":"+0.8317689895629883","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":"Q3134856$DD958D23-F166-4C45-8704-D7DAB3A4458E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d0a60404f38e09c63d9a97199efc377584333fa","datavalue":{"value":{"entity-type":"item","numeric-id":4296747,"id":"Q4296747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bba5e7b0d744ad8cf7774d21e25e955f1452605","datavalue":{"value":{"amount":"+0.8317689895629883","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":"Q3134856$BE55BCFD-4607-4204-BC84-5B30BEB6D6EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3317123e5c3251d222b5f976bdb77838accc61e9","datavalue":{"value":{"entity-type":"item","numeric-id":3995436,"id":"Q3995436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"562cf9a2077d75838d6e55811a6486a025222919","datavalue":{"value":{"amount":"+0.812775731086731","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":"Q3134856$CAEE2C9F-C67A-4011-ABCC-44586647F463","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3134856","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3134856"}}}}}