{"entities":{"Q1006453":{"pageid":1008301,"ns":120,"title":"Item:Q1006453","lastrevid":69406743,"modified":"2026-04-13T06:47:35Z","type":"item","id":"Q1006453","labels":{"en":{"language":"en","value":"Linear temporal logic as an executable semantics for planning languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5532515"}},"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":"Q1006453$BE0A1FC0-DCE9-4924-8245-C84974A3B3F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"37ea059120a9ef78b1a936bf66d9bc842433a7ce","datavalue":{"value":{"text":"Linear temporal logic as an executable semantics for planning languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1006453$40469E3D-360D-4B1A-B03A-27CCBD24C92E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ee247280a47d6e9838532970a79c391073c41d2","datavalue":{"value":"1159.68562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006453$048CC770-82D7-4774-AD45-0F1FEFD0FDF4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59e85c5db1a6961ef0897daa8abccf0b647303a8","datavalue":{"value":{"entity-type":"item","numeric-id":229749,"id":"Q229749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006453$088EFCD8-2140-465C-9915-60CC27EC18DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d859924dc3f5b6aed43003bd7443fe86c4413dc","datavalue":{"value":{"entity-type":"item","numeric-id":1006452,"id":"Q1006452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006453$A08154D6-0ABC-4A9F-92C1-DDC52864166D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b05f08a9a1f176de6217383939f8ad9d20f9d74","datavalue":{"value":{"entity-type":"item","numeric-id":329415,"id":"Q329415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006453$AC1EAC12-BB30-4F09-8269-B8556B10CC80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a69477760d95efc12987b97cb7fe60b244847dee","datavalue":{"value":{"entity-type":"item","numeric-id":421470,"id":"Q421470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006453$24B4182B-57B6-42A5-BB82-6123F50EC91D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006453$CBA1BA21-231D-4FF5-A36B-6BECD5319764","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2ab3bf6018fd8cb2b8743b7e1a22f45853c9b86","datavalue":{"value":{"time":"+2009-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1006453$B748FFDD-8AFF-46E1-8854-C1CFF5594C08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006453$6E7E07CB-7EDE-4818-B940-7E51DD06E712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006453$84598CC7-78D8-4334-B6D8-299E4433D33C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006453$E928B641-31B6-4BC8-97EA-362F64168929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006453$970B3814-5E7C-48B6-966D-8E9A52B7E5D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9cf2acc2d3fa64ccc16ec0fba74c33f3c63097ee","datavalue":{"value":"5532515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006453$98EC5F11-7477-4617-B3E7-B4BC9BF2ACAC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7d7c70dd9441320c7b8a6ee524befd3baa7d55d","datavalue":{"value":"Applied temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006453$3E1FAA68-B973-4018-B307-2EDA914685ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8577108c02a541fe4968c534fdf0033e8eab45f","datavalue":{"value":"Artificial intelligence planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006453$EB554BC2-E319-4147-8532-BAA7593987F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6425c4c707c684934160a13f87014e636b6e1790","datavalue":{"value":"Knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006453$54F68239-9CC1-4B93-BC79-2FD875EFFD53","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02aa6cae878b77a5f61151dfb914bd66eebb75db","datavalue":{"value":{"entity-type":"item","numeric-id":16507,"id":"Q16507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006453$FC1ADAB9-F8C6-4AEB-AD32-F1CDA5DA5676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91f8109f9ed2f04d12462882caaf1148ee5f31e0","datavalue":{"value":{"entity-type":"item","numeric-id":19137,"id":"Q19137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006453$8EEBB8F4-3F00-40AC-8E26-BB28DD8B33B8","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":"Q1006453$610B5A89-11BC-4831-9DF6-00C23FAF6A0E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5b777de5e6e8e13c0e85be9faae6cfc16774304","datavalue":{"value":"https://doi.org/10.1007/s10849-006-9022-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1006453$6BC83AF3-8D8D-4D4E-BFFE-1DFE4A157D9E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be80eb4bd93217002f23a4453b9ac0310371b38a","datavalue":{"value":"W1993457892","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006453$6C18BBFE-1B78-4E66-AE09-956364DC6303","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1bf1c22c2bbcd7ef9a977bbc6cde45b4f4f1b886","datavalue":{"value":"Q58615466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006453$1165F3C6-66A8-465D-A3C8-2ED5190BF051","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5e1876721d110b50a2832632d48c0dc5aab348","datavalue":{"value":{"entity-type":"item","numeric-id":4028767,"id":"Q4028767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006453$CEBE4A60-FDED-4D43-9E32-B38192C740FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"692f33298e12548a7de121e9b379ab5a875cd0fd","datavalue":{"value":{"entity-type":"item","numeric-id":1383350,"id":"Q1383350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006453$0635F42D-DDB1-4DE2-A6DD-155CA9EFE63B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ce585837a919025fa0560b9c65a92d28da1c713","datavalue":{"value":{"entity-type":"item","numeric-id":1978242,"id":"Q1978242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006453$B2EAE647-B246-43CA-AC95-B5D92BA8EAB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df57a8b6ea029c06d43a21a5342274199359600","datavalue":{"value":{"entity-type":"item","numeric-id":4428287,"id":"Q4428287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006453$DA88014E-A590-4616-97FF-DF45508954BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9829ce609940d630f7aa4970193c8dfd77b52485","datavalue":{"value":{"entity-type":"item","numeric-id":4028772,"id":"Q4028772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006453$DB6D6877-E065-4F54-BFEF-72CD724BD209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2d817f47871ae63db47c8f15c6223b155ab3cc7","datavalue":{"value":{"entity-type":"item","numeric-id":1274761,"id":"Q1274761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006453$897F4AB7-078A-464B-8B8F-3E973F0E38CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc58221625c9961b6c6fefd0835e0bcebf38f6c6","datavalue":{"value":{"entity-type":"item","numeric-id":4012204,"id":"Q4012204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006453$830F9E4A-2AB9-4CF6-9135-D0B7BC3BAE87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79204ae6fda83ae6c32d8ef6f69da9d33193c8db","datavalue":{"value":{"entity-type":"item","numeric-id":4247687,"id":"Q4247687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006453$43A8D16C-FCE8-42F9-B9A7-DC829385A010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8b5e9764238b84a89b6f90ca43e0cea49889b35","datavalue":{"value":{"entity-type":"item","numeric-id":2551696,"id":"Q2551696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006453$0B9B5541-6E1D-4463-A1E5-73B9958B48D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0397387a50d3d2a63c7a5f8382beea29196cf88a","datavalue":{"value":{"entity-type":"item","numeric-id":4449295,"id":"Q4449295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006453$FD25130E-EE27-4B20-85E9-CFEBCD4D1765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c78d9d3c8959961badfc69e08dbf8af92c65ad16","datavalue":{"value":{"entity-type":"item","numeric-id":4702576,"id":"Q4702576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006453$7FA0EBC1-AC68-4C0E-8653-23C5B44968B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d28aff50fe8c186ed6c74cedf85881e09d7ecec4","datavalue":{"value":{"entity-type":"item","numeric-id":1802077,"id":"Q1802077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006453$ABA4985C-9216-4E80-9ABA-3F407583C4B0","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":"Q1006453$DD89BC37-5D4F-4EB0-84CB-8DB6287BF5B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d58245da881f3cdb86d99b65a47aa10bf7772d3","datavalue":{"value":{"entity-type":"item","numeric-id":4016561,"id":"Q4016561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006453$542FE8C4-68B1-450D-B074-A0AE7E79D0E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"373b09c1ad3afc09fbc8a8a75ccfb9ce5433773d","datavalue":{"value":{"entity-type":"item","numeric-id":4779807,"id":"Q4779807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006453$84321534-10BF-49A7-B824-81E24F85D284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fee217a6efb56bcafe9bc6e8f2cfa457703ce050","datavalue":{"value":{"entity-type":"item","numeric-id":4252522,"id":"Q4252522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006453$220E39FA-D7FA-4E70-ADE3-FD72664A9F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c193eca30057e2083d399de89d053157ee087077","datavalue":{"value":{"entity-type":"item","numeric-id":4798013,"id":"Q4798013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006453$0A378B7B-724E-489B-8FFB-3408D72CB61E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"034d7339259808ce2c0fbe8cdb5235bcf1f5f4c6","datavalue":{"value":{"entity-type":"item","numeric-id":3710510,"id":"Q3710510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006453$DD35399D-BB6B-4046-B6AF-ED3E697F20DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1cb38ebf7484dba24790046affe24b52ad1ac17a","datavalue":{"value":"10.1007/S10849-006-9022-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006453$75D66235-9D48-443E-B0CF-60D6F5A91904","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cf15e97f053250996f6eadaedae637ee9af21bb","datavalue":{"value":{"entity-type":"item","numeric-id":4247687,"id":"Q4247687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63b042ebb0673165f7c1df2e01a101543eff6816","datavalue":{"value":{"amount":"+0.8615902662277222","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":"Q1006453$7358A671-85F1-44E1-8AB9-2468C3495EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0db8b94d3fac2c623215c6f16e8407da8ef6320","datavalue":{"value":{"entity-type":"item","numeric-id":3838808,"id":"Q3838808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63b042ebb0673165f7c1df2e01a101543eff6816","datavalue":{"value":{"amount":"+0.8615902662277222","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":"Q1006453$BA64EA6E-568F-4524-AA8C-841A7819AFC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4119528563c83ef71cdef4809223c5868160f1ae","datavalue":{"value":{"entity-type":"item","numeric-id":2424818,"id":"Q2424818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30e9938ad1885316d6f5950975eb2646d8384323","datavalue":{"value":{"amount":"+0.840217649936676","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":"Q1006453$D5F17047-8D59-4202-A3CA-CC4B6CAF794A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92edb522c9d04bb4fdf0bc59fc438fbbf39a9b88","datavalue":{"value":{"entity-type":"item","numeric-id":2999221,"id":"Q2999221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49ede217a67230adc6e93e500d0b89d4b871b265","datavalue":{"value":{"amount":"+0.8132309317588806","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":"Q1006453$F3A78797-EFD4-44C6-87C7-E45482F0AC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e5e3d440a40762a27e0d883b61b6ee0afdf0b68","datavalue":{"value":{"entity-type":"item","numeric-id":3624089,"id":"Q3624089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c8f4d35ba0277dad2fb156cfe2f7d877ef34ba0","datavalue":{"value":{"amount":"+0.8094511032104492","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":"Q1006453$26EC8D7C-0515-45A1-A2E0-B37F38CFC6F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Linear temporal logic as an executable semantics for planning languages","badges":[]}}}}}