{"entities":{"Q5881302":{"pageid":7910853,"ns":120,"title":"Item:Q5881302","lastrevid":101837324,"modified":"2026-06-06T02:58:50Z","type":"item","id":"Q5881302","labels":{"en":{"language":"en","value":"An universal termination condition for solving goals in equational languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7661668"}},"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":"Q5881302$55784788-CDE8-4130-BCDF-04A92FABE9F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d3827257c91f159fa12a58c153e16935424f43f","datavalue":{"value":{"text":"An universal termination condition for solving goals in equational languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5881302$EE2EBF20-5930-48BE-8299-4AD24CC052FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ca9e9596f1d7edc60cc4e2343f367fd5ecdf0cf","datavalue":{"value":"10.1007/3-540-54317-1_110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881302$E02A02C8-6D58-4500-AFCC-13DDFEE40E78","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d30012f8d988e247e826e9f3d4c6036cac134096","datavalue":{"value":{"entity-type":"item","numeric-id":3761664,"id":"Q3761664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881302$FAB078D5-EB7F-4EEF-8430-A31A72457AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9767b5b02c3d21309acfa96fb2fea7c671f14bb1","datavalue":{"value":{"entity-type":"item","numeric-id":4896516,"id":"Q4896516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881302$136156FD-8FC0-47FD-BC8C-0ED4CAB8661B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f0ac8fdde3d93fa89a700a5855350b3593bf3f2","datavalue":{"value":{"entity-type":"item","numeric-id":998541,"id":"Q998541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881302$F1ED753A-4C65-4AFD-B120-C1A9F97F736C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4a4b5901641e74cf791bcdabc63125c8cff24565","datavalue":{"value":{"entity-type":"item","numeric-id":5881262,"id":"Q5881262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881302$D928010D-4DFC-47BA-AD2C-FA72E3F10B17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa71b3b2a7b7ab0138de60bd723d67e92e6e5110","datavalue":{"value":{"time":"+2023-03-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":"Q5881302$515C0E97-A217-460C-A3D6-6D57B5B6C178","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881302$1C6A457E-C3FC-4022-B2D5-DAAC6C337345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881302$22816535-2158-4388-93A3-68BCE28DFB78","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5ec87c5768a430fc373eda064948c08014a1111","datavalue":{"value":"7661668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881302$275F6CA4-CC87-4F27-95F5-0C75352DC3F9","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":"Q5881302$E9A90A2B-A098-46E2-9155-AED579E7FB76","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b837a663ee84da01620404c6f9bab1290c8031d","datavalue":{"value":"https://doi.org/10.1007/3-540-54317-1_110","type":"string"},"datatype":"url"},"type":"statement","id":"Q5881302$421FE188-1180-4827-B746-6B14DB098B79","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4e6e16749eaa39b7ff39ea67d96e209a7bab4be5","datavalue":{"value":"W170571015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881302$CB25576C-777A-4EA3-953E-F3E0C1F1F388","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881302$E0515742-C2D4-41D8-98FE-0236C098618A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"878d0cf3806a5845f931422b646e88e6f9f50943","datavalue":{"value":{"entity-type":"item","numeric-id":3703288,"id":"Q3703288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881302$1C13F370-45C6-4107-9D8A-CFA816160EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2871639e828f04ffbb15f1dfa2ab373ace2db13f","datavalue":{"value":{"entity-type":"item","numeric-id":3817652,"id":"Q3817652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881302$C0ECB678-5032-4286-BAF8-5505CB9F502F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7629cff1d47a7e2f0aa6a231f9bd7e749d5e67ca","datavalue":{"value":{"entity-type":"item","numeric-id":3761667,"id":"Q3761667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881302$1F26F70F-610C-450F-975B-AD8031BA1917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aa80180d2b637ed45ce99d0a3160b0b2727285e","datavalue":{"value":{"entity-type":"item","numeric-id":3782762,"id":"Q3782762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881302$19FECD0C-B6B0-44EB-B610-C1C1C3487C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e9acb750b5a1fcf5fe08b591fc6df182dd9e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":3883561,"id":"Q3883561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881302$2BCC6828-3735-4F32-A6C1-51E997D8DF5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc38d5f7a802e9ea35c5abdf22fc0003a899e4fd","datavalue":{"value":{"entity-type":"item","numeric-id":1100891,"id":"Q1100891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881302$B0806C6F-A416-4176-BD94-115E60BBF94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881302$0A1C05EF-1563-4D73-9D1E-E61BA3D81E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2aa8636068110e60d9c08dbf3263f79ceade6721","datavalue":{"value":{"entity-type":"item","numeric-id":3820053,"id":"Q3820053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881302$1E0449F6-67F8-40AA-8E7F-87B44150B90F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881302$E2D379B4-3A7B-4012-AD31-A5EEE88F44E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67a3d5521b29996331a45ad34eb7677199d8821a","datavalue":{"value":{"entity-type":"item","numeric-id":3817652,"id":"Q3817652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfe692a8e0c2467db0d606918b18856df40cc4db","datavalue":{"value":{"amount":"+0.92238706","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5881302$84A5C328-B3E3-44FD-ACF7-AB7E2E51B9D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"112cc9d2b2ae618c483d79ff6bd60781ce090d40","datavalue":{"value":{"entity-type":"item","numeric-id":2753692,"id":"Q2753692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab0f5f89215787fc93cacaf9ba5fb3a05e07f87c","datavalue":{"value":{"amount":"+0.8657528","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5881302$45ADD74C-1F72-4A9C-9D84-32DACD293D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05e29e47ae59b643a8b13a7a0d0eafd7a7d8fdab","datavalue":{"value":{"entity-type":"item","numeric-id":5898535,"id":"Q5898535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82193193e59d625f1b2da818f9d50917e4281bf7","datavalue":{"value":{"amount":"+0.86288464","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5881302$A6574D37-3C25-4C90-A699-4370973E1AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e0337194e443d10e848130d88804fc6a3f10aa3","datavalue":{"value":{"entity-type":"item","numeric-id":3655204,"id":"Q3655204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbfac1d7de7ab3a944b6ed484ada1fd93fd61d39","datavalue":{"value":{"amount":"+0.85159326","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5881302$CC613466-2F5E-4BAB-BD3A-3B9A7DA52FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f36ff9ac44cff62d695c21359737c98ca98b122","datavalue":{"value":{"entity-type":"item","numeric-id":2277873,"id":"Q2277873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dedf5308d86c35ffa725eaab09aea1960d4f3734","datavalue":{"value":{"amount":"+0.8510012","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5881302$E171BBC3-ED5E-4A0D-B12C-A4304143DD72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95d88b6c0e576c87447c074da4e0022a9001e1e9","datavalue":{"value":{"entity-type":"item","numeric-id":6114511,"id":"Q6114511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b6a96362379821766093f7f5a0d4dd899e31d6c","datavalue":{"value":{"amount":"+0.84233093","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5881302$737A3E1B-F40E-4C6B-872F-08D9577F5CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a905257a1ec112c784a57059114230cc933fa9c8","datavalue":{"value":{"entity-type":"item","numeric-id":1121676,"id":"Q1121676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"055d2e0c22d2513fc438d505de3e7daecbcb1b99","datavalue":{"value":{"amount":"+0.84182096","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5881302$BD1C5CF9-3FB1-4680-B62E-EE19C55199E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97270c598360e6f23809fae87f3c1d2cad5a82b0","datavalue":{"value":{"entity-type":"item","numeric-id":6487297,"id":"Q6487297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dfcd04678579fe9edf4799341cbac53bb54ff93","datavalue":{"value":{"amount":"+0.84171486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5881302$C13F1068-8D41-427F-912A-976E02801CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85405f5dea6fcd97e1208d64569a313bc70b9f76","datavalue":{"value":{"entity-type":"item","numeric-id":5940923,"id":"Q5940923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cdeefd40b0f96e3d19248d3aa5377f93995712b","datavalue":{"value":{"amount":"+0.83939326","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5881302$E1D837EC-B2E6-4840-AA14-C39FD2AB3DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8df62fda8c544bbf2d6a98f13f0f772befc8732c","datavalue":{"value":{"entity-type":"item","numeric-id":2988362,"id":"Q2988362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efedf0aa8036ed428acf55f7dd0e9b177c15cfe1","datavalue":{"value":{"amount":"+0.83583206","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5881302$314CBA4D-3226-4FAC-BE8D-7DFA126591BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An universal termination condition for solving goals in equational languages","badges":[]}}}}}