{"entities":{"Q4773313":{"pageid":6802893,"ns":120,"title":"Item:Q4773313","lastrevid":74614536,"modified":"2026-04-14T23:36:16Z","type":"item","id":"Q4773313","labels":{"en":{"language":"en","value":"A New Class of Automated Theorem-Proving Algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3449774"}},"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":"Q4773313$C4B9D7FF-BC7F-4923-95DB-2F1C18B61ACB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68cdbe940c48bafc14b67e93e02c7b1118f7e11b","datavalue":{"value":{"text":"A New Class of Automated Theorem-Proving Algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4773313$AD57BD6A-12A5-4CB0-B797-EFD9CD778C7E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f6a6a870ce344d992142718ddef2e1215242835","datavalue":{"value":"0286.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4773313$73F13A19-C6E4-4C2C-9DE4-8020D3313F12","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71650cdf179f694a8a6035161985ff2c43cb6af0","datavalue":{"value":"10.1145/321812.321814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4773313$80EE4C2D-AA29-4699-BCD8-4C30D372A0DD","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":"Q4773313$E84FEEC6-4E32-4D91-8545-D515D47C078E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"718868df62fa29cb04609217d34e1254e53a40d9","datavalue":{"value":{"time":"+1974-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":"Q4773313$65444D1D-E64B-44D5-8CDC-B7C5710ED099","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4773313$AA8F273C-B54F-4ECA-A263-5644D40CA27B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99233dca1cd0ab0c43309d88251a75faa6a30f28","datavalue":{"value":"3449774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4773313$6FF9C09F-52D7-49B1-90E6-D532D60222F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"49c1eac4057968c5fe949fe3628039d4be0f36fd","datavalue":{"value":{"entity-type":"item","numeric-id":1165593,"id":"Q1165593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4773313$4EB9CEB1-E83D-4747-8DD6-828F6C265841","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":"Q4773313$CA73E5F4-8970-4026-98E1-839060A14B24","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8088bf07c4643f9c4c7a4ee3c67fa174bbcd5ad9","datavalue":{"value":"https://doi.org/10.1145/321812.321814","type":"string"},"datatype":"url"},"type":"statement","id":"Q4773313$D2B9B015-6A55-4CBC-9BF5-CAD5407AC73B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"00aced879939ee27bb231503882ef6775fac96e4","datavalue":{"value":"W2063042358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4773313$044FF275-AE7D-4474-9570-7D7C6CF81092","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A New Class of Automated Theorem-Proving Algorithms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_New_Class_of_Automated_Theorem-Proving_Algorithms"}}}}}