{"entities":{"Q5434503":{"pageid":7464067,"ns":120,"title":"Item:Q5434503","lastrevid":50242652,"modified":"2026-01-13T15:23:33Z","type":"item","id":"Q5434503","labels":{"en":{"language":"en","value":"Density Elimination and Rational Completeness for First-Order Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5223568"}},"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":"Q5434503$EED97D75-70B4-4D71-ACD1-9BEA3A99E84E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5fa776d802ee9e56d431ce693f23b9a5f5a3f3c3","datavalue":{"value":{"text":"Density Elimination and Rational Completeness for First-Order Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5434503$5D0457BF-43A4-4042-90F2-335AE35DC62B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c930274c4d2db8040b0d1df7cc8b83998221828c","datavalue":{"value":"1133.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434503$1EF2B714-F0A8-4610-BDD2-88D8486C4549","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f814c2b20cc26d06686d00dd68c1a78069446fb","datavalue":{"value":"10.1007/978-3-540-72734-7_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434503$747AA3C9-0574-48D2-8ECD-119FF8D6B2B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb4465c1e4c8de201e147387c933ac41a7d412d9","datavalue":{"value":{"entity-type":"item","numeric-id":385018,"id":"Q385018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5434503$3086AB79-92CE-46FB-8945-9F50C903B38A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0287ccefad5d85c7c53fa2410e6e3a92c27fb528","datavalue":{"value":{"entity-type":"item","numeric-id":287482,"id":"Q287482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5434503$39F5CAD8-3A79-4E09-8CFA-490AA52BFD14","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6b43984c3ba3f1d3c26edd57f10023672b3ba492","datavalue":{"value":{"entity-type":"item","numeric-id":3455829,"id":"Q3455829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5434503$3CC8432C-4D05-4882-9FC0-92990DDE5D6E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f5704c6280b1f69fc5c7b22503b1ed12496a29","datavalue":{"value":{"time":"+2008-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5434503$688621ED-B51F-460A-A199-FCFD0F56A8B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434503$9C1F7CAC-6540-46A5-9EF1-0B896EC54062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434503$F3981F6A-1338-4612-924D-B21080A707F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434503$BA2DEC66-36C1-4347-B31C-D7855C95C6EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a45c41c0f7152fd8924395117146f4a31a156b24","datavalue":{"value":"5223568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434503$2DD2CD71-08C7-4246-B80F-2AF2D6816A16","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":"Q5434503$B5787E3B-D1D9-4C06-9DA5-9F52A129B1FE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"92e907079a3baf26529334118d860afcebb981c2","datavalue":{"value":"https://doi.org/10.1007/978-3-540-72734-7_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q5434503$99308B84-CFC7-4539-A1CB-4130D95855B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4549e12bafc7caf375ca90fde5b004fef8a67aff","datavalue":{"value":"W1488621088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434503$BB9EAC29-95C5-45AE-8731-EACDEE77A65F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8b97264f1e77a0a61d8f9490ff16c1742833d88","datavalue":{"value":{"entity-type":"item","numeric-id":944384,"id":"Q944384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db12705e6a329290def876c0912a419c64e56b5b","datavalue":{"value":{"amount":"+0.9040625095367432","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":"Q5434503$FD751270-D039-4CED-9447-716914DE789A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da5179163c08a214e80029dc628819449a2b1261","datavalue":{"value":{"entity-type":"item","numeric-id":4840168,"id":"Q4840168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32e95c3d565c1ee07eac8f096190e98f542714f8","datavalue":{"value":{"amount":"+0.7334281802177429","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":"Q5434503$1513354B-37D9-4E4B-9850-0189835A1290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0a7f5d33dcac8a5c692a947f863eaa52dc89083","datavalue":{"value":{"entity-type":"item","numeric-id":4828042,"id":"Q4828042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"824ee87311b66efa7b17cb506fe2bbc2b57cb275","datavalue":{"value":{"amount":"+0.7309455275535583","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":"Q5434503$7E5FB219-4D10-4B3B-AECA-94B7C8CF39D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae3516a91cd7d6d402577aedea849e41c45273ae","datavalue":{"value":{"entity-type":"item","numeric-id":2753673,"id":"Q2753673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"969ea682a5abe9aa82b2fcbfdb7006e039646617","datavalue":{"value":{"amount":"+0.7235962152481079","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":"Q5434503$63D89AFC-F9F4-406A-AD7F-DCD56AC11CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cafcfd237663bdb61516eab14a0543120491c291","datavalue":{"value":{"entity-type":"item","numeric-id":1699744,"id":"Q1699744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67b30c338b57e259ec5213c2cb17ebe5d89e2c13","datavalue":{"value":{"amount":"+0.7231706380844116","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":"Q5434503$CD2ED212-3C6F-4843-A5E7-903955A0C79A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5434503","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5434503"}}}}}