{"entities":{"Q5507985":{"pageid":7537545,"ns":120,"title":"Item:Q5507985","lastrevid":33188021,"modified":"2024-03-23T13:34:45Z","type":"item","id":"Q5507985","labels":{"en":{"language":"en","value":"Efficiency and Completeness of the Set of Support Strategy in Theorem Proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3219317"}},"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":"Q5507985$720B8ED4-042E-4BA0-850A-3F615E6EB15E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf328f9191a46165061b2ddb4c618436324f6898","datavalue":{"value":{"text":"Efficiency and Completeness of the Set of Support Strategy in Theorem Proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5507985$4F8A6653-9B21-4B2E-BD6B-39C3C780038B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d2da19d515e8a3573086a5c8d9006613874b73b","datavalue":{"value":"0135.18401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5507985$19C0097D-E21F-44E3-9C19-B70A20712B8E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"115bc2e00e392ca35e9d26c24f94eb31333ef670","datavalue":{"value":"10.1145/321296.321302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5507985$401E341E-76CD-46EE-9C0A-4BE829F9FCB9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5507985$18238C19-2DF0-4225-813D-E3D24BFC025E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc846cc700dc846702740028966828f297420cb4","datavalue":{"value":{"time":"+1965-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":"Q5507985$31CC030D-D958-47E0-8BE9-E31D073AAEA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"205dd1c9c9823dbad7194adc67ccff0bdb6ca55b","datavalue":{"value":"3219317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5507985$E9FBF3FD-ABD9-4ABB-81D9-10D8D5F74290","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c63f4b05707b550cfb67a57522ffdf0a6ea1fb73","datavalue":{"value":"numerical analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5507985$DD1F9C0C-E23C-48F2-BED3-8B38BDEE4F7D","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":"Q5507985$5F38EDB7-A299-41F4-9E97-ADC1F7213D46","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de8e03f9202295ceb95105efc76465ca99d916d4","datavalue":{"value":"https://doi.org/10.1145/321296.321302","type":"string"},"datatype":"url"},"type":"statement","id":"Q5507985$C7900BA2-16C5-46DD-B2A2-38B6DBAC6161","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2044e907a9637311839c2a2a583bdaa0b11ef5e8","datavalue":{"value":"W1972956465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5507985$EA8A0834-AAD6-42EF-B2CD-24934B28C27F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8c93f67a4c4af86552625494a24a38bde906a9b6","datavalue":{"value":"Q114255236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5507985$BA2A14DB-89BF-4FAA-B557-9D2559A0FCF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5507985","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5507985"}}}}}