{"entities":{"Q1147114":{"pageid":1157863,"ns":120,"title":"Item:Q1147114","lastrevid":66951567,"modified":"2026-04-12T13:56:36Z","type":"item","id":"Q1147114","labels":{"en":{"language":"en","value":"Herbrand deduction search strategies in predicate calculus. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3702594"}},"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":"Q1147114$A220018A-7873-4EF5-8FC4-F775A9E363C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65bc612c38198a41b574509c8747bbca423de146","datavalue":{"value":{"text":"Herbrand deduction search strategies in predicate calculus. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1147114$4FF716B0-2DB8-4FD2-AE6B-EE7E7CA7C702","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eac170a738f7239d06cdc3362d24a932a80bf305","datavalue":{"value":"0449.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1147114$380006E7-D139-4FE8-B8BF-BB6760CDA58D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0fdade3f0c7ee4fd4d663e45d223c8ecd28abed","datavalue":{"value":"10.1007/BF00972009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1147114$7E595607-9690-4FA5-BB68-4F22F8F74013","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aedf720352fcca932fab3523c4bbcafd7c4c7cdb","datavalue":{"value":{"entity-type":"item","numeric-id":1104176,"id":"Q1104176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1147114$DE41E5AC-1D88-4656-AF35-5A36F1B442B8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6eae2a8f4ab11bae8edce7ff6ed79c3ee5c09211","datavalue":{"value":{"entity-type":"item","numeric-id":90731,"id":"Q90731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1147114$489BA0E2-596A-416B-BDFC-129881407567","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q1147114$1EB0EADA-8B23-4607-83C6-55A71431015F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1147114$7D7A6809-9026-408B-8E6A-E6622361FEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1147114$10DCA273-3425-48C1-B81F-951D70F498F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1147114$3DC3AB28-1AE2-4133-B2D3-06C7C4848B43","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6572c3e20536011dc5d4e69994b2b364576c4c2d","datavalue":{"value":"3702594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1147114$45DE5B9C-FA98-4554-824E-A291A6B491BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a465f305be69c0b5cbb213ad839cf5eae2ecd94","datavalue":{"value":"Herbrand deduction search strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q1147114$C308412F-EFA3-4DB2-8DC3-1BA615FE6B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41fe4fb0021d4be0609641891f02b4d30803a2e8","datavalue":{"value":"recursion-theoretic analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1147114$9DF10B85-817D-49C0-92FF-136EF3946D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1b8085052b0edb44237da5a37effdb2ef761c98","datavalue":{"value":"stronger deducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1147114$EEBE9DA1-97FE-4BC6-9E15-1F5BB563E81E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1147114$38E6C79B-6A3E-4A4A-A5C9-C700782EAB40","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":"Q1147114$56D84FF3-BE68-45FA-9CDA-D91E856DB772","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b4ce30ad0da1066aaa7a220f5571d7c297cd63d","datavalue":{"value":{"entity-type":"item","numeric-id":4133601,"id":"Q4133601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1147114$9467EE1A-95AD-443E-A2C1-A6D0A833CF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9880b94a230fde4c0270dde04aeb2ef6caba7159","datavalue":{"value":{"entity-type":"item","numeric-id":4132487,"id":"Q4132487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1147114$AB7647B9-4075-4439-8DAA-0AF77AF5946E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4771c2d0f583b52678813d4aaa9e48c6072d90a","datavalue":{"value":"https://doi.org/10.1007/bf00972009","type":"string"},"datatype":"url"},"type":"statement","id":"Q1147114$43097B75-F372-4709-9762-55626D5B0C08","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da818c6f3c13f8aff1d32ec9b12fd917e1996e4f","datavalue":{"value":"W2132139100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1147114$F965D351-89EA-4E35-B516-5D427BAA0CA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Herbrand deduction search strategies in predicate calculus. II","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Herbrand_deduction_search_strategies_in_predicate_calculus._II"}}}}}