{"entities":{"Q2409722":{"pageid":2420465,"ns":120,"title":"Item:Q2409722","lastrevid":57902652,"modified":"2026-04-03T00:43:43Z","type":"item","id":"Q2409722","labels":{"en":{"language":"en","value":"Partial evaluation of order-sorted equational programs modulo axioms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6791216"}},"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":"Q2409722$B2ABDB99-FC75-4A1F-ADE0-7BD6C338E5C1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b228320c1e9cd26de6e1cb29e545c3035d067e83","datavalue":{"value":{"text":"Partial evaluation of order-sorted equational programs modulo axioms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2409722$543DFC38-12E9-4890-867E-41F2409D1794","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88ccc9406a7a04705693c3647d8474f7d5eaee8d","datavalue":{"value":"1485.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409722$5081943B-E9C1-451F-B23D-82DAB17ED354","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ded06cf074a94fd9ec718caeb9beec8fd116920","datavalue":{"value":"10.1007/978-3-319-63139-4_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409722$F2024B8E-95B5-4DFF-9DFD-9CA4191195CC","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":"Q2409722$5A7C3CAB-3301-4862-AFEF-CBA165CDA809","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":"Q2409722$8EDB5BFF-72B7-4926-9204-1FF9064CB480","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":"Q2409722$6C10DD10-1564-416B-B9AF-2382726232AB","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":"Q2409722$71294179-1A4A-4093-9279-FECB57089FD6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc9e63601a8e28f445aeeeaef7b99c9c03ba64fa","datavalue":{"value":{"time":"+2017-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2409722$072F5F68-5B0E-45F0-B9C0-C6B04FFD0F0B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10da9913670201b9213802487efe8de216c4ca71","datavalue":{"value":"https://arxiv.org/abs/1608.03424","type":"string"},"datatype":"url"},"type":"statement","id":"Q2409722$BD0A0395-852C-4B89-8060-09A80A76DCB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409722$9FCFAD76-946C-4532-B62C-71D131BB8D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409722$9040D5FB-38E5-46D5-A2A3-915179A97604","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ff96b79dd45cc0085f6693cdd1faf5ca97eb10b","datavalue":{"value":"6791216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409722$8DA72D9B-4249-4085-BB2F-8A4B11C53F90","rank":"normal"}],"P1463":[{"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":"Q2409722$59472020-3CEB-462C-9698-7D4978AECEF3","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":"Q2409722$25E0E959-85F7-4B06-8977-8EADDF1C300B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"646b18c689f6c26dd99ceab3815c143984285261","datavalue":{"value":"W2516251718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409722$5D578CD3-16EF-411D-88B9-DB15FBC1E8F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44cf8d5ccd3618a922fb664ff1d563056bb19660","datavalue":{"value":{"entity-type":"item","numeric-id":2291823,"id":"Q2291823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ba85d3d4905625fa5f91954e1ac98156d9789f2","datavalue":{"value":{"amount":"+0.967796802520752","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":"Q2409722$4302FEBD-4263-4899-B73B-CE33C6B122A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10522cddebcdb8fa81a8f819d2ed5808814f3e42","datavalue":{"value":{"entity-type":"item","numeric-id":2667190,"id":"Q2667190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b4be9a165a37f15029340bee24295b39e42f2ea","datavalue":{"value":{"amount":"+0.7679536938667297","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":"Q2409722$B6C07D1C-C1E1-440D-8EE2-520F4639B518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f35f5c122f4c9e4602a53a8199387d5b305229b","datavalue":{"value":{"entity-type":"item","numeric-id":2743695,"id":"Q2743695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad9d4452fe1a6e6e781f2fc4456064fd100f13b5","datavalue":{"value":{"amount":"+0.7572035193443298","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":"Q2409722$1F590465-FBBC-42F0-BA2C-E9775C06CB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1d3638d3a94fa3dbe796d5db0b12064a0b094a3","datavalue":{"value":{"entity-type":"item","numeric-id":4413065,"id":"Q4413065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad9d4452fe1a6e6e781f2fc4456064fd100f13b5","datavalue":{"value":{"amount":"+0.7572035193443298","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":"Q2409722$48EB2C18-F69C-43F6-A21B-7EB8A240718A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"184c0d4a78ff134b297dffff44a5922d2bb21cff","datavalue":{"value":{"entity-type":"item","numeric-id":2763647,"id":"Q2763647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8bc98e7a45f290b2d2b49550d16bdf12f67a84b","datavalue":{"value":{"amount":"+0.7337262034416199","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":"Q2409722$0A0F8606-3507-4875-B02E-5BFA470946EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2409722","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2409722"}}}}}