{"entities":{"Q2887072":{"pageid":2897797,"ns":120,"title":"Item:Q2887072","lastrevid":58039767,"modified":"2026-04-03T13:49:05Z","type":"item","id":"Q2887072","labels":{"en":{"language":"en","value":"SAS+ planning as satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6035677"}},"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":"Q2887072$7178B969-4B08-4309-A65A-0C1041D65FE4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c6e7b17390b31a3d79939d908ee77a14f8c404b","datavalue":{"value":"1244.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887072$5DEC320A-376E-40DA-9DD8-C60548B33D15","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c8a6ac49b5161cb78caa599fec1d70fba77f04b","datavalue":{"value":{"entity-type":"item","numeric-id":835812,"id":"Q835812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2887072$4F9615F6-635F-4A32-9282-2F5385C01D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"12f6a807b1a25e158002d50b0598dacff14c5994","datavalue":{"value":{"entity-type":"item","numeric-id":704668,"id":"Q704668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2887072$07F9D483-54AE-4815-AD21-C98A84596F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c873fd12c891934b89ccda54776913d83d7ce22","datavalue":{"value":{"entity-type":"item","numeric-id":197140,"id":"Q197140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2887072$F9EFE317-995E-458A-826A-B82CC257FD68","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c6dd1e92ce65549be4e5bdc022a3c4981b4ec03","datavalue":{"value":{"time":"+2012-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2887072$62CBCA0C-A10E-45CA-A79D-AB8FC4E3629E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c291d6365effa0f095bf3b3d25098f3d127177e","datavalue":{"value":"https://arxiv.org/abs/1401.4598","type":"string"},"datatype":"url"},"type":"statement","id":"Q2887072$4ADBE54D-AA67-48AE-9407-2899148FB6C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887072$21F5151F-5B6C-4176-A510-7BF54F10BF94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887072$1D87E7E5-E278-4B74-BF25-57F8068340EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"518d7fadd6b787161c87c248ecdcb9efa0c9e158","datavalue":{"value":"6035677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887072$F196F640-1B9D-41A3-9C3D-9BF610086E4C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e26a91fa3877ce4ff4e1cbc4fd7a7c11ebbd1370","datavalue":{"value":"search","type":"string"},"datatype":"string"},"type":"statement","id":"Q2887072$42916336-82D2-4A0F-BCBD-B285A972861A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5822b6b282a07522998f76652efc78787945121","datavalue":{"value":"planning as satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2887072$4E31045E-4912-42D8-8611-F92A2059BDC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543c7d0ffd0c52aa92a423848e3694a5bcbfca1e","datavalue":{"value":"SAT solvers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2887072$BBE17180-1EF2-48EE-A44A-03B75A27C1B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f56443c3d9fca7b45566b0cd08a63cebbd652893","datavalue":{"value":"SAS+ encoding of actions and planning problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2887072$5E49B1DE-B8A9-4CCC-BFB9-3FA99B27AADA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2887072$BE50A3EE-19D0-4085-B759-5678F529E111","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":"Q2887072$08F8C768-E45F-441C-9213-89A6FC29F96E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c0c6b789de65553f9a3400959fd9356c923a5048","datavalue":{"value":"W3100276112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887072$FC4C35E9-0BBE-4C17-9FF5-F32BBEE8BF22","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"df7d3c1c8b702d4d8191ee92898364ace04519c0","datavalue":{"value":"Q129489491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887072$4B6F395D-AFE7-45D3-B4BC-B7813F70C846","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"932f450679c3d5b79ceec537053347f2af00c884","datavalue":{"value":"10.1613/JAIR.3442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887072$14D8B2DF-AAC7-417E-96EF-7EC7A6092555","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"22f4c0a5529341b259bb7f4b9c8d7c1bd8a24994","datavalue":{"value":{"text":"SAS+ planning as satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2887072$E5ED75F1-E9C6-4D8E-9775-B84E431E7E87","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b8a215d385f75fb3e358378de413ed23462bf46d","datavalue":{"value":{"entity-type":"item","numeric-id":6488778,"id":"Q6488778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2887072$5FC3C794-4869-40BB-8D08-3F22DD2F591B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f1be31138d603e86720f789ed6814f2163e1e3bd","datavalue":{"value":"The article describes a new encoding for planning as satisfiability called SASE. The encoding is based on the so-called SAS+ formalism and encodes transitions into a satisfiability scheme for SAT solvers replacing the common STRIPS-based encodings of actions. The resulting encoding is more compact than previous encodings yielding significant performance and memory gains. The authors provide a detailed explanation of the benefits of their encoding and present further reduction techniques. A comprehensive empirical study using AI planning benchmarks and a review of related work complement the theoretical results.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2887072$EF44976B-05D6-4B74-99D8-7A36FE33F6A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"740cc922e59c5c6df83459c79ce984677252dd99","datavalue":{"value":{"entity-type":"item","numeric-id":2734936,"id":"Q2734936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f519cfd715f9aa4c1ab522cafa1ed3abb52a788c","datavalue":{"value":{"amount":"+0.7876229286193848","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":"Q2887072$C99D6521-5429-4347-96FC-080270F7B9A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"751178be8b362e9ec887811ecb3ba57fc0f6b3b9","datavalue":{"value":{"entity-type":"item","numeric-id":5190260,"id":"Q5190260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d14cf7d179a37ac5a7a9862302252c8db2b3592","datavalue":{"value":{"amount":"+0.7736948132514954","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":"Q2887072$D371CBF7-935E-40ED-8903-46CFA11FE99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5884f98900a139d68aedb9b92df1051edd605ac","datavalue":{"value":{"entity-type":"item","numeric-id":5394133,"id":"Q5394133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d8f2a0c73b54a34869d1b96b6491a37a7e3db68","datavalue":{"value":{"amount":"+0.7699266672134399","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":"Q2887072$55B28149-8861-4B54-B669-11291BCF1791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c81f5c5c64d0d5ae42f1a76cb1d03ef8725ff4ad","datavalue":{"value":{"entity-type":"item","numeric-id":5958636,"id":"Q5958636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b25bbba48758be8779311824f819b5e9f5d7082c","datavalue":{"value":{"amount":"+0.7498178482055664","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":"Q2887072$AA529D27-4DA2-4BAE-A58E-145EF9E73FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b790dd7b86f0d327d166ab00ca2a4023baa81b48","datavalue":{"value":{"entity-type":"item","numeric-id":359984,"id":"Q359984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20869b4f41fd98c36ddf00ac155c9849fd35e3c6","datavalue":{"value":{"amount":"+0.7434751391410828","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":"Q2887072$138EAD28-5BCA-42E1-8991-005553670EF9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2887072","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2887072"}}}}}