{"entities":{"Q4005178":{"pageid":6034998,"ns":120,"title":"Item:Q4005178","lastrevid":55167037,"modified":"2026-02-04T08:21:05Z","type":"item","id":"Q4005178","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 58292"}},"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":"Q4005178$4F057D21-D781-430A-A276-1834EA624F1F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"75b93754d1fbda9dc3885589415a07c52ba11f2e","datavalue":{"value":"0757.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4005178$B61DB941-4245-4FA0-AAE1-46D01EEE65B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1be1e97a61ec61b6b5428ec7bf911ab8a63c8c39","datavalue":{"value":{"entity-type":"item","numeric-id":389935,"id":"Q389935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4005178$0A4E1995-C402-45C3-A0A8-8170BB78DDAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d00fa627735b22d11a5ec2028150137b2160228","datavalue":{"value":{"entity-type":"item","numeric-id":404009,"id":"Q404009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4005178$E9F60A1A-1BB5-4A5C-BF03-CCB4DC701677","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4005178$2C76B5FB-7C54-40DD-96BB-287361A18AAA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4005178$AD13F6DD-46C1-4107-99D4-01624F0EED15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4005178$271FA2BE-8820-43FA-B003-425B24454363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4005178$17F11077-6D84-4DE6-A187-95749C5CBC02","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0519f1141d6bf8e7693f2878f95e57e03d97d1e","datavalue":{"value":"58292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4005178$BB9FC05C-73C3-48C1-92B2-24CD6065822B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64eaf746f8323aca7f8e059d49fc382a5ad50bde","datavalue":{"value":"Church-Rosser property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4005178$FD3BE728-D6ED-471A-A3C8-0E543537EA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4005178$F64B2D52-996C-40CB-AF2B-2D81E495B095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e62232b82579bc25d13592b542e6001eca67427","datavalue":{"value":"theory of equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4005178$DBA134AD-1539-4E3A-B8BD-6294BF86F772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4005178$E56D055C-2157-4373-8979-3DDAB6A90AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6e5d73ef69f6fdbe03c9767d4caf36436f4b07f","datavalue":{"value":"ground term rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4005178$93602376-3F81-4D1F-9C56-773C4F10E61A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85f840ce5119480b895ac664a10de6f0a19316ae","datavalue":{"value":"congruence closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4005178$B308E3A8-0909-4FE2-B0F4-525368A9AE87","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":"Q4005178$C717284D-690F-4B62-89C6-409D0E71A642","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9e0778371f8759a20353529a6729efb5197e1c0","datavalue":{"value":{"entity-type":"item","numeric-id":4904142,"id":"Q4904142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a47f93f7c1127678cb0a89c2841bf5ae078a551","datavalue":{"value":{"amount":"+0.885617","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4005178$8D113DC1-EC10-4369-AFB0-08F6A5E44E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e6a2aa462c9ec8fcc3cbc82a7a94e5b7cb14ceb","datavalue":{"value":{"entity-type":"item","numeric-id":2803061,"id":"Q2803061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0844a2dcb8eb05f8a90a2bde35634b9602a6198","datavalue":{"value":{"amount":"+0.87143695","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4005178$40B6C525-1991-4746-BAD5-D0D5CEE3FFDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e502e7d343be0687628e87e4bdc9e8d406190f31","datavalue":{"value":{"entity-type":"item","numeric-id":1401322,"id":"Q1401322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85cb9da45f71d3e693761857291e9d9cc032f84e","datavalue":{"value":{"amount":"+0.8218958","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4005178$E4BF46BB-1000-4BCB-A71B-74140B066FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"872cdd01bef894050eb6c99aae927b655902847c","datavalue":{"value":{"entity-type":"item","numeric-id":4866585,"id":"Q4866585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e79d72da96eff49d95989567176eeebc21dd8bd","datavalue":{"value":{"amount":"+0.8214341","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4005178$4A462901-8598-4417-9B7B-7EE5FAD05AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f72d4116d823a59d64e156820479bb3d14da773d","datavalue":{"value":{"entity-type":"item","numeric-id":3484358,"id":"Q3484358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c65184eecc99a2a710f1c2c499b254f3b5bf73a0","datavalue":{"value":{"amount":"+0.81867677","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4005178$BC9C2408-932F-4901-9602-E7AF671FD4E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44711d42c681a35e8d4b1ac9ad95ac0942098432","datavalue":{"value":{"entity-type":"item","numeric-id":1575250,"id":"Q1575250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb34c5adf0382888819a63876102082f087501c7","datavalue":{"value":{"amount":"+0.81250834","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4005178$57051288-CAAC-4BD6-8ED0-D6EDD5548AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64ffb0b171a162ee9b87c8446bdabea4106305c6","datavalue":{"value":{"entity-type":"item","numeric-id":3358240,"id":"Q3358240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66928f96dbfcadb23da548689095e26dfd41af9e","datavalue":{"value":{"amount":"+0.8086872","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4005178$FDF228E0-5A90-4091-8350-6451749839E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e10ee0e73de9e33f04e1f066780f797f8216a90d","datavalue":{"value":{"entity-type":"item","numeric-id":4890709,"id":"Q4890709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2276a0d082f166cd1f1538bd2e3a585aef632671","datavalue":{"value":{"amount":"+0.8001238","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4005178$39A299DD-71E7-4E31-A40B-241D92BADEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b06dfac1f68b3fe4b6e5c3f67b0d2ee353d8d81","datavalue":{"value":{"entity-type":"item","numeric-id":3400560,"id":"Q3400560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fe91f8d54d2c123002f86d4ae62f70e5d6e3547","datavalue":{"value":{"amount":"+0.7978644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4005178$CE5B7E77-D4CE-48EF-8F36-FA6B29EFCBBE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4005178","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4005178"}}}}}