{"entities":{"Q5738918":{"pageid":7768470,"ns":120,"title":"Item:Q5738918","lastrevid":52826777,"modified":"2026-01-23T14:25:29Z","type":"item","id":"Q5738918","labels":{"en":{"language":"en","value":"Verifying security protocols as planning in logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6729729"}},"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":"Q5738918$E0313476-D842-47BB-A0CA-12B266291B41","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"738032719710fbd59bd3c7d5b5ec0bba80bf7c7a","datavalue":{"value":{"text":"Verifying security protocols as planning in logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5738918$E9CCE28B-D5AA-4FAA-B7C8-34269717DD24","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13f35a9e369f9f8734e579ccb97b121af335224c","datavalue":{"value":"1365.68386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738918$62316B5B-CEEC-42AD-BB70-CC9D3030D0FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c7f3f92745ef60aeffdd15c74a08a413683f7c4","datavalue":{"value":"10.1145/383779.383785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738918$E8E48D5D-E4BE-4EA2-8030-09F52F765A97","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b93a1ce5ccb10f813c3a09cf8da9077a5eba6e96","datavalue":{"value":{"entity-type":"item","numeric-id":274411,"id":"Q274411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738918$1A2F69FB-EA92-4F2A-A2B2-2E3169746D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd8358f34fdd94323fe17d3e8928b2b07a4e9975","datavalue":{"value":{"entity-type":"item","numeric-id":861697,"id":"Q861697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738918$19055AFB-0228-4761-A91B-BE711E90AEB8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738918$427887C8-BCCC-4CF1-9B9C-D9437E3ADEB6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fb82429bb4ba602ab7d5caf04c575952ba3fb53","datavalue":{"value":{"time":"+2017-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":"Q5738918$A8FFEB94-8E23-460A-83EF-D8235EA74770","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738918$9FFAD86A-9D69-4415-BB44-EC8EA77E3339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738918$97B2765B-26D8-44D9-8160-E6EB9D6F0F84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86d539b54acafa0cad4ff1521de56a186aadfba7","datavalue":{"value":"6729729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738918$9D9B0CAC-1B9A-4DFE-A9C2-999C51A29AB0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"350340194d3a3542925114977af17a6836e01c8e","datavalue":{"value":"AI planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738918$7F785011-80AA-4333-9CD0-A9381BD4286B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738918$FC535F88-3113-4341-BD2A-E7B580BB8A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7156857ffe92ce842aee3549f498ec9de33be1f7","datavalue":{"value":"security protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738918$0D942587-B15D-426B-A429-AAA9D61E9556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1b211b4dd569b746945e55556358ad5d7610f9a","datavalue":{"value":"specification language","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738918$B5538FEB-235B-4B2A-96D2-B9152D1BF974","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":"Q5738918$ED183071-9924-4264-8563-8F3BB0972785","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"79dc8900992eb7811ec0c34e3cc4419edc3b1c41","datavalue":{"value":"https://doi.org/10.1145/383779.383785","type":"string"},"datatype":"url"},"type":"statement","id":"Q5738918$684ABC87-7FEE-4892-B2CE-B7DF9414E1A4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"46089b726e40b499b8fe252e12bedc23079b66dd","datavalue":{"value":"W2049129243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738918$2BCA1B55-F492-4D52-A058-F81FBD1CD99E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e851cb4ec4cd59224610a6733ec5fe9e51e7a387","datavalue":{"value":{"entity-type":"item","numeric-id":4707750,"id":"Q4707750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cce4d9ac29bb26c640477d164fd30399c2aa10c2","datavalue":{"value":{"amount":"+0.9150761961936952","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":"Q5738918$18AAD698-6FCD-487D-9A4E-D9913D7E1541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0134b670b9d4234b3ea19ce6d3e8f0c0cf3ab426","datavalue":{"value":{"entity-type":"item","numeric-id":5394158,"id":"Q5394158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b6748f1185fafe377be23af1aee94d5b9bdad00","datavalue":{"value":{"amount":"+0.7759053111076355","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":"Q5738918$83056E7D-745F-46D6-8B72-CC97629D2960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b7c9c48f6bd116c71c4eb2fb6361f19c294c7b0","datavalue":{"value":{"entity-type":"item","numeric-id":4422080,"id":"Q4422080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dd3b25063f2c249599ee4d15449f4f6e1724df2","datavalue":{"value":{"amount":"+0.770025372505188","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":"Q5738918$0A2F92C7-3FB1-4787-AD55-1D1354FF4BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3e8215663a0e9fc1bc632141e66276fda095bd1","datavalue":{"value":{"entity-type":"item","numeric-id":5394563,"id":"Q5394563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11762081c2b9828911dff7ff261ae343532601d0","datavalue":{"value":{"amount":"+0.7687798738479614","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":"Q5738918$C3D4E2A5-2AB5-476F-B132-65AD3F3827D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a6c5b064e194d2cfda5b9786389d9cfbed9f0ca","datavalue":{"value":{"entity-type":"item","numeric-id":5506380,"id":"Q5506380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a43ea95388a3451b57ae67e7632889169d5566d","datavalue":{"value":{"amount":"+0.7684549689292908","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":"Q5738918$5B350D8C-B5B0-43C0-87C6-E4728BB5C4B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5738918","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5738918"}}}}}