{"entities":{"Q6560159":{"pageid":14171314,"ns":120,"title":"Item:Q6560159","lastrevid":55692394,"modified":"2026-02-17T21:07:00Z","type":"item","id":"Q6560159","labels":{"en":{"language":"en","value":"Semantics of non-terminating rewrite systems using minimal coverings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7869515"}},"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":"Q6560159$DDAA6C6C-BA14-47E1-81EF-F633A0AE1B91","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29d5c98648f6e9665a447ddad36f2f3692aa0ccc","datavalue":{"value":{"text":"Semantics of non-terminating rewrite systems using minimal coverings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6560159$823CDF82-18ED-4339-A998-4A9408E873DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1cacb5259b4ab6382c93cf72f6aede29c400ac32","datavalue":{"value":"1540.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560159$7D5D51D8-7C31-4461-8017-BD2FA8856676","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da6a27ad2be2f1ea325a86091e90b013409d1218","datavalue":{"value":"10.1007/3-540-61377-3_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560159$A3FE3378-A06B-4584-B29D-07C177DB637D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"33c6de353a64c672b6682f599416b00f2ceafcc7","datavalue":{"value":{"entity-type":"item","numeric-id":6150033,"id":"Q6150033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560159$E97B0D9D-145D-44F6-8D85-54F0790A3D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d158e95d9652c2d0191af4ccea1d07838d2e8021","datavalue":{"value":{"entity-type":"item","numeric-id":241052,"id":"Q241052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560159$15652140-87B2-406E-8FEA-ABE3D51DB6C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f537c6f80ef2272fb77fcdfce306448ca22994d","datavalue":{"value":{"time":"+2024-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6560159$339EB9DA-8F8E-4AB6-8DCF-6F9F39030DBB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560159$A7E78623-43A9-4B21-9532-589BDAC19DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560159$CE39FD80-C55C-4E46-BBD9-DDEF1474F75B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d455924b5df8094e8d286468c2f7627c985834b6","datavalue":{"value":"7869515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560159$2B7E5096-5251-4745-BC87-08BC7ACE6E91","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":"Q6560159$77AC9D57-5556-4E71-BD58-AE07CCEB4674","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7f0f87fa003fc86f84c772dc3053954d363a163","datavalue":{"value":{"entity-type":"item","numeric-id":3208066,"id":"Q3208066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560159$31B8346B-426D-4BA2-B1D7-0E4BB12F2A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40ec4abd703ba69c5dfd86055856e539b441f730","datavalue":{"value":{"entity-type":"item","numeric-id":1229897,"id":"Q1229897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560159$20BF23DE-6051-4ACA-8E37-439603B9C274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"698a4c070589a05d5209b2e8418c45ae0419220a","datavalue":{"value":{"entity-type":"item","numeric-id":3851585,"id":"Q3851585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560159$6269910C-D2BB-49AC-A2E8-BCCBC21952B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3006b5dee5bcadfac4b9f65d6860d72f75e2f535","datavalue":{"value":{"entity-type":"item","numeric-id":3880309,"id":"Q3880309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560159$047E26F4-5403-4286-830E-DDD564C56EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0065dc8b5c25773ef1d9719266c7992d0edd4dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4131619,"id":"Q4131619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560159$D5766708-CFA9-4A9B-B6A4-FEDBEE2D1C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560159$FA9F050B-E8FE-49F1-ADB8-F36B3170A94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560159$8BECB6E0-CE5F-442F-B68A-9A5C7AA56B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47887b51bb71d03f5d015de9e3f52fc32bc9e63e","datavalue":{"value":{"entity-type":"item","numeric-id":5055744,"id":"Q5055744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560159$CF93E514-84DB-4B78-AF75-A224BEEF230B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96c13b7dc1ec9779b586f48b9496b9f2cc616b30","datavalue":{"value":{"entity-type":"item","numeric-id":3938467,"id":"Q3938467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560159$DA7E1EFC-6419-423B-87CE-B42A803AE243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560159$3EAF06B3-4C8D-401D-B365-8B57BBCA1954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1178087fa59d8bd99d0bacddba2556fa09cad05d","datavalue":{"value":{"entity-type":"item","numeric-id":3893265,"id":"Q3893265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560159$94FD94A2-C933-4229-8A8E-8B4BB2E1DF96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dc652843da6299630628ccbfc6f02ce53dcf019","datavalue":{"value":{"entity-type":"item","numeric-id":3721784,"id":"Q3721784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560159$4DB653DB-CEEC-473F-A068-1D24A02F1B38","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7678c7b70137e8ca67893ab5af55c697779b173","datavalue":{"value":{"entity-type":"item","numeric-id":5055729,"id":"Q5055729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1110028012a5b8e13acb60bb96232d00b3b00177","datavalue":{"value":{"amount":"+0.804378092288971","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":"Q6560159$3A531E89-FFDE-48F7-8329-40746053BA4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11a2118a6b2bcbb8fad1a79b434f4422bb6a0c35","datavalue":{"value":{"entity-type":"item","numeric-id":4205073,"id":"Q4205073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5c7f1bf26441e385e8fe25ecff395b80b0de382","datavalue":{"value":{"amount":"+0.7705504298210144","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":"Q6560159$CD5C0F66-0A5E-47E7-B6EF-12BE37B9C9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d16720e44981db9dcd27fc623ad94c11d272ccc","datavalue":{"value":{"entity-type":"item","numeric-id":3750994,"id":"Q3750994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd6444c6d41a2496ff3dd30850a965060c9b4112","datavalue":{"value":{"amount":"+0.7601053714752197","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":"Q6560159$A2A6E88A-61E5-41AB-A177-CE2E8202A7C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebb9888aac49fca20e557ba55d9fe21cf06b3e7b","datavalue":{"value":{"entity-type":"item","numeric-id":2778880,"id":"Q2778880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a685dccb8ef56d421952e78ffa97507472c05e8","datavalue":{"value":{"amount":"+0.757663905620575","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":"Q6560159$F6056100-8BC2-434B-95B5-B373D271299C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b3310851aa24514bbd28e1e11371d473f5432cb","datavalue":{"value":{"entity-type":"item","numeric-id":672235,"id":"Q672235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"120a5b3fbc558e6ffc6b3506c2ce9ad332148fed","datavalue":{"value":{"amount":"+0.7554545998573303","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":"Q6560159$47E0BD1B-2BA4-4ED2-A931-4FCEDE08EE08","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6560159","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6560159"}}}}}