{"entities":{"Q1853590":{"pageid":1864332,"ns":120,"title":"Item:Q1853590","lastrevid":74322504,"modified":"2026-04-14T19:31:53Z","type":"item","id":"Q1853590","labels":{"en":{"language":"en","value":"Relaxed models for rewriting logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1857115"}},"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":"Q1853590$D25CE8D8-8F50-47B5-BC2B-60488A168A25","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"14114f5074c66c69e0d060ebbf6247d7ad8596d5","datavalue":{"value":{"text":"Relaxed models for rewriting logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1853590$9CEBFBB0-7039-4E2A-813F-CC53534FCB9E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96e157a3e3c711e4c5b71b686618874efd1ed636","datavalue":{"value":"1018.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853590$D0467A88-7197-4496-9393-C6EFB1ED8CE7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f00847ab067a9fe3f0744fa808797c484a7f8196","datavalue":{"value":"10.1016/S0304-3975(01)00331-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853590$266F6C60-B579-4211-AADC-C1C20CC09A32","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0a54b19aa26970eaaa1ec809a9eee1a0531ed1a","datavalue":{"value":{"entity-type":"item","numeric-id":493519,"id":"Q493519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853590$89D076DF-11A5-4773-9B37-C6A1679B7715","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853590$28A6ACE5-04CF-4A14-B2C4-7624C71616CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5b5e42af6f5e314fbfeffbcec47ae99c9eed44fd","datavalue":{"value":{"time":"+2003-01-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":"Q1853590$9B63D37B-9506-46DF-8107-3C3916E10511","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853590$04B514D2-469B-46A6-BE9F-20D0C62F3A87","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e3097c4187d8f0ffa4861b4a0522fa612733aaf","datavalue":{"value":"1857115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853590$8DAAAE86-DBFD-4B22-B944-923380FE8F18","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302e7bd67d2646d1e0615c1195ca61ad56775360","datavalue":{"value":"rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853590$C97A5EBB-A491-4847-83AE-40ACD217E623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9af33d17bd4addb46a1a8303b7f9fd4ec1397b36","datavalue":{"value":"relaxed models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853590$C7014575-0D12-4B6E-B60B-ABECD88ABA45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c56c05f14e0b56bf58bb291f552e2c6b27d829d9","datavalue":{"value":"categories with algebraic structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853590$64BC5870-2BE0-4463-8A2F-3251112677A3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9cc08f1ee64c2fc0d984a8fe54c7c857eeb0cc4","datavalue":{"value":{"entity-type":"item","numeric-id":18366,"id":"Q18366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853590$6CB87BCB-BA5C-4BE1-8471-19D69E30A831","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":"Q1853590$6CE3616F-6C67-4ABC-9D49-CC82EF0D824D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"685b6f2241ca731964008614149743ea5d098bf5","datavalue":{"value":{"entity-type":"item","numeric-id":2715825,"id":"Q2715825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853590$267E156F-13EE-47B3-B509-687E1D316BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e6f07efcb42aec7000ac3b727af9347dd10a31f","datavalue":{"value":{"entity-type":"item","numeric-id":4934346,"id":"Q4934346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853590$04E598F8-A824-4506-944D-9B97EF0C6AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853590$BBA09461-BA7F-429B-9A1A-54265406CF93","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":"Q1853590$93F1BE4B-F57C-4CF9-AF07-509DA09EB870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2d7892fe9feccb20e05037849becc76af71cd61","datavalue":{"value":{"entity-type":"item","numeric-id":922720,"id":"Q922720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853590$97788BE7-B12A-4908-8EA9-1F497DB3979B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26979ea7383d5f9146226ea2a4011ae9a37a9955","datavalue":{"value":{"entity-type":"item","numeric-id":678825,"id":"Q678825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853590$0E5DF285-91A9-4D2F-A5CD-5988664D612F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ebad142680ea0de124d0e755966b4efdccca316","datavalue":{"value":{"entity-type":"item","numeric-id":1898465,"id":"Q1898465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853590$D93CE901-0D02-4353-AA50-BA2D97363EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ba41f8ecd77f0632e922eba4a8dc824d5b88c3b","datavalue":{"value":{"entity-type":"item","numeric-id":3773301,"id":"Q3773301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853590$3B1593F3-9E97-4E3D-B831-CA8BAD4CCF58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77834770e77402d45e3b436ca1c7633e82f8fa52","datavalue":{"value":{"entity-type":"item","numeric-id":5096741,"id":"Q5096741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853590$4D3A76AA-5172-4184-AD65-EC96FCAC994B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1f2f6c5c039847f875a2452ab3e4b0729a5565f","datavalue":{"value":{"entity-type":"item","numeric-id":672052,"id":"Q672052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853590$4BA75E96-0FC5-4E74-AECE-760B472FFEA9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ab7efa23779f831ff589efbd7a5e581053cb980","datavalue":{"value":{"entity-type":"item","numeric-id":2703697,"id":"Q2703697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a81edf48b24ca4850d1f36641f6e780339b76fc","datavalue":{"value":{"amount":"+0.7398679852485657","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":"Q1853590$8441231C-17AA-446E-811C-6F237B28E767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8ca76787caafbbd6eb743b3d43531583f05c942","datavalue":{"value":{"entity-type":"item","numeric-id":5055833,"id":"Q5055833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1e63cf9173a682210b463a76e8254a7e3799023","datavalue":{"value":{"amount":"+0.735594630241394","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":"Q1853590$E045B30E-460A-4BF7-8B47-915D038A6D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ac60332a3bb8ecfc0bc4804ab58a9bd247ba526","datavalue":{"value":{"entity-type":"item","numeric-id":2503334,"id":"Q2503334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90fed2e3cf44c4e1be5fcf80276ad8f51d839a4e","datavalue":{"value":{"amount":"+0.7321180105209351","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":"Q1853590$A1DF9281-A5B3-4A55-B43F-A70025F1A169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcf2ebb3d6bb1ac84f0902a9bdba8790d22e2a68","datavalue":{"value":{"entity-type":"item","numeric-id":5710410,"id":"Q5710410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cd341879a407cf5e6cb4441bc77516d677bc0fb","datavalue":{"value":{"amount":"+0.7318413853645325","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":"Q1853590$7D25916D-71FA-4EA1-B087-D67D8A3CE32D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c258e25f3203eb7e6bfcfe9c250e699bd064464","datavalue":{"value":{"entity-type":"item","numeric-id":4263840,"id":"Q4263840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4abf049cae2786df1eb4bdc3deffec48f389d61a","datavalue":{"value":{"amount":"+0.7298983931541443","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":"Q1853590$370C1205-4D9B-4B27-A2DB-926C11906822","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relaxed models for rewriting logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relaxed_models_for_rewriting_logic"}}}}}