{"entities":{"Q3847756":{"pageid":5877661,"ns":120,"title":"Item:Q3847756","lastrevid":54515099,"modified":"2026-01-27T18:18:22Z","type":"item","id":"Q3847756","labels":{"en":{"language":"en","value":"Theorem-Proving on the Computer"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3179040"}},"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":"Q3847756$E984E574-21DA-4AC8-B39D-C36F96B3E13E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c2b93c41c28a876a395e15ded9b2bd9e0f54253c","datavalue":{"value":{"text":"Theorem-Proving on the Computer","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3847756$9CABCBDC-D994-4DA9-B509-C616340EC0BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c678c0ff5a1b811539e2a9220e13fbc893a7438","datavalue":{"value":"0109.35603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3847756$C88A5235-C2A4-472B-974E-EBBF0914E259","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"93da38e45833306a4123929bca98ab962b87d09f","datavalue":{"value":"10.1145/321160.321166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3847756$A9B67E50-9986-4169-A290-30C5B8DC1D0B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d27591b00ed278eef9a0bc59f413b0a291db695","datavalue":{"value":{"entity-type":"item","numeric-id":2767040,"id":"Q2767040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3847756$F5CB13F1-BEEF-4DFE-984E-90AFA5365D68","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":"Q3847756$AA4CFCF5-A7B7-4494-AA72-21DF147962B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb2ff0c8850243f6c91f9deeec455d393bf560c2","datavalue":{"value":{"time":"+1963-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":"Q3847756$64F22DD8-857F-4A50-AB9D-8F5D4EE1D6FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef114b9fa21c6caa52a60e2a5d22a8b33e8b178a","datavalue":{"value":"3179040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3847756$57725F42-0403-4CAD-8EF8-84BC9CA9A356","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c63f4b05707b550cfb67a57522ffdf0a6ea1fb73","datavalue":{"value":"numerical analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3847756$20B95B0F-0517-497D-978A-98B577CC55FB","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":"Q3847756$3B1EB278-A85B-422B-991E-F8C12139BFC4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"17b167765dbf085480b7c6163fc5b0c36b1693b0","datavalue":{"value":"https://doi.org/10.1145/321160.321166","type":"string"},"datatype":"url"},"type":"statement","id":"Q3847756$2C9FDD41-35BA-4524-94BC-2F6E28636529","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"592a540446ee4c4e6b98f4f0cbf1647de1837ff4","datavalue":{"value":"W2040183410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3847756$C1D69606-D041-46C4-AFCF-15C0FFE9DB82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3847756","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3847756"}}}}}