{"entities":{"Q2291823":{"pageid":2302566,"ns":120,"title":"Item:Q2291823","lastrevid":71778543,"modified":"2026-04-14T00:29:02Z","type":"item","id":"Q2291823","labels":{"en":{"language":"en","value":"A partial evaluation framework for order-sorted equational programs modulo axioms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7161321"}},"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":"Q2291823$71F39B02-64C1-4496-AC75-1F34383BC029","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"035e463472126f463228e65d752bd9a0c3dff35c","datavalue":{"value":{"text":"A partial evaluation framework for order-sorted equational programs modulo axioms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2291823$4DE7A32B-5BEE-42BC-BEF4-A7EA18BA68A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"909dddc1acc1fbbfb55e25f5178fc15fcd4a6cfa","datavalue":{"value":"1494.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291823$65545119-FF5B-499D-BB7D-71CB8740A970","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9ad0f43ee1ceda3dd968cb3b2fb5c858da6895a","datavalue":{"value":{"entity-type":"item","numeric-id":671507,"id":"Q671507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$BA9BD282-90CA-4BDC-B9D1-D2779618FD59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52a82ade8a4fc80ceee01c3a40cd30b0a83a9040","datavalue":{"value":{"entity-type":"item","numeric-id":2291822,"id":"Q2291822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$EB901EBF-41F6-479A-BC0B-E666A3E4955D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5805f02852c8c5214c4739c3a07407316889a81f","datavalue":{"value":{"entity-type":"item","numeric-id":462490,"id":"Q462490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$AC0FF0C3-A906-4EBF-ACC6-7CE31771F4EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$7FFF8FF3-3D71-42D4-8B32-58DA2B045CD6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$73919899-51EE-4DF3-9686-844885C95897","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db01f1f293a86902f326559cf8c2d6c6f3d0ad08","datavalue":{"value":{"time":"+2020-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2291823$9A7C449D-4711-460E-8214-A89B9D4975AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291823$72396135-BBC0-4E54-BCD8-4F82E3E07EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291823$0052D0D7-7FA0-4954-8F49-8F034B9A4AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291823$14C36CE0-A1BA-46E8-AD7E-2DE23C59BCBA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c727db618962fd830c9b816d15878f15f6c641f2","datavalue":{"value":"7161321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291823$B90E6195-B5FC-4D90-89D7-28AFF65C1D01","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e2bf457cdde0f512beda963d4afe04b70e28b089","datavalue":{"value":{"entity-type":"item","numeric-id":56328,"id":"Q56328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$B8E13646-D588-43BE-86FC-33FDE78D6820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$5FB05308-8F34-4768-910B-B19E04FF76F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"adecf1248d62f0ca239433953e8240b0639cd8a1","datavalue":{"value":{"entity-type":"item","numeric-id":20976,"id":"Q20976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$41FB9679-496B-4FEC-AA78-2F48DA216E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3dd651b697c26b472f2f3e355f250595be3417aa","datavalue":{"value":{"entity-type":"item","numeric-id":43695,"id":"Q43695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$DD3C2CA2-03E6-4163-BF40-C06FEA30B81D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4c46d5a399090ba32f5e0f0288380e87e058a780","datavalue":{"value":{"entity-type":"item","numeric-id":21760,"id":"Q21760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$CBDA82EC-DC89-4DE3-8972-B02C5C60A318","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":"Q2291823$D27512FF-FF72-4915-B260-0EA6749598AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e9ce3c9f0b788fac8f3c194878e1605d889aaf1f","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2019.100501","type":"string"},"datatype":"url"},"type":"statement","id":"Q2291823$8759BC31-79E1-47BE-8414-671BD199AFA5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e052d1e756abcf3b2c2b2f70fff6edf74382c79","datavalue":{"value":"W2986833796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291823$48108C74-C964-4612-BE71-E825026985DA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2583f15509f6a03a6233dcf54786f083eebbff7b","datavalue":{"value":"Q126847592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291823$85CFDD68-B925-4E31-9749-9B39194A944F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"12cc9b92987288871f2ff551c43c2245a1902467","datavalue":{"value":{"entity-type":"item","numeric-id":4217931,"id":"Q4217931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$8ED7B2EA-E541-4B4D-A8CD-CCA9B26C92BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93330c977379fb9c207074d0459620d009b7f6ea","datavalue":{"value":{"entity-type":"item","numeric-id":4413065,"id":"Q4413065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$2ABA035A-D39F-4F7E-9F82-9C441A8AE5D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75c759d19d6abb986a4e2ed849a1d98b82096a48","datavalue":{"value":{"entity-type":"item","numeric-id":2296704,"id":"Q2296704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$D65398D5-7294-4F83-B3A6-B04ABABC5EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9954ab1ab4a32b80edb90554c0c352bb1afdff29","datavalue":{"value":{"entity-type":"item","numeric-id":2409722,"id":"Q2409722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$764B7DFD-1F61-43E7-A20C-34CB0F1B6AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e425caf9cf7e302cd5a877befa0199262b3311","datavalue":{"value":{"entity-type":"item","numeric-id":2437800,"id":"Q2437800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$29B800EB-5BC8-48B3-AA06-48B981A6353D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bfc56d1a17c0b1f57145b3bf5bc7d1645d20086","datavalue":{"value":{"entity-type":"item","numeric-id":4982625,"id":"Q4982625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$1F863EF7-615C-4ECF-AFEA-05739658D138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c2d0e624dea5ad9c24b428b27d652ea2649ac3f","datavalue":{"value":{"entity-type":"item","numeric-id":3617428,"id":"Q3617428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$FB48E7BE-7C00-47F2-A04B-7B7A5657E061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a351897245977aa0d098a2219b09f6d20cfa230","datavalue":{"value":{"entity-type":"item","numeric-id":2751360,"id":"Q2751360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$71837B5B-645D-4584-98F1-C6D11DF9F538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5d31bfddaacd76a8f7da9f101f2cd8f268a00f8","datavalue":{"value":{"entity-type":"item","numeric-id":5286916,"id":"Q5286916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$3408E30C-652E-4855-B843-8BFFDB32B953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56fcefab2b73b5cc1c22aee92a1840b23cd0d5e5","datavalue":{"value":{"entity-type":"item","numeric-id":2849500,"id":"Q2849500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$780E19D5-99FC-4745-ADD2-FF717BDE1DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e46de5473f24f5d5442b7eab6c29167d52c46868","datavalue":{"value":{"entity-type":"item","numeric-id":1825184,"id":"Q1825184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$56699DE3-995C-464E-802F-8B4773DC5491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5ae7e408b1d1201c271e00762d47096e39a012","datavalue":{"value":{"entity-type":"item","numeric-id":4111080,"id":"Q4111080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$2B93715D-BF46-4D01-90AC-D5D4C7D8E3B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e506e4af8108702e5b9b9b42874a27b1aa643df","datavalue":{"value":{"entity-type":"item","numeric-id":5703857,"id":"Q5703857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$EDBEBB8E-51FA-4A93-B6F9-CE11B2FFB484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$B6CD5BF8-BBBC-4D8C-96AC-1BC55436BF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31ad064fde7b4ac14829e7ebd920d2c935ccfa38","datavalue":{"value":{"entity-type":"item","numeric-id":3970984,"id":"Q3970984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$BAA9E3B2-437E-48AB-836C-63DB2E1E3ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9347765136650ae068c681dd50837d0a09bc96f4","datavalue":{"value":{"entity-type":"item","numeric-id":2291818,"id":"Q2291818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$5DDDFD2A-755E-4F9E-8410-28204C9B4593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ec436e4c0c839c258c6c172a63d796b45489393","datavalue":{"value":{"entity-type":"item","numeric-id":6164537,"id":"Q6164537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$493DAFBB-8A96-4D40-A78C-03B266F32F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7759559e7c39755583ff3aabfb74de64789139d0","datavalue":{"value":{"entity-type":"item","numeric-id":4933280,"id":"Q4933280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$63E445DC-6A3E-4BD7-BB61-D64D8475FFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e76fb45e28ec1fe2b0effcfeeca5b6f58e3c6de2","datavalue":{"value":{"entity-type":"item","numeric-id":4447218,"id":"Q4447218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$F14E8A3C-C1A3-4CA0-95D2-40C5065A80FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c6788a4325e5a7583cda476d7916b51682b7ade","datavalue":{"value":{"entity-type":"item","numeric-id":5179131,"id":"Q5179131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$BE8AD765-B366-4A1F-A50B-48F486E61239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cde07a5af9c9126c9edeee597823bae300bf25b6","datavalue":{"value":{"entity-type":"item","numeric-id":1931909,"id":"Q1931909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$9B393BD0-16AE-49E2-8507-009C6DBE9856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3239d3bc022112b37f4da6991a3c7bf09667ee35","datavalue":{"value":{"entity-type":"item","numeric-id":1196302,"id":"Q1196302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$FEC0FE55-2211-4848-8010-73A3479507C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83880f170299ba13e2e839890cba27cc20df7932","datavalue":{"value":{"entity-type":"item","numeric-id":4305632,"id":"Q4305632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$677DEC90-D5AC-4040-89E5-7D4EA7B97073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"247970768287c87e9f32f6c332759567139e2cf5","datavalue":{"value":{"entity-type":"item","numeric-id":4916076,"id":"Q4916076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$C1EF0141-C683-41F4-8DE9-99841E21FFED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab124a7373ba82029ffdcc597bda7b4f27aee620","datavalue":{"value":{"entity-type":"item","numeric-id":5287559,"id":"Q5287559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$295ECBBC-265B-464B-B0E2-3C393A237292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f497a094cae9f220fe8ee16ff975c47f7e7dca6a","datavalue":{"value":{"entity-type":"item","numeric-id":3664457,"id":"Q3664457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$B9C65C2F-1E05-4E56-8CC8-EBA30624D68B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dce3c2e75c2ce94c37447123ec1c37ac00aeec39","datavalue":{"value":{"entity-type":"item","numeric-id":4452606,"id":"Q4452606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$80C21214-1D82-433F-8290-ADF748D80481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"304f1890bdca38d64cd56b953b9bbe59fde7e37c","datavalue":{"value":{"entity-type":"item","numeric-id":3591078,"id":"Q3591078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$4AA9D8A3-7B35-45C1-92A0-1ED125E2AE61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28b1b08756d91316e1d97aa4b3cacebc09d7bda5","datavalue":{"value":{"entity-type":"item","numeric-id":3988796,"id":"Q3988796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$BA37F2CB-D310-427F-8B33-7AE29BFE7721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80e86d9f0b35882efdaebc5c4c8a086261bf3a2e","datavalue":{"value":{"entity-type":"item","numeric-id":4219044,"id":"Q4219044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$9EA9A4A9-BBE4-4726-B92C-B48AD881EEF4","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":"Q2291823$54ED5ACD-7373-41CE-8D33-1BE0C3A5E2F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35de7df0c420175ccefc3da8012590103dbdf602","datavalue":{"value":{"entity-type":"item","numeric-id":3839051,"id":"Q3839051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$653CC096-4E30-413F-A955-2AE3C87DD071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7585a3414ed5d460ebd13d62b6e4dd63859751d","datavalue":{"value":{"entity-type":"item","numeric-id":2811360,"id":"Q2811360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$482FA10F-B144-41D5-82BB-A3F620908EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baf49e3af784fd0b064f1256a4384095ecd0ff4a","datavalue":{"value":{"entity-type":"item","numeric-id":683741,"id":"Q683741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$FC553148-94E6-43F3-8CD0-1A5FD67EABCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48f23c9c5867b878ba232ab7625fac32ef8d9d28","datavalue":{"value":{"entity-type":"item","numeric-id":4686604,"id":"Q4686604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$57532654-6259-40BD-B5A1-FFF22146A94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14a1a742e214d8245c75cee91c994ccfb70891f3","datavalue":{"value":{"entity-type":"item","numeric-id":880981,"id":"Q880981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$D2241007-F637-4D9F-BD03-9351D7B6F079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c218a07c6c1fec768507daf13db1e9b66c81eff","datavalue":{"value":{"entity-type":"item","numeric-id":5624681,"id":"Q5624681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$22C761C2-F169-421A-99F2-C0B088CFF599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"509a78e21970955f7b163c8fd816d2129bce3dc7","datavalue":{"value":{"entity-type":"item","numeric-id":730476,"id":"Q730476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$2E130B2D-881D-4989-86DB-EBF9C9C7C8CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"031d93ba0f0d59696b935bd9707e0c0dc3b5aa4f","datavalue":{"value":{"entity-type":"item","numeric-id":4050191,"id":"Q4050191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$1D21C5EC-8B8A-4675-8C04-F00F4384C196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a05691a6f88eddda61756188d2d28bc57b51655b","datavalue":{"value":{"entity-type":"item","numeric-id":860885,"id":"Q860885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$BDA4BC7C-186F-44B8-AF33-328AAD875CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9525944835ab99fe0caee89af1d1c4f1696592","datavalue":{"value":{"entity-type":"item","numeric-id":1608925,"id":"Q1608925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$DBCB65A5-9CBF-42E1-B8AB-E977F4061F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fcf4186c4480f5d344cc9880618b00ccbaf1502","datavalue":{"value":{"entity-type":"item","numeric-id":914358,"id":"Q914358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291823$D47FAF93-995B-4217-84C0-0D878FAE2402","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"08ab6ce09d2ea341460a8032ab780f9c6d061b57","datavalue":{"value":"10.1016/J.JLAMP.2019.100501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291823$8B5A7C2A-0ADE-46B4-BA10-3BA6D1F789A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28fe1947f887c25d1e894b1420a67914cc72bfa2","datavalue":{"value":{"entity-type":"item","numeric-id":2409722,"id":"Q2409722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"518a11ca0ca9d1c4de7d97eef7459b336d8d52b2","datavalue":{"value":{"amount":"+0.9883701","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2291823$CFE235AF-83D4-4FC6-82CF-C06E4367B4B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b8e5364cfc790b66e4a3ba470a2911d1316b4ca","datavalue":{"value":{"entity-type":"item","numeric-id":5166637,"id":"Q5166637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c3b20cec4cdb11fa472734a5932c0a4ad955b2d","datavalue":{"value":{"amount":"+0.88752437","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2291823$66D71A89-FD91-4814-93F5-CCB372689930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22520cbc01719455e878ddf636ae77d5cc653682","datavalue":{"value":{"entity-type":"item","numeric-id":4398692,"id":"Q4398692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c00455292da5c7accbbcfa0d744287851663af22","datavalue":{"value":{"amount":"+0.8816797","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2291823$963E7DF3-E492-4621-8187-8CB4177BF453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee6c71dcea2bc14b24a58f1a0b63cc534d9294f","datavalue":{"value":{"entity-type":"item","numeric-id":4364594,"id":"Q4364594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a13264883df7f6dd67e164c189bc19b5b04a6ae5","datavalue":{"value":{"amount":"+0.87709486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2291823$92E9C016-FEFE-4BC2-8FC8-D131730F2687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9635844830b27570c06edab1b7d7588f6f44349a","datavalue":{"value":{"entity-type":"item","numeric-id":2437800,"id":"Q2437800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d9954b08bffc6d8963a972ca275059bc10b3a85","datavalue":{"value":{"amount":"+0.8753202","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2291823$EF8C9F9C-1FB8-4AAF-B764-12B3BFF09B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53c1e9cfe19bfdf2a5c85a5f5d8f7394e84bd94a","datavalue":{"value":{"entity-type":"item","numeric-id":4246959,"id":"Q4246959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21de83e8db9c779cb88a64b1191ff67b6b43e27a","datavalue":{"value":{"amount":"+0.87043846","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2291823$5BBA6774-14BC-4224-BCB6-EE634894036F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11478f5ecb8b29c65dccd06e13596b48d3489e10","datavalue":{"value":{"entity-type":"item","numeric-id":1196302,"id":"Q1196302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92dfbb1597e79cf3366e7894b773acad39c6258a","datavalue":{"value":{"amount":"+0.8694185","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2291823$BE78DA7C-9D1D-45AE-A431-2C274AEEA01B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9b903357fec427834a3ec513dd48a5a26477985","datavalue":{"value":{"entity-type":"item","numeric-id":3164835,"id":"Q3164835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"971b8dc13b3770589826f7e0a393daf22868e219","datavalue":{"value":{"amount":"+0.8685373","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2291823$649EE732-3F77-4D90-A9F4-06D7F7686B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af6729f1ba184281871f04967d8eace73e2b9b3f","datavalue":{"value":{"entity-type":"item","numeric-id":3792234,"id":"Q3792234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9506bc242b950dd51501eb5b48816e7fc220fc98","datavalue":{"value":{"amount":"+0.86642617","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2291823$4249B136-1A02-4D92-9A4F-0A2995D9CE34","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A partial evaluation framework for order-sorted equational programs modulo axioms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_partial_evaluation_framework_for_order-sorted_equational_programs_modulo_axioms"}}}}}