{"entities":{"Q3149221":{"pageid":3159937,"ns":120,"title":"Item:Q3149221","lastrevid":47991307,"modified":"2026-01-03T07:10:22Z","type":"item","id":"Q3149221","labels":{"en":{"language":"en","value":"On the practical value of Herbrand disjunctions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1805981"}},"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":"Q3149221$797B9F45-0CBD-4423-B3FF-769576F217BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f122f80263a56be3809b235d8167d3d6f3e4313a","datavalue":{"value":{"text":"On the practical value of Herbrand disjunctions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3149221$C17FE709-1BD1-498B-A4E5-C8C6A51E7578","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a815b7b78947116a134467527a98acf5f3e2cde","datavalue":{"value":"1005.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3149221$8EBAC241-6DB0-4885-BBBC-181815CE4324","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d746ebb2fd36c0adc801884f7feeb7709bf7e6ac","datavalue":{"value":"10.12775/LLP.2000.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3149221$010FA7F1-65FE-452D-A091-65F530F47FC0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d01709825b255e4a12f6da8699dedb7b1b75d28","datavalue":{"value":{"entity-type":"item","numeric-id":167077,"id":"Q167077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3149221$59EC837C-50FA-4CE0-B306-D19736FA79D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02a7550770f278a5ae7822f33ceafd222bb55c95","datavalue":{"value":{"entity-type":"item","numeric-id":2725723,"id":"Q2725723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3149221$4B105AB9-7A4E-469D-87E1-3A8577A225A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d6dbb53951f919290e376175da236c1c966ab3f","datavalue":{"value":{"time":"+2003-02-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3149221$8A330617-B985-48D4-A07A-6BDDB8F2ABDD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3149221$6C8434FB-4DB2-4902-B450-10897E290817","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89ed9d7bf7646f2ed9947b8636204335302fc993","datavalue":{"value":"1805981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3149221$A01C81FE-B7EC-442D-A52D-89A97EBD7F86","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3149221$E3FC8670-54D0-4823-8396-499A30A79DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6171df9beec115a2f264494255e0983abe161aac","datavalue":{"value":"open theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3149221$E8234E40-A306-440B-89A5-62196CD940A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d900baeef5145cbd90ef3e349754a59663bfe112","datavalue":{"value":"Herbrand disjunctions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3149221$98E0E0F5-F67F-47E1-92E0-4B18FBB1A0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a7b388fdfdedb7bc58032933a66046ba23c999b","datavalue":{"value":"heterogeneous theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3149221$5559D8EB-3E6A-48A7-B562-9B65445865CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b50f17782734c318ad6dce023d52bfb0d2377d72","datavalue":{"value":"normal form transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3149221$99EEF806-D81E-4ACD-A9D6-8033CC26FFC9","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":"Q3149221$9F6B42D1-E361-459C-B63D-707278DE8B9A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4f57ae9a0eb625b12ef643043b0fdd958bbea59","datavalue":{"value":{"entity-type":"item","numeric-id":1023053,"id":"Q1023053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"772ab1e279a17afb9f9bd2eab6a77502088770af","datavalue":{"value":{"amount":"+0.775535523891449","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3149221$5F6734C1-C34A-4895-9600-7752E8F718D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb5f2c272432537f0dfafe71266a26e4b26aea77","datavalue":{"value":{"entity-type":"item","numeric-id":3352994,"id":"Q3352994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"310e8fd3491e38029f77ec948e5fd425aba5c506","datavalue":{"value":{"amount":"+0.7735791802406311","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3149221$F3DFD9CB-CB0F-424B-87D0-1BB48CFB5E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1590ce945709859e583973741e1267839f8cd55b","datavalue":{"value":{"entity-type":"item","numeric-id":2486989,"id":"Q2486989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24ee75bb8caafc36eec7ec9ec31f306383e9aa89","datavalue":{"value":{"amount":"+0.769374430179596","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3149221$6DDB6338-7A23-4395-8FB5-66F709A1D9AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2699e2396a71aa7b2566fe9b5b81ab17d2d8ad2b","datavalue":{"value":{"entity-type":"item","numeric-id":4291037,"id":"Q4291037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8866c4e42e8b477531eac36a3bec17752a15aaf","datavalue":{"value":{"amount":"+0.7686977982521057","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3149221$B19330D6-7C27-42F4-BBD4-6BE081ABDDF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad35e901a2ba9381f48d4194c7e549f6cc53f30a","datavalue":{"value":{"entity-type":"item","numeric-id":1960430,"id":"Q1960430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdef05a04795fe6b416c8781b3ddac2cdf443351","datavalue":{"value":{"amount":"+0.766104519367218","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3149221$CE623B60-EB08-4B80-A2EB-C45065108D84","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3149221","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3149221"}}}}}