{"entities":{"Q3625675":{"pageid":5655581,"ns":120,"title":"Item:Q3625675","lastrevid":50648891,"modified":"2026-01-14T16:42:22Z","type":"item","id":"Q3625675","labels":{"en":{"language":"en","value":"Correctness of high-level transformation systems relative to nested conditions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5551419"}},"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":"Q3625675$1C324927-8935-452E-80EA-C5788B013EDC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"811f3049e6547e743a796a61a4b12a5f1a641449","datavalue":{"value":{"text":"Correctness of high-level transformation systems relative to nested conditions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3625675$38D6DCA0-92E7-4916-9988-53C68E761959","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe309ce0b799c273f32e3d2432463867d8e2aa95","datavalue":{"value":"1168.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3625675$AEF1CC60-E9E9-478C-8791-B4500A57802A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44d97cb38c334d16cba8209863006ac96ff12430","datavalue":{"value":"10.1017/S0960129508007202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3625675$9922187C-D861-4024-824D-0A3E2DC3B2A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7a63189eaf192793d78e7bf16147a93b90edace","datavalue":{"value":{"entity-type":"item","numeric-id":3416076,"id":"Q3416076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3625675$5B47DFD6-129E-4C7D-8B5C-97C0DDCB7018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9688c2b4abadd78a444a878d8043fe5f73058cde","datavalue":{"value":{"entity-type":"item","numeric-id":1098319,"id":"Q1098319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3625675$0BB96F69-0FC4-4AA2-95E3-2E3AA27558D2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3625675$6081B22C-E77A-4798-AE48-D50D6ABFCC28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4d5ff1dc86e495b18ee5143b26eb302034c24729","datavalue":{"value":{"time":"+2009-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3625675$193ABDCC-0C6A-4D06-8909-2ACFC5204CF0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3625675$E4CDDA29-2C8C-477E-A72E-7D723AAC4718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bed973268be96744b8db60caa0543ff50965a902","datavalue":{"value":"18A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3625675$869775A6-3A67-4E41-808D-85F83E47850B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3625675$63B8A606-A2D8-43CB-9BBF-C346CFCF9EAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b747d14b5c3dd966710518a9ad9f459dea9f11ed","datavalue":{"value":"5551419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3625675$FDB2EEBC-FE75-461E-9897-7057F53B2E47","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8f16e34283cc5dcc42dc3180c867c78d75c594b","datavalue":{"value":"nested constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q3625675$97FCFD05-F120-42C7-90DA-D5B4FFE3C7F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91f1e905d208850bd9d68c5480422313c53c12bc","datavalue":{"value":"nested graph conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3625675$6C91AA98-35F5-4B35-AC23-CF0B742346BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3625675$0295418C-493F-4F66-BA6A-A309577D56B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d8edd054109c283a66649c934a6c862181fafe9","datavalue":{"value":"transformation systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3625675$AD523BAE-B658-44DA-A854-5AB6BDE173C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3625675$0B38BD0C-7A78-4C51-89C2-13DBF02D9EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3625675$19F08A6F-9600-4C00-A4CC-2041C60ED787","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":"Q3625675$CFBD21B4-ED6F-40A5-ABAB-EEDE2589846E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c1251dc7e86f2f66a34eab88743fe38be7168c0","datavalue":{"value":{"entity-type":"item","numeric-id":3541979,"id":"Q3541979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3625675$FC929BAB-631B-43D2-9E8D-4498DF028BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbe8b98097136d65813da62e5a484a5f7126589e","datavalue":{"value":{"entity-type":"item","numeric-id":2762625,"id":"Q2762625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3625675$0F034F63-3BC0-425C-9CF2-83893BE594AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd265bdbcf41f2b9982b655d7aaf44e4072217fa","datavalue":{"value":{"entity-type":"item","numeric-id":4692630,"id":"Q4692630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3625675$08CB69BC-7476-43AD-B9E6-E21F616DFF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ae1460f6d26b2b3b3f33f9fcb8024a9f4b209f","datavalue":{"value":{"entity-type":"item","numeric-id":4006236,"id":"Q4006236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3625675$C5414273-F5E6-46B1-9F59-D15E4699E1B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d79cfc127b367730c102b1633fce64a1c6d9664d","datavalue":{"value":{"entity-type":"item","numeric-id":5403460,"id":"Q5403460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3625675$6CE2F3B9-520B-4E85-B98B-C7C463230899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8c1fc1cba4ba1655719af96e6d5bf9f7679da74","datavalue":{"value":{"entity-type":"item","numeric-id":5460000,"id":"Q5460000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3625675$E2EDB705-28C7-441A-A05E-C63059A80D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0099e31e1dc5cd920c9effe974dd2b2026e19d8a","datavalue":{"value":{"entity-type":"item","numeric-id":685460,"id":"Q685460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3625675$72252DB3-A150-48B5-9C09-5FE3131D1B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55d842b6c95ea985321a30fdc2813f8e8c83a064","datavalue":{"value":{"entity-type":"item","numeric-id":2486563,"id":"Q2486563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3625675$7C234477-0BC5-47BF-A065-A81E4580A361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"906558ae98c71276ad11df64a94be4f5f216a839","datavalue":{"value":{"entity-type":"item","numeric-id":3541980,"id":"Q3541980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3625675$05796EDD-7EF5-4078-AB94-751F0AA64223","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e83edbef00012b1fd115dc0389e00a4821e7c1b","datavalue":{"value":"https://doi.org/10.1017/s0960129508007202","type":"string"},"datatype":"url"},"type":"statement","id":"Q3625675$597E099B-AEDB-4D72-AD6B-303CB3E5EE23","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a224fbb253875bd4598650ad87b77dd8947c9dc6","datavalue":{"value":"W2079370090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3625675$4D337147-E7F3-4309-82E9-FE6C5A5F7D7D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8001254e46de7fc9b1bafa8a163a63162e75680c","datavalue":{"value":{"entity-type":"item","numeric-id":5710414,"id":"Q5710414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21be54edc905e29cc9518d849efd7d53bc360784","datavalue":{"value":{"amount":"+0.8369379043579102","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":"Q3625675$FF33246A-D633-422A-AFA3-9E56B8F661ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aaf42b2d3a775ba4d81227b0b85b347084083d2","datavalue":{"value":{"entity-type":"item","numeric-id":3540429,"id":"Q3540429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5f493ed6ad4fa39c3bc842676023c20acaab5ee","datavalue":{"value":{"amount":"+0.79310142993927","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":"Q3625675$2D18F6C3-519F-4A42-AFCC-8F77C3C6279F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0fc52f321ba6b1dac5dcfe27691805b34e92ed8","datavalue":{"value":{"entity-type":"item","numeric-id":2898463,"id":"Q2898463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4525c2d75568632084368612288f82301a5b43fb","datavalue":{"value":{"amount":"+0.7788197994232178","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":"Q3625675$0DD0C55A-E9E1-4803-990A-54D1B5A92BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7240e465438a59e65d8fd6ef6ad05e1f8937aead","datavalue":{"value":{"entity-type":"item","numeric-id":2911624,"id":"Q2911624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f69b70ea0071ae36c699276ad5a2efaa823e98bd","datavalue":{"value":{"amount":"+0.7773699164390564","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":"Q3625675$F8ACD899-A6AD-492F-9591-7B2913A738FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff322f142afa2541006e18601f1d29cfa1a5d6ee","datavalue":{"value":{"entity-type":"item","numeric-id":5292603,"id":"Q5292603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a481ed439dd6fb25574d611051c3a95e7e4f23d","datavalue":{"value":{"amount":"+0.7610970735549927","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":"Q3625675$47E65492-B29E-4D67-9D10-62B6D4539C30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3625675","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3625675"}}}}}