{"entities":{"Q1157923":{"pageid":1168672,"ns":120,"title":"Item:Q1157923","lastrevid":66399756,"modified":"2026-04-12T09:49:34Z","type":"item","id":"Q1157923","labels":{"en":{"language":"en","value":"Completely non-clausal theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3740790"}},"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":"Q1157923$B3BD2054-2565-42AF-A533-7076F4466C40","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8675e39c1fa12066dfc5e7eaf9335be77fffa6a0","datavalue":{"value":{"text":"Completely non-clausal theorem proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1157923$C343101B-41A7-4745-A1E0-9E5229FB1113","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ecb17cff196a045959c3b4869f5e63e354f2ecac","datavalue":{"value":"0472.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1157923$B9AD138B-5B3F-4BB8-B35F-CFC2F64A47A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35ef24e843336107a0cfe4203605363f20566020","datavalue":{"value":"10.1016/0004-3702(82)90011-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1157923$C666689D-CF45-4770-8C0C-C08B78907EF2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0aee48f57bacf44e01af9bc56c6eda958ae06c8","datavalue":{"value":{"entity-type":"item","numeric-id":211660,"id":"Q211660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1157923$F0B410B0-DD4C-44EF-B72F-F92435C7E6D3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1157923$788548DF-6683-4CE8-9C1C-F44452D8F228","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q1157923$26EF48DD-5AC5-42F3-A335-C73F938C05A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1157923$98A5FE75-F452-4C89-AC95-7CABFE0CD515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1157923$6BD5B271-5A03-43DD-922C-899986F7C847","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7bbf71879aa701474cbbbe5274f58d7fe89021d7","datavalue":{"value":"3740790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1157923$AF94DC00-4DB5-44C9-86A9-2D3093F83BD5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7506c439174b0ca0f236b09897f425eb07013460","datavalue":{"value":"quantifier-free formulas of the predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1157923$71209607-97D3-4F7C-9033-931D7283DE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd3432b92861aac30738fc90adddbbadefd83b2c","datavalue":{"value":"single inference rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q1157923$DB61B723-C723-476A-8094-3C59C3E44C9D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"db7308769ef393ceee5afe1e8cd8c142e54f9854","datavalue":{"value":"Q56515254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1157923$74A2E5D1-5641-42A1-954F-8CE414317594","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":"Q1157923$2EB2535A-DFCF-4CAE-8265-B34D9CEDFFF6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"35985de6bcfffea97c1433c5d583d7f16957c345","datavalue":{"value":{"entity-type":"item","numeric-id":4131707,"id":"Q4131707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1157923$9271AE44-83E5-4361-9850-ABB324FF25D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f09c8478424162622e2e11cbade44966513eb5d","datavalue":{"value":{"entity-type":"item","numeric-id":5621960,"id":"Q5621960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1157923$945C449E-B50D-4DFC-85DA-F6C2C9F656E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c77dc933c73e4695de7ff6375817b86b37737aa","datavalue":{"value":{"entity-type":"item","numeric-id":3922132,"id":"Q3922132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1157923$D92F8E98-814C-4927-A147-B45C3E0E0A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4a18c9be85115cc170432a50905e61cdb1300d5","datavalue":{"value":{"entity-type":"item","numeric-id":5585003,"id":"Q5585003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1157923$0190221E-FF5E-450B-B136-01550CB19386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1157923$573B48FE-4A44-45F2-B6B6-76A20473425D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbab2b7d1f3671e912aa877cbe2ba846e7989411","datavalue":{"value":{"entity-type":"item","numeric-id":3233196,"id":"Q3233196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1157923$2BDE7E46-14F1-4E3C-B709-D81F48E27815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b886f7f1ac1d4a5b255f041662b7e6c37553090e","datavalue":{"value":{"entity-type":"item","numeric-id":5548680,"id":"Q5548680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1157923$F14C517E-7FDA-4897-ADF4-921019533E70","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completely non-clausal theorem proving","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Completely_non-clausal_theorem_proving"}}}}}