{"entities":{"Q3335722":{"pageid":3346430,"ns":120,"title":"Item:Q3335722","lastrevid":45991333,"modified":"2025-12-21T10:18:57Z","type":"item","id":"Q3335722","labels":{"en":{"language":"en","value":"Automated Theorem Proving: After 25 Years"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3867263"}},"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":"Q3335722$1C286A51-BA2B-45F1-A4E5-65B60E8E8A43","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f60a13af1c5804d1edfa27edd7b674641409624","datavalue":{"value":{"text":"Automated Theorem Proving: After 25 Years","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3335722$EAD20422-8286-4EA4-B474-5A47E6A026D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a89c0c294fb3c0ee946e90c7e74d50561f55360","datavalue":{"value":"0545.00023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3335722$88CA4B70-F972-4346-8D23-C7A34009DE7E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f6de8dbeb3e618b8d493ebd1dee2e1d7575fd85","datavalue":{"value":{"entity-type":"item","numeric-id":2709280,"id":"Q2709280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3335722$B94E0F50-BDB2-42DF-ACF0-31AC352D59B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3335722$8CD88184-584B-4330-AAC3-60247F7F3ABB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb92a23a58a049f3c204d4eddc79bea9d2a42861","datavalue":{"value":"00Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3335722$37A19AA6-FFA9-4F22-AC82-25FBD71BA42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3335722$CAAFFBB3-5B39-4DE1-B22B-75E73DFE6BF0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"333f82e221b21bda0898b40dbb869a00d8ccedc6","datavalue":{"value":"3867263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3335722$2AC66B0D-6E79-427E-98C3-CEFE21F02378","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85745d8965112db9a93755ffbfbc90c80e630c0b","datavalue":{"value":"Automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3335722$66FE1C46-C3A1-4B27-A6CC-DD5E12469630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"742acadec2058a1daf33969cf122f1e00d23a668","datavalue":{"value":"Theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3335722$FD9E78F0-5ED3-40C7-A89D-C5853AAA346B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q3335722$A22392F3-9525-46C2-9FF3-4BF23C2C3F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e390d0376cb6d753ea7c1c4a22af195131d6492c","datavalue":{"value":"Meeting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3335722$356B3CDB-AAE9-48BA-8BA2-D0EF9C765F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9707eb53a7413bfd44974a634a69d8405e838fc8","datavalue":{"value":"American Mathematical Society","type":"string"},"datatype":"string"},"type":"statement","id":"Q3335722$D1A1219A-C73C-4608-8F39-785511866608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6c2b55f949566a653cc4afbce67369bc5d1a732","datavalue":{"value":"Denver/Colorado","type":"string"},"datatype":"string"},"type":"statement","id":"Q3335722$D004B99E-5361-49EF-9593-5AA73F42F45E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2c120fb1fb960202eaf5dc0e54b003b91e22c929","datavalue":{"value":"Q56814467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3335722$CC116E10-B588-4490-9FD8-5FCC7BBCB01C","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":"Q3335722$390DF4B4-B5BC-4FDE-A745-2327BD968F52","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41a6786876e1d3e0ef5665c675de8b374e12aaa7","datavalue":{"value":"https://doi.org/10.1090/conm/029","type":"string"},"datatype":"url"},"type":"statement","id":"Q3335722$192B9DAB-80E1-4F01-B36A-F778BB2CF336","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"879b678b677f2e106f47d9ea378e38dcd8ab8914","datavalue":{"value":"W2035169567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3335722$66E890CE-9731-4186-BF15-2870A04DAA30","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"662792040b195010e09cdf1444a19268cd15eef6","datavalue":{"value":"10.1090/CONM/029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3335722$638521FA-1987-421F-A5E8-3ABA8F259D57","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3335722","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3335722"}}}}}