{"entities":{"Q6589831":{"pageid":14200988,"ns":120,"title":"Item:Q6589831","lastrevid":42367180,"modified":"2025-06-13T06:43:31Z","type":"item","id":"Q6589831","labels":{"en":{"language":"en","value":"A local search approach to protocol verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7898945"}},"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":"Q6589831$10B54350-ABF6-49EF-B34E-8DA58E00F844","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ebe471fbcb31657e6c989312c04495f5dbe08f19","datavalue":{"value":{"text":"A local search approach to protocol verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6589831$58E318FA-49BA-45ED-8A82-1E890981A095","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a19a32c42e04f87fffb866e7bc01d65b3fa87cef","datavalue":{"value":{"entity-type":"item","numeric-id":2148160,"id":"Q2148160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589831$A986017A-86FE-4734-A457-36538729E00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d7c4100404442680e9faf3f2ae6e537b0cd1cc1","datavalue":{"value":{"entity-type":"item","numeric-id":319638,"id":"Q319638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589831$477B2B67-7CAB-487A-B6C2-1F6A588C6378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6547ea2456cf7ea8c03d9dddd728f9b9295ce231","datavalue":{"value":{"entity-type":"item","numeric-id":329032,"id":"Q329032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589831$79F7FC52-13BA-4138-B65D-0856C0514DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c2fec93684c27f25d8c01dec4c8070b19916003","datavalue":{"value":{"entity-type":"item","numeric-id":1633047,"id":"Q1633047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589831$071CF68C-658F-48A0-830E-3D8E86B1B9ED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589831$09B44133-A98A-4E6E-85D8-1F7169F531EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ac5a36ab43e3a34b30d87cbbbc4e56173ed434d","datavalue":{"value":{"time":"+2024-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6589831$B4526678-15C2-4B72-B2C5-D7435B6113DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6589831$5773FF8E-CC1F-43B8-A05C-941936229D63","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7db507530e0221dba71298a814f543d14177e3ad","datavalue":{"value":"7898945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6589831$AC9251F2-6ED0-4A1C-9D0C-3382BD9F81FC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720ad2603becd284daf2e9c45e20cd0a497e5f48","datavalue":{"value":"protocol verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6589831$A188EA44-5922-4005-90FA-B1B0D084B944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea1ff5a5e657abc0a392084b74b3342d23f2f4c9","datavalue":{"value":"local search","type":"string"},"datatype":"string"},"type":"statement","id":"Q6589831$F08313BA-2566-4185-B753-AD3BA5600BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93906fa1d76693ef04b3a331ffe154ee3dff46cd","datavalue":{"value":"explicit state enumeration","type":"string"},"datatype":"string"},"type":"statement","id":"Q6589831$B0E8DCB0-53D9-41B8-9DD3-75DB4B4270D7","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":"Q6589831$0DA65F53-BF59-486A-92EC-6677860F7109","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4934323541529a8bf8c7917d3f7d9f1376a46a","datavalue":{"value":{"entity-type":"item","numeric-id":2331070,"id":"Q2331070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589831$B74AA821-31EC-4446-AFCD-6CE1AF9CBE7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eaaccaac291d002c6380db04008b1f5a40bf58f","datavalue":{"value":{"entity-type":"item","numeric-id":4530808,"id":"Q4530808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589831$9B165DA0-C4EA-4B77-850E-AD32F2C3BDBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9df5ba38b23c3648086494f6b5ea5a161041656","datavalue":{"value":{"entity-type":"item","numeric-id":3614878,"id":"Q3614878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589831$09C2628C-94A0-4634-B75E-2B71985E0B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8079d7657d15a5a26ff5e887664c7f7c7e066426","datavalue":{"value":{"entity-type":"item","numeric-id":5703797,"id":"Q5703797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589831$E3CBE6BF-7591-49D3-9256-C1B221DDEB3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebb789344c046f40b42c629fe99a41dadff25e8c","datavalue":{"value":{"entity-type":"item","numeric-id":6082175,"id":"Q6082175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589831$EBC7C037-36C3-471E-ADA5-C99603216435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6842708af3ba668ba7733b8a4a47ecc006344b9","datavalue":{"value":{"entity-type":"item","numeric-id":4572078,"id":"Q4572078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589831$56AEBF52-094A-40A0-A2AC-3053E921298A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6d67500ad267793e5f7155f89fc3f68edea9ebb","datavalue":{"value":{"entity-type":"item","numeric-id":5492994,"id":"Q5492994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589831$58F6E2D9-5098-4A11-ACF5-77A234E2F84F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44a1bfcb49ec9ec27efcfbf92b97d7ea19b6d249","datavalue":{"value":"10.1016/J.TCS.2024.114675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6589831$B53093BC-C62A-4A74-BAAF-DF41B00FDD15","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6589831","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6589831"}}}}}