{"entities":{"Q2551695":{"pageid":2562438,"ns":120,"title":"Item:Q2551695","lastrevid":72769398,"modified":"2026-04-14T07:43:02Z","type":"item","id":"Q2551695","labels":{"en":{"language":"en","value":"Experiments with a heuristic theorem-proving program for predicate calculus with equality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3371626"}},"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":"Q2551695$F4D9FB02-FED2-48E8-88B0-033A4DAC88B9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93ce5f333a387d9beaa2d2595bddeea200cea2da","datavalue":{"value":{"text":"Experiments with a heuristic theorem-proving program for predicate calculus with equality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2551695$2E208F15-01D4-4941-81B7-67A6092DAE15","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23e705ade9ad293886c82faccec02de15da52fc7","datavalue":{"value":"0234.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2551695$AB9F90E9-D746-4157-93DB-E73B3D4D9C03","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e16d106ce961af2419f99f88c53497c976d0bea6","datavalue":{"value":"10.1016/0004-3702(71)90013-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2551695$893D41BE-5944-4BFF-A120-94BAC481DE49","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"57db8f188e20a0f9d59e5ce5011286ff5a221689","datavalue":{"value":{"entity-type":"item","numeric-id":2551694,"id":"Q2551694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2551695$9118E33D-AC70-4B01-B5D1-747370731126","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":"Q2551695$FAA8F4D2-864E-4BEE-8176-C1B688974693","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"652ad65ffdd573691be68fbfe67aa0cdf6812549","datavalue":{"value":{"time":"+1971-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":"Q2551695$5AF6D2A2-5847-41A5-B9F9-40D180A4914F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2551695$97D67812-5FAA-433F-8069-2E2337485CCA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a5d8294c66308fef2609e22fbb0eb44ae24a32ab","datavalue":{"value":"3371626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2551695$36A218D4-E642-4BBD-BC9B-3D562610632F","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":"Q2551695$82C3EC1E-FBA2-4067-B869-5836711A9349","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"06433d16e81613019021ac4d71a50587846b2d28","datavalue":{"value":"https://doi.org/10.1016/0004-3702(71)90013-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2551695$9D22CC74-669D-4C21-AA44-28C863334CAD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b15fcfad85af467386b022996b456d7a512bdaaf","datavalue":{"value":"W2013565918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2551695$10C35FD8-CC7C-4DEE-8F98-D8A25444DE36","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5ba7db293ebaee9aa1ef89b96577a438c7ecefe","datavalue":{"value":{"entity-type":"item","numeric-id":5624685,"id":"Q5624685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2551695$59E310D9-A539-4F06-B21A-077FF5717A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e0ec301a2daa50bbddaee495d81db74f852f2b","datavalue":{"value":{"entity-type":"item","numeric-id":5613968,"id":"Q5613968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2551695$88AAC205-874D-449D-9D90-71D053502067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33120ae1c57e0f2f7a4bfd99b86bab8f2ace918f","datavalue":{"value":{"entity-type":"item","numeric-id":5649990,"id":"Q5649990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2551695$FBC73DBE-2FAE-497D-BC78-A344BB67D407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febe5bf101c3b7d6dce19439eb466caa5715de79","datavalue":{"value":{"entity-type":"item","numeric-id":5624683,"id":"Q5624683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2551695$50E9B4A6-834C-4C01-99B1-EF805BDA3F42","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":"Q2551695$381BD16F-7385-4067-AD6F-8AA4C8800A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e58cbc1e56b628df8261f3ac69dac62d8347493","datavalue":{"value":{"entity-type":"item","numeric-id":5617288,"id":"Q5617288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2551695$7FB1B0F6-D1A7-49F7-9403-D6C1ED69AA73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47bab4f7d1b2661e9a9ca3ddc35e5a57311ad582","datavalue":{"value":{"entity-type":"item","numeric-id":5507985,"id":"Q5507985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2551695$58087EF1-3F48-48F7-8400-B00E62DF9F51","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Experiments with a heuristic theorem-proving program for predicate calculus with equality","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Experiments_with_a_heuristic_theorem-proving_program_for_predicate_calculus_with_equality"}}}}}