{"entities":{"Q6064282":{"pageid":13198440,"ns":120,"title":"Item:Q6064282","lastrevid":55529824,"modified":"2026-02-17T18:18:13Z","type":"item","id":"Q6064282","labels":{"en":{"language":"en","value":"On Herbrand's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7776721"}},"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":"Q6064282$2C6BA43F-714E-4388-9515-8D893FB4F89C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc2a5cb176ac95d3a5e0bdb46bf7051ad210a415","datavalue":{"value":{"text":"On Herbrand's theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6064282$31E4D6B9-DDB1-47C6-8A6A-D100DD370627","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2428deb3023af986f77429246367cf07475a42ae","datavalue":{"value":"10.1007/3-540-60178-3_85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6064282$037B2200-F863-4F7C-99EF-EF5B32AFBBE4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"556b5f897f5d545f04c26b56d4624f5cc4b2661a","datavalue":{"value":{"entity-type":"item","numeric-id":195654,"id":"Q195654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064282$1C4EBA79-1CA3-455A-8195-48A7423A64CF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064282$FC0E7505-CE64-4B1B-B21A-92E1F1196424","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"066d1477c8c2dc8167e035c2af02788021afe714","datavalue":{"value":{"time":"+2023-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6064282$F5D38BCF-ADE0-47E5-BFC2-2683AC09AD10","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6064282$23DEEC52-3720-4B19-B565-75291558DF29","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ccb37030adfed604f46cbae2f48222a2cd3cd665","datavalue":{"value":"7776721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6064282$33CC1369-3404-42D1-BF71-A2CFD9B82310","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6064282$E3619936-2FF5-46AD-8171-501AB490A30B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6064282$6E047E19-4838-4161-86A2-91CE70E519E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6064282$17A809DF-5827-4F82-B1F1-31B4CD30BA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6064282$CEE1388A-DF1C-4824-A59B-F41F320285C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b4b279f02954f10f9c4d82ab67ccf864d5ad06a","datavalue":{"value":"existential quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q6064282$7E5B0623-1505-4A06-AB9C-CDA6D120C728","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":"Q6064282$98875B42-7538-413D-8AB5-0768A572667B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6055a9348805357b1f7292a28ce452ef980e0099","datavalue":{"value":"https://doi.org/10.1007/3-540-60178-3_85","type":"string"},"datatype":"url"},"type":"statement","id":"Q6064282$96BEEBDE-719C-4E61-8A89-5DD7B2A42D4F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d59592ad6ec3974bc69921abcbb6c0a81a94f1e5","datavalue":{"value":"W2113711982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6064282$FBCEA64C-7F08-408F-8B13-9F923DB65B16","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f59ac051da90312b45e1a154b6bcf5dbaee2e7f1","datavalue":{"value":{"entity-type":"item","numeric-id":1899144,"id":"Q1899144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064282$68F8724F-13B7-4711-8AA2-63DAB60A5207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfb67a3bed2cfe23108d69a1470dded473bcf207","datavalue":{"value":{"entity-type":"item","numeric-id":5625121,"id":"Q5625121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064282$BF2EC734-8352-49D7-BC88-08A4C0BB17E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b258ca187c81b9bb7848210f28bc59e01d56d47e","datavalue":{"value":{"entity-type":"item","numeric-id":5331469,"id":"Q5331469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064282$DC9A0D44-C24E-4342-8CEB-0A755BADD719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6c3f3ba22c16111e5ca10533d8e5ad50f4bb3a2","datavalue":{"value":{"entity-type":"item","numeric-id":5625123,"id":"Q5625123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064282$A5B2EFEF-9153-4BC7-A1F5-7CF3AB113EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f59c22417409f60955ddb4e81efe1d33f41c9d04","datavalue":{"value":{"entity-type":"item","numeric-id":4697297,"id":"Q4697297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064282$C4E56920-45F0-4B1E-AC70-B987BA5E9965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"855e761ede5bc65d1d5bf438ef81aa507f97446e","datavalue":{"value":{"entity-type":"item","numeric-id":5590039,"id":"Q5590039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064282$AD1A1623-A832-4C4D-8C16-CE7041CF2B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77351dbabf5bebdfbc98823dc61ee4a06c4f1b6d","datavalue":{"value":{"entity-type":"item","numeric-id":5625113,"id":"Q5625113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064282$D9569241-8BD2-41ED-AF4D-2B7A3617CC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6946af148f47d52c72c2eb1ea6817d1696cd28fb","datavalue":{"value":{"entity-type":"item","numeric-id":1177041,"id":"Q1177041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064282$61914A07-849F-498C-A725-276FDCE42CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d966d8fb41a3564f4060a1b833eb768ac2e0597d","datavalue":{"value":{"entity-type":"item","numeric-id":5806808,"id":"Q5806808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064282$22FB7580-B4FE-40C8-857C-C9FAE1D79436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98a0f5ab3a82f792e215192b74a3f7485b0840ad","datavalue":{"value":{"entity-type":"item","numeric-id":5809142,"id":"Q5809142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064282$76698FB8-0D16-4027-BC0D-C9666BEB6E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9887b9b79e33b21dbc3558d55c26558304b5187","datavalue":{"value":{"entity-type":"item","numeric-id":1243575,"id":"Q1243575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064282$02300D2D-E966-4823-8D50-7BBF7DF94118","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":"Q6064282$5999AA1D-BD42-4CC9-BB8E-9DBBC42AAF8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01f3c9efa192a49157794cc5646843be5e89451","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064282$5552D2BC-ACEB-4CA1-88F7-B94BC108920C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0c45ca7e85b7fc779ac39c5df64bc8fcd404d7c","datavalue":{"value":{"entity-type":"item","numeric-id":5687325,"id":"Q5687325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064282$E4127FAD-2622-4EB7-B206-126784AA633C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4daf52e3bc61acbb2507b45254f144ee7b4f798a","datavalue":{"value":{"entity-type":"item","numeric-id":3690794,"id":"Q3690794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b8f958334474d77e1d0c1b1a438002f9246f285","datavalue":{"value":{"amount":"+0.8270560503005981","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":"Q6064282$62309D95-4A8B-4127-B275-CD7005A110A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a346cc7391b3124b47922db21bccc3493f530ec6","datavalue":{"value":{"entity-type":"item","numeric-id":3483288,"id":"Q3483288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00ef3c86a364ad424c2113394db6c34063948baa","datavalue":{"value":{"amount":"+0.8220182657241821","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":"Q6064282$5BE47566-887B-40BB-8957-9CC49947A6B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a179aba301de4d6774067799de16d6584050fbb9","datavalue":{"value":{"entity-type":"item","numeric-id":1942097,"id":"Q1942097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82a7d5ec79d4f3308194e39d264d931758a2ff8f","datavalue":{"value":{"amount":"+0.8182055354118347","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":"Q6064282$FDF996E9-E58E-4FC6-A080-7A3D829AD751","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":"45a123590048333a23d3fc8e9d83da9a10cc2071","datavalue":{"value":{"amount":"+0.8073018193244934","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":"Q6064282$E4847F93-3DA0-48F0-B8F7-4E785E0C8FCB","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":"5e888d52c48ce9d4f4118be89898f6c7dfcf04d9","datavalue":{"value":{"amount":"+0.8042824268341064","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":"Q6064282$8C0CA7BF-0389-4DFA-9118-D1DCD107694F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6064282","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6064282"}}}}}