{"entities":{"Q5055873":{"pageid":7085450,"ns":120,"title":"Item:Q5055873","lastrevid":47786080,"modified":"2026-01-02T16:51:35Z","type":"item","id":"Q5055873","labels":{"en":{"language":"en","value":"Decidable approximations of term rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631305"}},"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":"Q5055873$454BEF86-2C8B-4304-861C-C382C1C0F7C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b966d44f315d811903938b5dc5f14a88fda3f92c","datavalue":{"value":{"text":"Decidable approximations of term rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055873$E1DF381C-B391-4A7F-AFB6-DE44D78F4BB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"33f2f623e97671f3787a8ea934bbc708d0781432","datavalue":{"value":"1503.68117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055873$DDDD4CE2-0B38-4DF2-9157-93FB3AE53DCD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6764801230874c7706941acacc50412697e28728","datavalue":{"value":"10.1007/3-540-61464-8_65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055873$12EB3751-5736-4806-860B-0685A6F7E485","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3920c2ee987eac94563e155e27382f1dec3b4ac7","datavalue":{"value":{"entity-type":"item","numeric-id":420847,"id":"Q420847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055873$08A7F9F6-EEFF-410B-861D-4936C409CE48","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055873$92A2449D-806C-443F-8352-FAB576F744CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055873$9969BF2D-7439-41DC-9A21-0992C932BE40","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055873$E6F8C4A2-DA94-496C-BD25-B14B68A6B0EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055873$0E60D1E3-1F07-449B-B893-32C3FCD653F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055873$3161F7FE-69B6-4C54-BFDA-ADD6B3E166CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78745f7be5c8fe259526eeb8dad79b90d4894901","datavalue":{"value":"7631305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055873$A7514A0C-4A20-4372-9151-7F6EA3A31E53","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":"Q5055873$14D6F0FD-BAA2-40CA-95E4-6A179A65CF74","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0290e4dfff01ecb907f3451b448c0a6696089dfe","datavalue":{"value":"https://doi.org/10.1007/3-540-61464-8_65","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055873$5E45A433-C09B-4CC2-9541-088FA4345C04","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a4dd41e1adf54b10cf4f5442ef7048ca16034c25","datavalue":{"value":"W1551719154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055873$58C0BE08-0269-4EDC-BFE5-7FB5D5AA6FFE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d777c8f3869fd6e45c1229fa3cd33c422ea5d099","datavalue":{"value":{"entity-type":"item","numeric-id":4705604,"id":"Q4705604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055873$D6F40312-7A72-4E4C-988F-783A2B9060FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31ef24bde393b5b122827c8fef325e32e7955eca","datavalue":{"value":{"entity-type":"item","numeric-id":5055715,"id":"Q5055715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055873$54B05DA5-E1F5-4320-91DF-2FBA2AFDE381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efbc318032cec747535bd0c6935dca630a9056d4","datavalue":{"value":{"entity-type":"item","numeric-id":918215,"id":"Q918215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055873$A302757E-178D-4626-A76B-0D91157AA365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a5a19332cdd7c221673f31522d65352fc9bc422","datavalue":{"value":{"entity-type":"item","numeric-id":3917482,"id":"Q3917482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055873$FAF9F7D1-1BBB-488D-BCC5-23596F8BC760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055873$03A8C8BC-CF52-4539-9D66-DE6FE07D3677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20b2d686cee4a3c3f8b34fe98b0a4b4dfce7fd2c","datavalue":{"value":{"entity-type":"item","numeric-id":1082092,"id":"Q1082092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055873$D49E45DB-9D81-45CF-A674-E90457AD5F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0079b0c7d694a397659be503d6216c85129b1bb1","datavalue":{"value":{"entity-type":"item","numeric-id":3323279,"id":"Q3323279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055873$60EFFD49-220C-4D08-A4E6-48C61BF8288A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055873$B2ECD080-B749-4957-A368-39C8B746746D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5147416ec2161493d5545370272bdd687c6708c","datavalue":{"value":{"entity-type":"item","numeric-id":1186735,"id":"Q1186735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055873$BA0C73B7-AECD-480F-8364-660E4D19243A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e202c2e5edec59f40988e7812684954e5a84808f","datavalue":{"value":{"entity-type":"item","numeric-id":4705608,"id":"Q4705608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055873$6008FC73-4163-4D9C-8CD2-670554E47545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afeb0f83cd312b85fe56fb7478df5d39cdcc16d7","datavalue":{"value":{"entity-type":"item","numeric-id":3780429,"id":"Q3780429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055873$B6B4CE26-0619-4C99-95C8-43D22F2A755D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c985d0abe9bfdc8e0e5759e75dd8c3a31efa1717","datavalue":{"value":{"entity-type":"item","numeric-id":4037688,"id":"Q4037688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055873$4A8FDB0A-16FC-457A-BC79-E5CCA07A761D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84339eb1b9200fd0bfaec4876ec88a12251ced16","datavalue":{"value":{"entity-type":"item","numeric-id":4919632,"id":"Q4919632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055873$79685156-64FC-4E53-B4B3-1680C5D9391C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"864b7f7bf650ef05eb7243b8bc84b176bb85ce98","datavalue":{"value":{"entity-type":"item","numeric-id":4938609,"id":"Q4938609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df6cf0d620ceb62584d57b74dfdb128902c409ea","datavalue":{"value":{"amount":"+0.8946075439453125","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":"Q5055873$74F44FD5-F7C4-4EDC-B342-77617E5E6704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8e82d63c62c8fd85efa07f1d46ae69b9a64296f","datavalue":{"value":{"entity-type":"item","numeric-id":1400714,"id":"Q1400714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"444e508daa5005a436b54ca0f9f58a5fc8da6ac3","datavalue":{"value":{"amount":"+0.8916198015213013","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":"Q5055873$198B3A6D-9B3F-4909-BDBF-CA8822395E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49f026de1768067d5029c958be5d4e7a715aee57","datavalue":{"value":{"entity-type":"item","numeric-id":4035665,"id":"Q4035665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c15b802b5baa94c5ee0532fe948e57cf7eb1738d","datavalue":{"value":{"amount":"+0.7986907362937927","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":"Q5055873$5491DB1D-188F-483F-BDFC-3CE03B436F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b91831c7d4052e98f092129f0775168916802cb","datavalue":{"value":{"entity-type":"item","numeric-id":3780429,"id":"Q3780429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"264b32414062032bad92f7830041d6e6f76246f6","datavalue":{"value":{"amount":"+0.7984219193458557","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":"Q5055873$DDB0F63D-FC93-4802-AC4E-94C0721FEC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e73edcb0a82005327c983df17a9bf74946991822","datavalue":{"value":{"entity-type":"item","numeric-id":5234682,"id":"Q5234682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34c5df599f6a390b490de939984b107c0b2bd518","datavalue":{"value":{"amount":"+0.7974997162818909","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":"Q5055873$74CAC794-18EA-4A8B-86F2-06B4CF0ECE3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5055873","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5055873"}}}}}