{"entities":{"Q2847822":{"pageid":2858542,"ns":120,"title":"Item:Q2847822","lastrevid":51821684,"modified":"2026-01-20T05:27:07Z","type":"item","id":"Q2847822","labels":{"en":{"language":"en","value":"Predicate and relation lifting for parametric algebraic specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6207622"}},"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":"Q2847822$6E97E202-5245-4288-9FF6-0520463415C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7004939125bd76cd5dbcbd78e8618705c454831d","datavalue":{"value":"1271.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847822$AE318E39-F097-4031-9306-2E7D74D2C48E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6997ab07e7932b481a649bf1d5271ce569949f23","datavalue":{"value":{"entity-type":"item","numeric-id":835771,"id":"Q835771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847822$E05614B4-E462-4C2B-8718-33B6D622C418","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7fc63ddad5a8e5398cdc0fb5eaa54d5d147370a1","datavalue":{"value":{"time":"+2013-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2847822$2F4D0B3D-6D94-428D-A03F-78977149B4C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a248857ecfa3c0bd501d206342952132bd1050f8","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066104051837","type":"string"},"datatype":"url"},"type":"statement","id":"Q2847822$7763A736-802F-4C33-BA0B-8CF93E4FC69A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847822$A93B4BE6-38D0-4D82-8DEE-20BFC7425CBE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd627359d01ab130a850608471711260f586a942","datavalue":{"value":"6207622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847822$A914632D-3ACB-4431-9AB2-AF2DC834A937","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":"Q2847822$115DCD3B-1F74-489C-B2C7-4FAB82099B6E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba26a7e16d772fdf38a5a86b964d769eda5b6066","datavalue":{"value":{"text":"Predicate and relation lifting for parametric algebraic specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2847822$BC81CDAF-0429-45A7-8DC4-7D337E1ACD17","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f06d0baa48aa7fbf082f0e404915b263b1cf745","datavalue":{"value":{"entity-type":"item","numeric-id":299182,"id":"Q299182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"670a2b616b17dc6cea3ed1d4041d69d777c488fe","datavalue":{"value":{"amount":"+0.8203091025352478","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":"Q2847822$24A1C408-8319-467B-B7AA-2131362148B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09f456768a330b3f43a8015f2fca35c640a5aa33","datavalue":{"value":{"entity-type":"item","numeric-id":2848944,"id":"Q2848944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06dca175b9bb26044bffd165fab259539f24d0b8","datavalue":{"value":{"amount":"+0.7870003581047058","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":"Q2847822$A5D7EF92-D204-40CD-88D0-6776E433075A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"926ff86643a8cfb7be85831329dc299d27c0300f","datavalue":{"value":{"entity-type":"item","numeric-id":2914681,"id":"Q2914681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac7dc108a593c91a7f8568ae6e827a34b8ee6da0","datavalue":{"value":{"amount":"+0.7834545373916626","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":"Q2847822$7CFCA211-C68E-4485-8205-20C899ECE03D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3adfbe0b27b5b469893f1f28c42620e9d066cc7","datavalue":{"value":{"entity-type":"item","numeric-id":2341702,"id":"Q2341702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d07b186a00b6ad02d574604d5062428b7ecfdee","datavalue":{"value":{"amount":"+0.77793288230896","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":"Q2847822$40E354CC-1FAA-4B77-897A-47996DED5CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db36308d4189bb119849f435e5617cee21e358a3","datavalue":{"value":{"entity-type":"item","numeric-id":2856480,"id":"Q2856480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e866c9f05d00294b3e38108447c922c92ee18f6","datavalue":{"value":{"amount":"+0.7738437652587891","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":"Q2847822$3904A4E7-6209-417C-A772-55E31DFAFFA0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2847822","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2847822"}}}}}