{"entities":{"Q5956427":{"pageid":8133229,"ns":120,"title":"Item:Q5956427","lastrevid":97708205,"modified":"2026-06-05T15:16:10Z","type":"item","id":"Q5956427","labels":{"en":{"language":"en","value":"Semilinear motion planning in REDLOG"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1709192"}},"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":"Q5956427$64AB4068-1092-41E6-9CD9-13E15685DB78","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"26f602751c4ea861377e2582b35b831fb96ce942","datavalue":{"value":{"text":"Semilinear motion planning in REDLOG","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5956427$6A8C2E0A-8D46-4807-947D-10FBE41B0335","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a8571d2eb61697aad047459c6eec5f9047f153a","datavalue":{"value":"1003.65015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956427$7C2905D8-EF20-4ECE-851A-B67F228684D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fb0a29412cf2c248d1a972a393cd5cb0fedc31f","datavalue":{"value":{"entity-type":"item","numeric-id":231497,"id":"Q231497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956427$B13E11D1-F54E-4AF9-8F62-CD71AB4EB4EC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e71b1a810c94176f33b214acd409208085d409e4","datavalue":{"value":{"entity-type":"item","numeric-id":162945,"id":"Q162945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956427$1EA5BA86-2C7A-475F-9EE6-BB5183FAA32A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c99628f8dc3436d8641aa0726a190a4fe0d0bda","datavalue":{"value":{"time":"+2002-10-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5956427$2DB62341-569E-4664-8CF9-377E1D65AC02","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2ce72165d993b0b8ed97728d731d2db2473b9554","datavalue":{"value":"65D18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956427$30BAF2E5-11A0-4A0D-9F3A-DDBD11FC7235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"159426a5937e62cfbbcc198dd4848ab52d6e715e","datavalue":{"value":"68U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956427$638C9E48-E318-44D6-8609-C3F5172502D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4844ecc2838b02f08a426d6ddfea94d07252b432","datavalue":{"value":"65Y15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956427$C8F53A5B-F80C-479D-96DC-0A5121536161","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e55712a1b57de6575473345fd1fb759166f0bf6e","datavalue":{"value":"1709192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956427$704E75AC-8F1A-46AB-BBF4-1712A2D20C0D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f3c4174a5d716f293c7527ce1cefdfb920908bc","datavalue":{"value":"motion planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5956427$F12714FB-CF6A-494E-A1BC-26BF02207CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5956427$136D2B57-BA95-4138-AC18-F40C26B311DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90b85cd9e5dd5417c95f4321d076f971fc4d2367","datavalue":{"value":"translations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5956427$3A88B58C-37F5-4E63-92DF-09637A395B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0369cc34110c019e144f1dac5e31c3ee2dc5199d","datavalue":{"value":"path finding problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5956427$3BDED710-C293-4A37-B7D6-722E67401897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"900449d9c111228b32b61aefc4917c5119284013","datavalue":{"value":"complexity bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q5956427$3E76D5D0-CD3C-43B2-AD18-4290410D3826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d95ad944d74478bdddf82154791d968dbffb656c","datavalue":{"value":"experimental results","type":"string"},"datatype":"string"},"type":"statement","id":"Q5956427$1084CCC7-3BDE-4415-90EC-B9EBA8EE3A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1d938f42c4c4a692737a3575efc0a0e295fec5e","datavalue":{"value":"REDLOG package","type":"string"},"datatype":"string"},"type":"statement","id":"Q5956427$4BE8D582-A68F-4372-91DD-25A46896A653","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fed35f2083e1592d074e2b779038b334adec1c0c","datavalue":{"value":{"entity-type":"item","numeric-id":16433,"id":"Q16433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956427$4B9B348C-A840-4A51-B59C-16F6D85FFE4C","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":"Q5956427$AA6AF7D0-EBAB-4943-9129-7AEE28E77A9A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"845f1d3be90578b8408d02e117acc5c7de888684","datavalue":{"value":"https://doi.org/10.1007/s002000100086","type":"string"},"datatype":"url"},"type":"statement","id":"Q5956427$35BB263B-2D13-45C9-87A7-EC2FA36E8E8A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"41270e4134c3ed4aa584efb6eaa92cd4aff924ba","datavalue":{"value":"W1975213858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956427$B345E62C-7162-4B66-8BB2-E492491DE763","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9fb6e1d9d4de14156e72f7a059ff88c618f124df","datavalue":{"value":"10.1007/S002000100086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956427$42C55226-6225-4B86-A6D1-599A3ED8BF79","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1d83415137d9991b57a472e4e8ae5438faa4b0e","datavalue":{"value":{"entity-type":"item","numeric-id":2760235,"id":"Q2760235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10e11158153b4c2e9b39563bc64df372e0cfa90c","datavalue":{"value":{"amount":"+0.9062934517860411","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":"Q5956427$295A70C5-D689-4736-A951-6B8983227DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd50f6c08da2bbb7b7cc38c658f7568fdaa65342","datavalue":{"value":{"entity-type":"item","numeric-id":2457425,"id":"Q2457425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"293d0f9db45c19503efb8dc8320ff3443b1e5396","datavalue":{"value":{"amount":"+0.8217123746871948","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":"Q5956427$A098821B-C61A-4DB0-933A-108E8782755B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47fc5f4f44d6d9e557ad0348fb86f7ece021dda0","datavalue":{"value":{"entity-type":"item","numeric-id":3838772,"id":"Q3838772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5b9281ae325cc8128778f1f2f873b1379c02a90","datavalue":{"value":{"amount":"+0.7529295682907104","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":"Q5956427$00FC5C6A-AC84-44A2-BF3C-B8AD10DB8231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ea523555f27ed3a1253e71f0ff3a86f6ac32662","datavalue":{"value":{"entity-type":"item","numeric-id":760006,"id":"Q760006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e197e705b8efdd5d48b72b3c824441541e02b597","datavalue":{"value":{"amount":"+0.7499732375144958","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":"Q5956427$F7F373AD-79C1-4D3D-9F97-7707B6CE4855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9599fabc76c44506b389f95a6ca15a74540d2158","datavalue":{"value":{"entity-type":"item","numeric-id":677553,"id":"Q677553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3fbfee9c6389ec69436364c454c1de6747face4","datavalue":{"value":{"amount":"+0.7442581653594971","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":"Q5956427$90FAEF23-E2D5-4EE8-AF84-8E277EF0042A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semilinear motion planning in REDLOG","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semilinear_motion_planning_in_REDLOG"}}}}}