{"entities":{"Q1639696":{"pageid":1650437,"ns":120,"title":"Item:Q1639696","lastrevid":74075052,"modified":"2026-04-14T18:16:25Z","type":"item","id":"Q1639696","labels":{"en":{"language":"en","value":"Extracting mutual exclusion invariants from lifted temporal planning domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6887462"}},"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":"Q1639696$631E3D69-9D91-4FD1-A384-C81282994433","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ac63b503437a7ee68225a9e398cb78d7395f988","datavalue":{"value":{"text":"Extracting mutual exclusion invariants from lifted temporal planning domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1639696$E24BBB41-6839-46C7-B588-2E63C5D02B70","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"050283fcf4b1b5951c8c39706f9a8d96e81a4e9b","datavalue":{"value":"1433.68404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1639696$142E73D7-CEB3-42F7-84E3-F6BBE570C56E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82ac3cb2d66ec809c52cb718aac718df295c130b","datavalue":{"value":{"entity-type":"item","numeric-id":1639695,"id":"Q1639695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1639696$3D98667D-D169-42C3-ABD2-96C9B171DEDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"758f8a83cb75ae3726123453a664d502c94d4084","datavalue":{"value":{"entity-type":"item","numeric-id":305630,"id":"Q305630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1639696$A9E94B3C-8891-4278-843D-BD91729CB95D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"888d66e80f229bb9539d2515c28a07760c63d158","datavalue":{"value":{"entity-type":"item","numeric-id":1060860,"id":"Q1060860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1639696$F163ECCE-DEC4-4197-9B21-EB4224750264","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1639696$D1D5590D-7498-4F46-8A9F-4A6CE2DD383F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c48da118f42ae63a4e13b0d14c7f6767c5b84da","datavalue":{"value":{"time":"+2018-06-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":"Q1639696$8D738825-AC6A-4DBB-942E-D95541A98252","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d93b03ac44e735672821177682ec63e41185ef89","datavalue":{"value":"https://arxiv.org/abs/1702.01886","type":"string"},"datatype":"url"},"type":"statement","id":"Q1639696$DCC32371-63F6-49E8-A640-3C2B281EA52D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1639696$334AB725-AA8C-4AB6-B004-2442FDAA5613","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a86d2068b7a4c2aa9ac58f8c68c23e34741bf058","datavalue":{"value":"6887462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1639696$4CF26A77-782E-4BDC-8E57-DCB06FF1CECC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8e41226cc7f11dabb29e4617f6131f6c46af2c0","datavalue":{"value":"automated planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1639696$130532F3-F71D-4715-BE2A-21DF139263F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8c5f8101aec76e098b239e7b47c2ff05c831749","datavalue":{"value":"temporal planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1639696$47388874-FBD4-49F5-AE06-9525E5FDF1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9131dfdfb4196413d901de32bbf950f6f3cf0eb","datavalue":{"value":"mutual exclusion invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q1639696$688FDB8C-2561-448A-BE21-D6A57C041BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfbaf4a5bbef22cbfb36d93db30f9c8c7bf99a32","datavalue":{"value":"automatic domain analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1639696$BED1CF4E-4DF5-47AD-AA04-F69BEF061412","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"503825d68ed5a35842f88c1c76dc6088e21c1efa","datavalue":{"value":{"entity-type":"item","numeric-id":19763,"id":"Q19763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1639696$DF513BD3-4B1A-4972-AF7D-DE119B3B4514","rank":"normal"},{"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":"Q1639696$27F89BFF-3384-4AE6-84A0-0D3BF634CFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f08a2a8c7ead6319b5cdb95fb4e36c14c29b9f2e","datavalue":{"value":{"entity-type":"item","numeric-id":15880,"id":"Q15880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1639696$E78032D1-BF73-4D5C-967A-6EF336D1B70E","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":"Q1639696$8E5F687F-F494-4B06-BD75-FF1AC7F5B695","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb6960b7eac98eefe11117be638a1bca4ff668d0","datavalue":{"value":"W2789689304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1639696$04BB59D1-FA41-402C-89A6-A4B1521A8EF0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad4db1d3dbd42116620e185986a69fbfb9e425f1","datavalue":{"value":{"entity-type":"item","numeric-id":1402751,"id":"Q1402751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1639696$D2262FEB-81BC-4018-B2BC-198434D72A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0e033e049c5f1a26ce9b84deda7f1f418424a90","datavalue":{"value":{"entity-type":"item","numeric-id":5941310,"id":"Q5941310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1639696$2CDB0992-1CB7-4B5A-A4DD-17C3D8D6271A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3f826791980fe9fb3581dfff517cdf1c1cf20c4","datavalue":{"value":{"entity-type":"item","numeric-id":835814,"id":"Q835814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1639696$D2E2CE90-A61E-45E7-852B-635031A9C2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2e5c554008ed2deae078a59480592dee98025ad","datavalue":{"value":{"entity-type":"item","numeric-id":5958636,"id":"Q5958636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1639696$6A004CE0-A802-422E-9B14-DD751E68C901","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":"Q1639696$9CD7CFD2-4F18-4838-B120-9F8B4DE8AE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dc0cb02e990bb9233f129466ce011b2ab533532","datavalue":{"value":{"entity-type":"item","numeric-id":4230719,"id":"Q4230719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1639696$0E3F6B6C-75EF-454E-8540-BCC26976E8DE","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":"Q1639696$B756CFB5-1D65-479D-B887-D68DD30351DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6509c2c5d7de3398690a894a40717bda9c292ce4","datavalue":{"value":{"entity-type":"item","numeric-id":4242054,"id":"Q4242054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1639696$7B28851E-2CCA-42A5-B10A-3FB510916459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08c1cb9d3cfd5dcef9b4a1ebf9060ad150be0090","datavalue":{"value":{"entity-type":"item","numeric-id":1768742,"id":"Q1768742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1639696$F99B57FB-65C7-455D-B553-4352B861A76C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52f00707105e2a80cc355e13e133db211cbf1545","datavalue":{"value":{"entity-type":"item","numeric-id":3400327,"id":"Q3400327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1639696$498EF857-F451-46C2-9BC5-FE3129508F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cede3917b28ac65c0161350fe28701f7ec4d1100","datavalue":{"value":{"entity-type":"item","numeric-id":3624000,"id":"Q3624000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1639696$2D7ADAA3-DFBA-4EDE-BA64-C3C7AD5A10B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13bee5f0057389e1c16ac139c18b978a9fc1e0e6","datavalue":{"value":{"entity-type":"item","numeric-id":3624014,"id":"Q3624014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1639696$3EB32C9E-1B04-44F0-86E8-B4A8379C7D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b110ada156d276289ecc81191110bc89c1579f0","datavalue":{"value":{"entity-type":"item","numeric-id":835819,"id":"Q835819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1639696$133F1F70-14A5-40D6-864D-FE9ECF1FDA21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d1bac3abb8c0c48365bec06af3b9c76749da3a4","datavalue":{"value":{"entity-type":"item","numeric-id":2717791,"id":"Q2717791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1639696$5F455F19-3A52-4339-B497-E3C355424F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"062562533f4b55cd657db8cda7e50f735d1caac0","datavalue":{"value":{"entity-type":"item","numeric-id":3055802,"id":"Q3055802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1639696$51759EF1-EA89-4103-8164-A040D410CD6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1ad0d02c2bd75bd710676a00500800b4c5fc7b0","datavalue":{"value":{"entity-type":"item","numeric-id":2938537,"id":"Q2938537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1639696$D2F39B02-1768-46C4-8715-D14817CCF824","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7215e34385f1b5aa29eef59c8fb8f2c88b6ee02a","datavalue":{"value":"10.1016/J.ARTINT.2018.01.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1639696$A5DFFC52-FF4D-4040-A730-05063ABD8ECC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db8dd08821a0d645dce37397a25f24f0d3aad50e","datavalue":{"value":{"entity-type":"item","numeric-id":4230719,"id":"Q4230719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99c91eb4d0f8ed066962edd09a23afbf8bf4fea9","datavalue":{"value":{"amount":"+0.7523229122161865","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":"Q1639696$86435E5B-B296-40A2-9846-3646C0D48AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e761c249d1734e74c678c055b20f4b1eb50aaa9f","datavalue":{"value":{"entity-type":"item","numeric-id":2941742,"id":"Q2941742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c23de29f28ecc5788b6dea13467eee35bda716d","datavalue":{"value":{"amount":"+0.7523112297058105","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":"Q1639696$08FAB502-ECC3-470F-9B8C-EF91A12A38A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31975941fff512d75b8a6fc47911337ca46b39ea","datavalue":{"value":{"entity-type":"item","numeric-id":835814,"id":"Q835814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7ae264120d192bcc45395c9606d5727035c4ae6","datavalue":{"value":{"amount":"+0.7090564370155334","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":"Q1639696$0A863C3E-06E2-4F5A-ACB8-F7C353ABAC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b11c55812abe09c2901f8963ae6e33a309a73cc4","datavalue":{"value":{"entity-type":"item","numeric-id":4428293,"id":"Q4428293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e252f87da6ef919ce2ab3d67fc75b467e58a7c8","datavalue":{"value":{"amount":"+0.6868242025375366","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":"Q1639696$ECB7B832-9825-4B9F-A415-13A4C01CB9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71affa82d8a98a3d2bf44393ab8bb006d2a05838","datavalue":{"value":{"entity-type":"item","numeric-id":3624017,"id":"Q3624017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eae0bd2514586f513b1b9bf4762e281dcfb9a5c4","datavalue":{"value":{"amount":"+0.6857703328132629","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":"Q1639696$7978F6E2-F49D-4A2B-88B7-349144329367","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1639696$30424F74-1EA4-4DE0-8CA0-C521B1EC7717","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extracting mutual exclusion invariants from lifted temporal planning domains","badges":[]}}}}}