{"entities":{"Q578927":{"pageid":580694,"ns":120,"title":"Item:Q578927","lastrevid":62914980,"modified":"2026-04-11T08:58:25Z","type":"item","id":"Q578927","labels":{"en":{"language":"en","value":"A deductive solution for plan generation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4014066"}},"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":"Q578927$F726BE9A-E230-4BC7-BE54-D3991228081F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"02112a5161b2af6830d3c32cfd5c10ec8f12e64f","datavalue":{"value":{"text":"A deductive solution for plan generation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q578927$99435C37-F02B-4850-9A4E-F337354C219E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a76d7d3ca2b483bf8afca5d76424d17c12c4eb67","datavalue":{"value":"0624.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q578927$4CAD5E83-B96D-4E66-93A1-5EA63AF3D0BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e83b1b9720ade71e4c9146075660902f8223982","datavalue":{"value":"10.1007/BF03037438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q578927$A469236E-33A6-48AA-A361-F5CE01182097","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1ea61bc9b0eb2c27313173153e64e32651c2ebb5","datavalue":{"value":{"entity-type":"item","numeric-id":169889,"id":"Q169889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578927$C5E97D24-268F-432F-A6DA-822B0EF90C19","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q578927$ED79DFE9-B0B7-40B2-BA6F-B858A7DAB2D7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"831142343b7b91e8d661f1c99bad9e620d8480db","datavalue":{"value":"A new deductive solution of the well-known problem of generating plans for robots is presented. The solution uses the connection method and requires the description of the initial and final configuration to be expressed in terms of logical formulas of arbitrary structure. The set of admissible actions has to be formalized in terms of rules of the form \\(A\\to B\\), where both A and B are also logical formulas of arbitrary structure. The formula A or B describes the configuration before or after execution of the respective action. When a description of the task is available in this form, any theorem prover may take this description as an input, provided that it enjoys the ability to mark instances of literals that got involved in the proof, and cannot use a marked literal again except upon backtracking. If the problem as stated has a solution, then a proof will be found that returns a term as its final result. This term identifies the sequence of actions to be carried out via the Skolem function associated with each of the rules. Finally, the 3-socks problem is described and solved by the same connection method as the robot plan generation problem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q578927$C1F8D1EF-9B6F-4CE7-8683-6B2D9924E80E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q578927$406CA29E-10DF-4DB2-9942-ABC65DC327AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q578927$3F43F3B1-3AA3-4710-9E3B-01139D911CE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e11bcc91979d4d354186f0e3aa8aa4797b2bdd94","datavalue":{"value":"4014066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q578927$318545DB-45D8-4DA2-97F4-A8FFAF2A018C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baa401a90f7be40837e492046fd0146ae8e354d2","datavalue":{"value":"robotics","type":"string"},"datatype":"string"},"type":"statement","id":"Q578927$F4C92190-3F77-4B79-A0C0-C7E7D42E45B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f83b1aa5c3c73185ab130c51100d98b8269b368","datavalue":{"value":"frame problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q578927$1DA17148-4AE0-4352-9B1E-D4703E6B33CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9766ea21e04bbb663ab057ef2e9635b0fd3090d5","datavalue":{"value":"connection method","type":"string"},"datatype":"string"},"type":"statement","id":"Q578927$50326892-BF16-44ED-862A-7914117D7FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b0faecc1a2babb6e46c6c3c8f447214a06a09b1","datavalue":{"value":"Skolem function","type":"string"},"datatype":"string"},"type":"statement","id":"Q578927$92940AE4-B5A7-4B85-B50B-D2E22512C5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d30953b8dd523a59b7bda6d4e0b701f6f32b0d8","datavalue":{"value":"3-socks problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q578927$A57779C8-9C04-474D-A694-3FF6F7EE99DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b454ecee60930f74c0a162dda16bef7c1a496aa8","datavalue":{"value":"robot plan generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q578927$D8DBA558-771B-4357-92D9-B96C1F6DB30A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"244cbb0c7c29d260462be69c255a90e4965cd8bb","datavalue":{"value":{"entity-type":"item","numeric-id":287328,"id":"Q287328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578927$864CB9BA-DF40-435C-A22D-05BF534D7E65","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"be2a52757c5af513b7fb2d5e98fbd88a4a770b60","datavalue":{"value":{"entity-type":"item","numeric-id":1188640,"id":"Q1188640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578927$B5DB3361-4740-40B4-A8F3-5B25CA10818C","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":"Q578927$AF9FE2D5-C982-4275-8BCA-105E03783BD6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2c2b382c3725436e250ac6e5f951d42a292c14","datavalue":{"value":{"entity-type":"item","numeric-id":3954845,"id":"Q3954845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578927$9DE4AC21-38FE-4F9C-A45C-30B4455B7DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"850ca39a94aac87362042c94528de0b33c665341","datavalue":{"value":{"entity-type":"item","numeric-id":3668887,"id":"Q3668887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578927$6BD03F9A-9457-4CF0-96D2-F3614E7A1352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfd8e354804ec47affaa3c43dba4a4dcf2aa8014","datavalue":{"value":{"entity-type":"item","numeric-id":3732939,"id":"Q3732939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578927$CD8B73FC-0EEA-42A1-84AD-B8D78F750A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32563a68777f57f43788d326ffa2ffa1822e5a27","datavalue":{"value":{"entity-type":"item","numeric-id":1108814,"id":"Q1108814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578927$0BAD3AEB-D76F-437C-A85F-BB4259CBE9BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a872690aae65aa8cbfced9522c07629e0a8e21","datavalue":{"value":{"entity-type":"item","numeric-id":3862380,"id":"Q3862380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578927$633FC320-C3CC-410F-BF03-09FB01B6563C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9189730146ba7a588b1523afcc7cd91ee49cbfb8","datavalue":{"value":{"entity-type":"item","numeric-id":5617314,"id":"Q5617314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578927$05ECE6A0-423E-4F99-97C1-F84D94668D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727e4fcb174852dbf7f8d1745be850a52bb6ad4b","datavalue":{"value":{"entity-type":"item","numeric-id":5633670,"id":"Q5633670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578927$B4E9F2FD-BF52-4870-9B07-00F11D0C3CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3c8227370b23a709289df885ca01c57567c658f","datavalue":{"value":{"entity-type":"item","numeric-id":3856120,"id":"Q3856120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578927$5D0AA759-639F-4CB5-AA1F-04402DD66232","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f68db8ab458068b67cf16566854691a5b1f1e06","datavalue":{"value":"https://doi.org/10.1007/bf03037438","type":"string"},"datatype":"url"},"type":"statement","id":"Q578927$4257046F-2C75-49CF-9674-8157CA653928","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7bb9b92608ab9a7b0e96cb924f1a7b0efc6d3055","datavalue":{"value":"W2258046470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q578927$A9595D27-B76A-4EA4-896D-6EE787CF4226","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e1b1d63ca495ff9bf3d8a084b5986728044967d","datavalue":{"value":{"entity-type":"item","numeric-id":2767038,"id":"Q2767038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6369ada56f2d7ae8fc6d55d351c61de6b1866195","datavalue":{"value":{"amount":"+0.91250134","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":"Q578927$831A3ECC-BDEF-44BD-BD72-2E07E0885354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fe015a65ed395fa14587d75ee4ac93647478bac","datavalue":{"value":{"entity-type":"item","numeric-id":922685,"id":"Q922685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61a12275dff28233a9e47aaf284bf4ccc2df877a","datavalue":{"value":{"amount":"+0.90980923","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":"Q578927$E3D36995-0A18-4BC5-8254-54893F30B872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e1dca709569140b84d7e049adc1c49a8f192f64","datavalue":{"value":{"entity-type":"item","numeric-id":5012541,"id":"Q5012541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e510220e416f6f161d2da5c5ee787610553748c4","datavalue":{"value":{"amount":"+0.881414","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":"Q578927$F322172A-658C-4D6E-A720-83980582D317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b50e574ff07d61bf4502c52e51fee7fcef1c2d05","datavalue":{"value":{"entity-type":"item","numeric-id":3976054,"id":"Q3976054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b12c74b6661129a9b9a8757262a4576e3b5fd88d","datavalue":{"value":{"amount":"+0.8784613","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":"Q578927$44C5C6F5-069C-4A68-AD74-A6E2BE97F92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa951277efa689de0eb36889d9bab1053c1dca4c","datavalue":{"value":{"entity-type":"item","numeric-id":4881298,"id":"Q4881298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88dca86bc5ed09f2b52cc5e1db3fec75206c1379","datavalue":{"value":{"amount":"+0.873629","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":"Q578927$83CCDCEF-4909-4D59-97B3-5E50AED94C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7eb96909430fdf30845e18a8979fe10501c38a9","datavalue":{"value":{"entity-type":"item","numeric-id":1603732,"id":"Q1603732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fcb7bec783174f649c01400cf0dbcd5c9062ad9","datavalue":{"value":{"amount":"+0.8647555","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":"Q578927$8502305A-B279-4D09-9882-7E53BEA077F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f2ccc424299f6f67cdb11f77b6de4681f1301f5","datavalue":{"value":{"entity-type":"item","numeric-id":1896366,"id":"Q1896366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"460e708637e0a4e97c43ea25641f58c22ae1899b","datavalue":{"value":{"amount":"+0.8602444","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":"Q578927$FB627DCD-0AA6-468D-BC03-5FA5E27CBB2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e911c3c066298dbd84b6eb208bd4486b1125f600","datavalue":{"value":{"entity-type":"item","numeric-id":1978018,"id":"Q1978018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db000399dcdd8361b437d4a392ab5eed202babc5","datavalue":{"value":{"amount":"+0.85674876","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":"Q578927$44BCD2C8-D18D-470E-82AB-37377BFCE0F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c8ac42e6c49d13fdb968dee9d3e491849796fa5","datavalue":{"value":{"entity-type":"item","numeric-id":4209625,"id":"Q4209625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa852f96863242f2858e664391d63b04d8ec4586","datavalue":{"value":{"amount":"+0.8556143","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":"Q578927$9EC427B2-BCE5-44B0-A38E-621F41D4D8DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A deductive solution for plan generation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_deductive_solution_for_plan_generation"}}}}}