{"entities":{"Q5079725":{"pageid":7109301,"ns":120,"title":"Item:Q5079725","lastrevid":55409551,"modified":"2026-02-17T15:49:00Z","type":"item","id":"Q5079725","labels":{"en":{"language":"en","value":"The true concurrency of Herbrand's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7533330"}},"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":"Q5079725$71662CE1-6676-4775-A653-F96EF8187C59","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b71f6eba3b048fde9f5cb5eba57a0302d948798","datavalue":{"value":{"entity-type":"item","numeric-id":1744359,"id":"Q1744359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079725$2A638EE8-C3FB-4234-8781-90B461D43D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af6ed2d9d88301ad27573c1eaced6d353e375ed8","datavalue":{"value":{"entity-type":"item","numeric-id":265793,"id":"Q265793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079725$310BA9CC-599D-4EBE-A167-99B5B709F4E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84ce645d51675861424cd68ee78a78f79548c49a","datavalue":{"value":{"entity-type":"item","numeric-id":234589,"id":"Q234589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079725$E8D7D2AD-EF75-4B7D-9C0F-2D3A52C7B870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a31faab77501481f5eeb576293dcd59bdbba3a61","datavalue":{"value":{"entity-type":"item","numeric-id":265794,"id":"Q265794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079725$DCF871B3-CEA9-48C3-BDDE-8C2E1D250D7F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a86b7f6396ef59f89bc1a16a5090a2410ec1949","datavalue":{"value":{"time":"+2022-05-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5079725$38798CE4-3D62-4C88-9105-CA854F36FA6D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079725$F039A916-CE7B-452C-8201-08E218D8D1F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64246b63f77cc1afbeca2dfcef04849f7da081c4","datavalue":{"value":"7533330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079725$3F0C3514-A9BC-4CFE-9627-8E28650C69EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a09c1984b41935c0a923dca51c0af0797d5eb50a","datavalue":{"value":"Herbrand's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079725$CEDF6ADE-A2CC-488B-83B7-1452F685DA70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079725$892197D4-586D-4DAB-BDD3-6C8A1BCB8EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c798bc82d40898e5a150c07cc309b46baa155c3","datavalue":{"value":"true concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079725$A6E475BF-2AEA-4D53-90F9-3B57D6E6F791","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":"Q5079725$D14CC4F6-98F2-4B95-B8C4-FF2A7C4D8E34","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"598d99525e9a0094b9fed1dcff845cc4b8ee91b7","datavalue":{"value":{"entity-type":"item","numeric-id":1854394,"id":"Q1854394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079725$23760DF6-5236-4D5B-822C-B6C194BE2CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02ae311926901b6f1ea5640d81360ad861b56c1e","datavalue":{"value":{"entity-type":"item","numeric-id":4490745,"id":"Q4490745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079725$A795CFBB-B7AA-47FC-B5B6-DCC082420DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74db8a831e95996eb99c0e9b219812d0b0317aa1","datavalue":{"value":{"entity-type":"item","numeric-id":4006228,"id":"Q4006228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079725$611408E6-1443-4D90-B297-896D78A1C47F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28b93513215ddf49a0198629f0c6a440ca43aa41","datavalue":{"value":{"entity-type":"item","numeric-id":5367074,"id":"Q5367074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079725$93B49154-DC99-47B5-A66E-1907B1BFA0CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16a0e21049459d9211899cdc0a5ebf317dfb1c68","datavalue":{"value":{"entity-type":"item","numeric-id":2986800,"id":"Q2986800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079725$FEB6F80B-BB38-4DC2-9E8F-F6937109A951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d43aa3f7d8a349cf75c122d633ecf49f988057d","datavalue":{"value":{"entity-type":"item","numeric-id":674463,"id":"Q674463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079725$FEC4613C-3820-45B1-8E96-F0FFD94CE593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"371d2399f50a6aebcc2fc70e10f9c3ee27554be0","datavalue":{"value":{"entity-type":"item","numeric-id":4836058,"id":"Q4836058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079725$0F3B23EE-502B-4D2B-A678-D6C974451F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e84ff42267477e949575e937efae295817dbcbf","datavalue":{"value":{"entity-type":"item","numeric-id":4372906,"id":"Q4372906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079725$E36CB8BA-9580-4475-A2E8-B3FA1C87B538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd8811196806bf2c913fac5c1b7b32ffce66f0d4","datavalue":{"value":{"entity-type":"item","numeric-id":5430139,"id":"Q5430139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079725$3E138AF1-5B72-4460-8675-90334B98A836","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":"Q5079725$F9DFB723-4A93-4451-85BF-62EE1F96E81D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98492c4789301c3cc74d78c8a616826720096e7d","datavalue":{"value":{"entity-type":"item","numeric-id":2486989,"id":"Q2486989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079725$93FE8C66-9E4A-486A-8CAA-F1E5E3DE4B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079725$B155F9B6-BD8B-462D-BAB8-6C2A9AF939C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d66518f09c99314187d256b3e54c7fdc6eb07ce","datavalue":{"value":{"entity-type":"item","numeric-id":4006233,"id":"Q4006233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079725$967387B9-FDBC-4164-AA06-773D5CD35653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079725$C645658C-87E8-4D5B-8059-5FC9BB713736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5292c81996c3eb9c9cb0511bf1659b1e176124b","datavalue":{"value":{"entity-type":"item","numeric-id":636369,"id":"Q636369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079725$A5881DC4-B32A-4119-B19E-2094A90DACFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7efe3073ff4a0f00b0a8bcc533e47be023ca11c4","datavalue":{"value":{"entity-type":"item","numeric-id":5236547,"id":"Q5236547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079725$FD7F6B06-63DD-45FE-AB9A-6DF04DECE904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77765a4477c55f314baec87f180c178599579624","datavalue":{"value":{"entity-type":"item","numeric-id":4948521,"id":"Q4948521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079725$4F27A8A4-9106-4CA8-A9EE-BAB3786E96A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a6ae770783aa142e6dd68c83f480feb4b97dec8","datavalue":{"value":{"entity-type":"item","numeric-id":3075442,"id":"Q3075442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079725$F298B3B2-8E48-45E7-8715-688F3F04A37F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3c883c54531f2408f36ee69922e993f71ff8aff","datavalue":{"value":{"entity-type":"item","numeric-id":3064167,"id":"Q3064167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079725$AB4D744B-D4BC-4BED-A157-32FC085D7061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b66726964d3d433ff18e1b52294538dcbb75fa","datavalue":{"value":{"entity-type":"item","numeric-id":4108488,"id":"Q4108488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079725$B9A1FE5D-0BCC-44EA-9905-488EDFBB4EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc032892d4a94b13a994202edfb25cb5d8b8a0d6","datavalue":{"value":{"entity-type":"item","numeric-id":2946689,"id":"Q2946689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079725$1F59C86B-9C08-4274-AF31-9CFF577A54E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c74198f5866c9d20d6c144ccd76d55e0d5187233","datavalue":{"value":{"entity-type":"item","numeric-id":3525651,"id":"Q3525651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079725$D97DE8F5-8DA0-4673-A573-FC7DAB49FBD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1675ec5894a8c57acbe2bcc56434f5813617d031","datavalue":{"value":{"entity-type":"item","numeric-id":1102282,"id":"Q1102282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079725$88CB8A73-4AFB-4A8E-B9D1-17D8E7874C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"486a82a79f03043a3d1041176e0690892eebeabb","datavalue":{"value":{"entity-type":"item","numeric-id":3081323,"id":"Q3081323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079725$625A6BAD-1B56-45A8-BB9F-8CFB5F5EC727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079725$37550D1E-0D88-4070-AF24-5FBB43569923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adbf2d5b157e5fb4d1745288b32c2de045384528","datavalue":{"value":{"entity-type":"item","numeric-id":3679177,"id":"Q3679177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079725$7D4FB126-8D46-4239-B83C-1B4A4C3B548E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f86d9f5cfa728eaec66298b011d7269fca9cac","datavalue":{"value":{"entity-type":"item","numeric-id":3827993,"id":"Q3827993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079725$16A2FC90-D1FD-44B4-9B05-564F5827D720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079725$3606D2BE-2B1D-4A39-A611-9FF1227694C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56be7697af4dffc8e38aaf2912a4f00e2fd65e22","datavalue":{"value":{"entity-type":"item","numeric-id":3030239,"id":"Q3030239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079725$119DD381-065F-4867-9329-99A31326CA3F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e48f1d2bac6184cd11b931570ce1f43bd8308c6c","datavalue":{"value":"10.4230/LIPICS.CSL.2018.5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079725$8993B7B9-5C73-4C00-A767-591755BE3DA5","rank":"normal"}],"P1643":[{"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":"a9b1d79801e5d8bb6bed4ca405c8a75904e27ad2","datavalue":{"value":{"amount":"+0.7746516466140747","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":"Q5079725$60163F9C-3421-4BAB-892F-35258E8F6DCE","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":"6512530a130103649600bf0765ff1bd71c4c68e8","datavalue":{"value":{"amount":"+0.7736752033233643","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":"Q5079725$81FEF6EE-BF2A-44F2-977A-8F3928CB8811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c44e02d3ba1fb404b3e82a6a5ef631beffe17f4","datavalue":{"value":{"entity-type":"item","numeric-id":2946689,"id":"Q2946689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8d2166bf92dedb7fd3d85c8f34383f3e5677202","datavalue":{"value":{"amount":"+0.7736191153526306","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":"Q5079725$9A856ED8-57C0-468F-8E0A-7396CC057DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78e05ea5b7d7260ca535be85672730a3681c9e77","datavalue":{"value":{"entity-type":"item","numeric-id":2871477,"id":"Q2871477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9b247acf2569643b96649587472ff9379fb72be","datavalue":{"value":{"amount":"+0.7548917531967163","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":"Q5079725$A10CA9C9-3834-4459-A5A0-1E0984D10622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c343f7941d960f3d834dd8f9562be6956f5d78f","datavalue":{"value":{"entity-type":"item","numeric-id":6064282,"id":"Q6064282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6036268d1f8958cf4bd17e7a26b4f1258a9eb8e5","datavalue":{"value":{"amount":"+0.7537611722946167","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":"Q5079725$2FBEC60E-6EED-4309-AABF-3632D2335183","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5079725","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5079725"}}}}}