{"entities":{"Q4329274":{"pageid":6358875,"ns":120,"title":"Item:Q4329274","lastrevid":47778436,"modified":"2026-01-02T16:20:41Z","type":"item","id":"Q4329274","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1735911"}},"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":"Q4329274$2C1D9722-F708-4808-B6FB-F70146C88C6A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a1b93887e19c5f48d1c767a10a8a0fc28c4cdf5","datavalue":{"value":"0993.03087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4329274$36229307-E075-4E89-9AD4-D471DD43ACB5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"381ddcb86e65a2a07830e4a1bafeb6cc481b7472","datavalue":{"value":{"time":"+2002-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4329274$5CD4A702-23C2-4704-AC4F-DC42997E07A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4329274$7C933DBE-C08D-41A8-8BE3-E58569DA2CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4329274$73CC7F59-27F6-49F1-B6CD-D0730C63AD64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4329274$802D47E1-AC40-4030-A980-841E4315C0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4329274$CA06E94E-1EAE-453B-8C10-B8A26B9C37B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74b93a5b74f9e1fe6137e4ce7934e16cf62ed14a","datavalue":{"value":"1735911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4329274$2C1BE855-1EB1-438F-A7E0-38959218DD16","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b57c832f4b21b0ae9151495d8a971f39ac6c1824","datavalue":{"value":"validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4329274$F85BBCC8-02BD-46C8-989B-4B2F346E9334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0eb3fbab07047c5791ba72a7b75887d8555dc9b7","datavalue":{"value":"relation algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4329274$88701807-7220-4A36-BF80-1D18F06583A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c68cf5898a5f08f3e3cb0489ed98d482c1b8bf9","datavalue":{"value":"equational calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4329274$A9E19DA9-DC1E-48B6-AEBC-F38E9DA494BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4329274$D87AE76D-4C92-4712-AAB6-15E528955C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66a547826b69c675b656da420513820b64d763c6","datavalue":{"value":"finite-variable logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4329274$F4EFD7A8-78C3-4C7A-8093-2B1BE60F9F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55a6a84515fba32d28d5c23994a1c60e12a78f17","datavalue":{"value":"cut-free derivability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4329274$B6A998E6-92BB-484E-8661-2EB7B6AA92CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9090eae54307f4cb4926123be61b267a50c76f98","datavalue":{"value":"term-rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4329274$569329FC-59D3-4331-B414-23D0F3F076CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4329274$AA755A21-B09D-4519-BF74-7D24729128EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da91d821e6afd5fc2acad321f0aa06b2e18cae96","datavalue":{"value":{"entity-type":"item","numeric-id":1147136,"id":"Q1147136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4329274$D607FD72-3DB4-4502-950A-00D76D8D13D0","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":"Q4329274$469152E3-FDE7-4283-99D2-07030E88E70B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38f3050b317e347f95916ef9d95f017c7c95f5a3","datavalue":{"value":{"entity-type":"item","numeric-id":4835905,"id":"Q4835905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e898088dba04a390fd0e15b7ae1a77f18d7aed0","datavalue":{"value":{"amount":"+0.7884761691093445","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":"Q4329274$ED008944-A032-4C56-967A-B8D10AA9D193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a42c4a9d6c15cdbbd91944aac4b9d8b23c319f43","datavalue":{"value":{"entity-type":"item","numeric-id":4032669,"id":"Q4032669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b21c7dbe7c792993f03041b6520973d66870a18","datavalue":{"value":{"amount":"+0.7858399152755737","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":"Q4329274$83587B17-E1A2-4133-A323-61A39EB28CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66c8b70769ed794d8b48d98bf4ed74e99fce7476","datavalue":{"value":{"entity-type":"item","numeric-id":4362918,"id":"Q4362918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22056e6c2892cd7bde7f2d2ce0fc63aa3849ab99","datavalue":{"value":{"amount":"+0.7830781936645508","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":"Q4329274$F42DA830-8378-4631-A884-D97312EC9006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"353bddc263192ea6c66cc0e0a6b7975b822ee61f","datavalue":{"value":{"entity-type":"item","numeric-id":4246973,"id":"Q4246973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceced785f3808eabb65a61a7c768cebbfbc4d8a2","datavalue":{"value":{"amount":"+0.7741842269897461","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":"Q4329274$A2B85847-A9B6-464C-BE67-EBAAA90B0754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8abfd7d163f725b618c6a170aecf3337c560d3c","datavalue":{"value":{"entity-type":"item","numeric-id":5234720,"id":"Q5234720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceced785f3808eabb65a61a7c768cebbfbc4d8a2","datavalue":{"value":{"amount":"+0.7741842269897461","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":"Q4329274$A0C5E38B-FCD3-48A7-8F64-2D7F069219C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4329274","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4329274"}}}}}