{"entities":{"Q4291028":{"pageid":6320629,"ns":120,"title":"Item:Q4291028","lastrevid":88659995,"modified":"2026-06-04T15:06:54Z","type":"item","id":"Q4291028","labels":{"en":{"language":"en","value":"Herbrand style proof procedures for modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 563255"}},"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":"Q4291028$F26CCDDF-17AA-4036-8C64-CB644EF74E57","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f19240cb49cd31dc774cab3beda5ef2a97b7e4b3","datavalue":{"value":{"text":"Herbrand style proof procedures for modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4291028$0547676F-BE75-4352-9296-C3FEAF8DF141","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0f6fb5f55581f00140e67ba8bb350cec2712e8a","datavalue":{"value":"0796.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291028$69AE44C8-9B34-4699-A01E-DF68EC53113C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"187def6eeb69618ed9783509a5c4af105065e241","datavalue":{"value":"10.1080/11663081.1993.10510808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291028$FF31B0C4-7475-47F7-B7E8-8BF7C5D89502","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59e85c5db1a6961ef0897daa8abccf0b647303a8","datavalue":{"value":{"entity-type":"item","numeric-id":229749,"id":"Q229749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291028$15E59E0A-FA6A-401D-B775-70D577BE7B7F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291028$0E9967D9-D179-4DBF-9282-7EDD4B698405","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a07e8af38f76d1e005ebe63136b3f3c24a5ff2b8","datavalue":{"value":{"time":"+1994-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4291028$FE3AB1F7-0992-4F0D-8338-12EC8424022D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291028$02FC5FCB-6DE1-4A7B-97AA-4AA38FE5F9CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291028$2CFC46F6-9FE2-4ACE-95E0-C92DA01C8F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291028$412C16B2-BEB1-41C4-8FD6-2580656FCB70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291028$65B854C8-8CB1-4715-BCAA-CA6F877298DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24ad5842ee7b69ec085f4bd360638a1d8c8102e0","datavalue":{"value":"563255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291028$5003494E-857D-4206-AD0D-51C531974EC4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5769f84567140350a4b1207fe4e7a3ef04bed83f","datavalue":{"value":"Herbrand's properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291028$DABE9C1F-38AB-4754-97BE-A766471E9801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"604b554b09f0b9b32891721e8a9c5c499e57dc67","datavalue":{"value":"first order extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291028$43AE7ACB-B853-4A93-9AEA-77A285B69652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c9977afeaac4d053aef4e5b5c50df2441a2faf8","datavalue":{"value":"resolution method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291028$31339790-7E54-44B1-88E8-454458E1A7AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291028$863D314B-7FDF-4CE0-BAC8-0BD68355FCEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291028$1678C102-7347-4960-96D1-A75819BF3839","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":"Q4291028$8F5D44BB-EFC2-420B-BEF7-D9CDB34186C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a85d61bb1f10648cbe50a8b29667b4fdb2a39e1","datavalue":{"value":"https://doi.org/10.1080/11663081.1993.10510808","type":"string"},"datatype":"url"},"type":"statement","id":"Q4291028$57970170-FAB1-4E5D-B782-96DBCBC7B1B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6570ac5364cfa97bf89d4a2c370c749def8bcb9e","datavalue":{"value":"W2071490614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291028$AFC05F42-750F-4BDD-AF6D-9BD91F3DD6C6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2747d10da3351289d1b17c903ad4959bea6af896","datavalue":{"value":{"entity-type":"item","numeric-id":3030268,"id":"Q3030268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291028$C17656E3-C02B-4A99-A771-F143BA3B6D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eef4100c19f58a69356c3826b3f771e6c157c13a","datavalue":{"value":{"entity-type":"item","numeric-id":3717022,"id":"Q3717022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291028$48A40E95-7793-4D61-A72D-A01C00EC1BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17a03c875a0784cc3ec907b605fe9e299aca2166","datavalue":{"value":{"entity-type":"item","numeric-id":1178699,"id":"Q1178699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291028$2D3B5E79-1145-4B31-BD18-C09D663335AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291028$14DDA3BB-1623-4400-A617-65763DE3151A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17da60b7f6b4e22bbe7045d12697c8bb0702b06","datavalue":{"value":{"entity-type":"item","numeric-id":5604443,"id":"Q5604443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291028$C07E00DE-F03D-484A-9C2E-CD6D43D9BC72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c89e08f8e981b15d9e994bd9b66679f47871eb79","datavalue":{"value":{"entity-type":"item","numeric-id":5528627,"id":"Q5528627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291028$3D9B4418-7EF2-4FE0-B2A8-099D554DD1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fce0e7b92e2dd7189877c09d710424762dfb9960","datavalue":{"value":{"entity-type":"item","numeric-id":3030269,"id":"Q3030269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291028$EA1E4916-35F5-459B-A874-5F861933891F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bade6a36335738f89d892b702a4106b53a340bf1","datavalue":{"value":{"entity-type":"item","numeric-id":3791114,"id":"Q3791114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291028$3AB39C54-A359-4887-908B-A906167A245B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3652d520789475601e366029ce7b257ab62a1ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5905909,"id":"Q5905909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291028$949DB6ED-7560-446E-9D4B-31B31EE655D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f999aa51a14a76c278d3aa7291ee8ddea4148e2","datavalue":{"value":{"entity-type":"item","numeric-id":3717022,"id":"Q3717022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5216899710eec8fb4a6aaa0ea26b168500961a6d","datavalue":{"value":{"amount":"+0.8929538726806641","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":"Q4291028$6BDF8773-D870-47F6-BC1C-C5CCB2F42B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03ee7a85143a03c8ab9bc1797f0afa1755e73c63","datavalue":{"value":{"entity-type":"item","numeric-id":4332417,"id":"Q4332417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7664159f44b6e54c1e3b18218a7b90f553a94b4","datavalue":{"value":{"amount":"+0.8345531821250916","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":"Q4291028$AB3E6D85-2593-47E7-BB5F-1C08C12CE116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8f224617a51a1d4e4d508c109efa999bab49997","datavalue":{"value":{"entity-type":"item","numeric-id":4942001,"id":"Q4942001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35d5ae0c4ed013b4825b142fa051df1f778c57db","datavalue":{"value":{"amount":"+0.8290436863899231","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":"Q4291028$0550837F-7319-4B1A-B82F-B557648A01E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"878c40185ef8793f4b2c6b23e206ffdc354f49d1","datavalue":{"value":{"entity-type":"item","numeric-id":3030268,"id":"Q3030268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37690a815208836dd0f4d3dfde4ddc7693c1a27b","datavalue":{"value":{"amount":"+0.8192295432090759","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":"Q4291028$DCA5C8D9-73CE-41F7-895F-805310C4C962","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Herbrand style proof procedures for modal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Herbrand_style_proof_procedures_for_modal_logic"}}}}}