{"entities":{"Q4247684":{"pageid":6277285,"ns":120,"title":"Item:Q4247684","lastrevid":46834506,"modified":"2025-12-25T16:47:44Z","type":"item","id":"Q4247684","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1302382"}},"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":"Q4247684$8401AEA8-D8D3-411D-9E5B-75100FD99A43","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74a3f11ded716bc34987b6aa1fe7e0913651f605","datavalue":{"value":"0928.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247684$1D231BF1-A0A8-4D2A-A710-C2BEEE43E1A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7de396c24bfaf47f96904138f075737b62d8287","datavalue":{"value":{"entity-type":"item","numeric-id":4247683,"id":"Q4247683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247684$443FCEFF-1D92-49FD-8309-7294FD48B295","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"195732dcabfbab6a027b397db48d9b246fab9fe7","datavalue":{"value":{"time":"+2000-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4247684$2FDF1D2E-3131-4BE7-9065-15804C6C9CC0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247684$64607DA1-7922-48D5-A2FA-E0CBE8BEF28D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247684$E88CD94C-917E-4F33-88CF-EB92C289102B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd9906aeb7f5e0a1d7a3f5efbbff59c5992b19e9","datavalue":{"value":"1302382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247684$0882B23A-AD60-4A65-840D-A88E64C865DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7110ad24c3faec186451ca84e8b2889808f8b203","datavalue":{"value":"combination of theorem provers for different theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247684$FE6DBC10-968F-49AC-85B7-652039536935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247684$84DB9F60-D31C-445B-A83D-A27F20C6CD5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebc930ca7d7e3161e276de5704cac57785d37c15","datavalue":{"value":"combination of theories with disjoint signatures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247684$30FA1BAC-74B9-41C0-BB30-66651192F15E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3869484fa55fd19917b600a46cea9ad64abfd6b","datavalue":{"value":"Prolog Technology Theorem Proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247684$1D119D5F-8800-45AE-B705-2B258B0F7B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6df87906b02eb78cee139c2547f0cbf5413af1e9","datavalue":{"value":"SLD resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247684$94C565F8-FDEC-4E09-9C30-32F0D9E9AACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47ad9d2e3041ce702976cc1bed2b5b897cccf231","datavalue":{"value":"Model Elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247684$74AD8209-7575-4D42-B5D0-803CFD2CE39B","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":"Q4247684$ED0D7128-F1A0-4F45-AD06-92830680D436","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71bee125ea54a8e54d6d488c54ec9675e6f5fb42","datavalue":{"value":{"entity-type":"item","numeric-id":5900552,"id":"Q5900552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a6a15af66b8a0f504adb0eca299a1d3a2c9a863","datavalue":{"value":{"amount":"+0.7860366702079773","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":"Q4247684$96CBE3A3-F075-48D2-BCDF-DC164D79C301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e4ea264aba981e0f8695242063e7eeea21c350f","datavalue":{"value":{"entity-type":"item","numeric-id":2908497,"id":"Q2908497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"149e87bb25cbd2b44614095dc397d354f3d2ccf2","datavalue":{"value":{"amount":"+0.7850427627563477","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":"Q4247684$F3C404E4-E836-4A34-AD66-C81630481A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c7753b0ba6315f743e142b8c993760203261530","datavalue":{"value":{"entity-type":"item","numeric-id":4808733,"id":"Q4808733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55347af29f0fe53dc7b2bc760d461c973053926c","datavalue":{"value":{"amount":"+0.7745429873466492","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":"Q4247684$D0BA289B-3CCA-4E40-911E-664CEF311AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64897cf9e7011c6f9fb9626035f5334d40e22842","datavalue":{"value":{"entity-type":"item","numeric-id":556677,"id":"Q556677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6be37ed8008d486574bfb248e0dba1b2cda45c65","datavalue":{"value":{"amount":"+0.7549161911010742","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":"Q4247684$1B3FD452-B9E7-4A9C-A43A-10FB77602F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e1470a97030887b8d84f75ee646436a0f66f52b","datavalue":{"value":{"entity-type":"item","numeric-id":3766889,"id":"Q3766889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a447974176d1a8ea864bd13d7fbc2494f11826e1","datavalue":{"value":{"amount":"+0.7545354962348938","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":"Q4247684$50775337-D2ED-4EDE-8A5C-2729813B41E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4247684","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4247684"}}}}}