{"entities":{"Q3696495":{"pageid":5726401,"ns":120,"title":"Item:Q3696495","lastrevid":50346419,"modified":"2026-01-13T21:02:24Z","type":"item","id":"Q3696495","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3921956"}},"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":"Q3696495$B30CCF60-2125-4DEE-A53E-53817C6312EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d0039f58811fd1c7fdde25b9eba8f1feaee92dd","datavalue":{"value":"0576.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3696495$F8195189-5540-4A09-AE64-0D1CC6D7FABF","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":"Q3696495$559D550A-A5C4-4B07-A60D-4D874BC8E908","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3696495$99FC4AFD-9209-464A-A18C-996FCB4AA85F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3696495$10DE631B-67D4-4E39-A63E-F10F8ECC297F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3696495$325C6D86-079E-4A91-8357-DB9631A4FE3D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f15899be31ea2ccfa1aa65ce42c6baf3e2cddfd5","datavalue":{"value":"3921956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3696495$3D352318-E25D-4C36-AC1F-02F0BD3592D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3696495$6FBBD599-62FF-41A1-8588-B495D27D82EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d794772d317aeb50bf0dc8bda3cfbc2f18af7d4","datavalue":{"value":"SLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q3696495$9988F2F8-022E-4EDC-907D-437A44893DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88c9b27bfd18d8d081008034dddd6f463592e335","datavalue":{"value":"logic interpreter of equational clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q3696495$DF25F57A-10AF-439D-99FE-78629A802EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e431190495251d75e7d7f973ca704f4139885eb","datavalue":{"value":"Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q3696495$7D753E77-32EE-4EA5-AC85-50E817618062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f84bfa4d35417b90f2a3d3973763cb89a42b0a1","datavalue":{"value":"paramodulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3696495$868E229F-71B1-4EAC-94CF-1A874C56EB06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9f81fd79d9a404edbf19c987163b4693c5a6aa6","datavalue":{"value":"first-order logic with equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3696495$93A5A7AB-67BA-4C6B-802C-56FEB6096C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc18f273f58559995b871f299f8366c0b3861d3c","datavalue":{"value":"equational logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3696495$46CB5812-20E2-42D7-94BA-FC805EF01264","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0d67748a66a6547b8df83562fa8acd362b0e3d1","datavalue":{"value":{"entity-type":"item","numeric-id":1028735,"id":"Q1028735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3696495$4B0379A8-8A07-4796-9E75-17C158C16C4E","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":"Q3696495$F1950062-D959-4120-B125-3A4CC7D9EE36","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df2d1b78eae16f57bd95b4d0195ffb2228f5d3d0","datavalue":{"value":{"entity-type":"item","numeric-id":3692850,"id":"Q3692850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7fead59ab827feedea6c02df07ade014f295528","datavalue":{"value":{"amount":"+0.7288033962249756","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":"Q3696495$0843446A-77FA-45EC-8372-B260CD3CBBE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0e85b3b860f0bd64335101ac0621aa3c3f2b0a2","datavalue":{"value":{"entity-type":"item","numeric-id":3768368,"id":"Q3768368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"725047ea1f32c18a34ef2d5f319eb3bfd5c65151","datavalue":{"value":{"amount":"+0.727832019329071","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":"Q3696495$56987CAB-6C68-40F8-B0FA-B9CC71115D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"768a4c893db2b6b234998769f43bc1de071f5721","datavalue":{"value":{"entity-type":"item","numeric-id":3809308,"id":"Q3809308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8204b6e7c39f27160d54fd78365897329f391cbf","datavalue":{"value":{"amount":"+0.6989766359329224","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":"Q3696495$E2D4931C-B245-4C15-9C4D-5499FC0937B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00f7a023baa30862b78e642630af08fd187940c4","datavalue":{"value":{"entity-type":"item","numeric-id":3707361,"id":"Q3707361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35f9ace93d83d783957b6e68a81016ddd4f3d684","datavalue":{"value":{"amount":"+0.6869979500770569","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":"Q3696495$5A85E063-6099-49A0-A11B-3A05916A5113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98d67c3f840645caf7ab1e8f4a31ce81f55f522f","datavalue":{"value":{"entity-type":"item","numeric-id":3782842,"id":"Q3782842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d543c19960ba48d236aa1fc75bba7ba6b7e2e5c","datavalue":{"value":{"amount":"+0.6823880672454834","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":"Q3696495$65139C0F-0746-4AD9-8E33-A6F3ABB0D7AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3696495","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3696495"}}}}}