{"entities":{"Q1770429":{"pageid":1781171,"ns":120,"title":"Item:Q1770429","lastrevid":72502719,"modified":"2026-04-14T05:21:47Z","type":"item","id":"Q1770429","labels":{"en":{"language":"en","value":"Tree automata with one memory set constraints and cryptographic protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2153221"}},"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":"Q1770429$C2EF9BD8-D8D3-44C2-8B39-353A668E314C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15e74e0e9d22f307ee30ea220e12d86cc056f7c4","datavalue":{"value":{"text":"Tree automata with one memory set constraints and cryptographic protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1770429$F4728F5E-616B-4A43-925C-A91FEEC58364","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab1ff4e6fea01e7077e38e609da598b0070e1582","datavalue":{"value":"1070.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770429$E5CBDF74-44C0-4D91-9FF4-E8A6AA21A01F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23be70569faa30ab86ceaac20a2ea57705fd5fb4","datavalue":{"value":{"entity-type":"item","numeric-id":685392,"id":"Q685392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770429$FC72966F-EAB2-46E3-A43A-64BCE6A3366D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d70519ef78cb58e04ec872af558109333716e152","datavalue":{"value":{"entity-type":"item","numeric-id":391119,"id":"Q391119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770429$6FA0B7B8-832C-42A5-A217-DE1A1698AEC6","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":"Q1770429$F2E231C5-10F2-42B6-A165-99EE7D898E8E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1934d792c26a5fadc4b54d2e40cc5c88366797ca","datavalue":{"value":{"time":"+2005-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1770429$B9A87C8A-30E3-4798-93FF-A27F43D0DB4C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770429$D3DFC77B-6578-4B4B-918F-66898A56FA99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770429$47B0699C-CC64-4463-B8BA-69CEDBC1D2EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8fc7fa4894b199d41338c4cff75c6e0add0de16e","datavalue":{"value":"2153221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770429$492F1A72-6016-46F5-80FC-9258A4551952","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":"Q1770429$BB414451-3B41-48B8-B615-413066985242","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95ca2bdf0cd0eb0f4d1910e783d162902f063ea8","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2004.09.036","type":"string"},"datatype":"url"},"type":"statement","id":"Q1770429$43D9C19C-3839-4D79-BB36-0B0179A935A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fd3a2dc8fc588d448562f59c2844973a31ff17d6","datavalue":{"value":"W1967744155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770429$71CD67B2-8154-4FD1-94CC-6E43D702D677","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60ab50b8d1d4756f8ebae8cf9fd6ef9acae13a1","datavalue":{"value":{"entity-type":"item","numeric-id":1283776,"id":"Q1283776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770429$96CD991D-D239-47A6-BEE9-365787C4901B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b9b11bc3b3da7d3aa6e2b0101c4edd6ff5bfcb8","datavalue":{"value":{"entity-type":"item","numeric-id":1818069,"id":"Q1818069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770429$4E0258BE-FC71-4441-9AA7-1DCFFB28E6E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e489f60b50ffbcb76ff4a8ca52e7c0625bf4ef0","datavalue":{"value":{"entity-type":"item","numeric-id":4536615,"id":"Q4536615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770429$F0758BB7-C17A-4C4C-AAD6-18273F8ED692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9afd4fa313d72573c9bd3f393fea2eaa1326a6b","datavalue":{"value":{"entity-type":"item","numeric-id":4418589,"id":"Q4418589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770429$2B07F530-61F1-4356-BB21-9FFFFD6207EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b6d89263b354e03150f06a5a14bcaca875c9a93","datavalue":{"value":{"entity-type":"item","numeric-id":2506490,"id":"Q2506490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770429$FDC00033-20A8-4F77-B393-58A59BC80E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72fc44f926852741b8eb9b59cd4df9d83fae6ccb","datavalue":{"value":{"entity-type":"item","numeric-id":1770429,"id":"Q1770429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770429$5676B76D-63AD-434D-9252-39CC1B3E87DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46a36cb944c08f94b6b89ba8b39e20dba78080a3","datavalue":{"value":{"entity-type":"item","numeric-id":4535056,"id":"Q4535056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770429$40E1B063-22C8-4375-B788-50FAB481C4AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770429$0E6CB58B-5983-4FBA-9E55-EAB7B79FC758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3944d11f57df22916bf6d751f60919e8d5446f58","datavalue":{"value":{"entity-type":"item","numeric-id":3323837,"id":"Q3323837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770429$77683D5C-EE5E-40E6-BAD6-DE1863275E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4151990484c8fe92e6fd42407c1c6d4e5df6ee5a","datavalue":{"value":{"entity-type":"item","numeric-id":4219024,"id":"Q4219024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770429$5A874353-E43E-4DAA-919B-BBB900AAB72D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04bbd3ff0e6402348b490ebdaf9fd860aa3f7a57","datavalue":{"value":{"entity-type":"item","numeric-id":1336737,"id":"Q1336737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770429$3A4C6D0C-417E-46DD-BC20-3124A8B28987","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0644149259db40c44ff5e5b249ae075694df3ed8","datavalue":{"value":"10.1016/J.TCS.2004.09.036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770429$7C1E017C-9309-427B-AC51-EB58DE6FDCB9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8adfe3520f44148d912bb31721dc885de457cfb0","datavalue":{"value":{"entity-type":"item","numeric-id":4535056,"id":"Q4535056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d3299b34a0673c4c4883b6ee8b1f3ac9db89d5d","datavalue":{"value":{"amount":"+0.9340527653694152","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":"Q1770429$D9C702FD-42AC-43D9-ABE3-911DA7C6EE6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3001dbefa0131bf3994e5f32497248a60838ca5","datavalue":{"value":{"entity-type":"item","numeric-id":1398674,"id":"Q1398674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cd903ea4854c5dc492413cc019021649ff36a63","datavalue":{"value":{"amount":"+0.8188526630401611","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":"Q1770429$B26BB548-93F3-4C4C-9A7F-7EC6465D137A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bdc6d5f13c29d3c71aeb751041f3077f0860db8","datavalue":{"value":{"entity-type":"item","numeric-id":4494379,"id":"Q4494379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7c6b96272b2896b102fd08778e63ba6935d94e8","datavalue":{"value":{"amount":"+0.8098039627075195","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":"Q1770429$2DE666A4-1218-4748-BFEB-DE00B3C0FCAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0b78a29b45d92670f4be6d17fa67c9f5bf3db7e","datavalue":{"value":{"entity-type":"item","numeric-id":5309716,"id":"Q5309716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c2a738d4063f0d74a3836c4e252f32dfe9ac1c4","datavalue":{"value":{"amount":"+0.8088415861129761","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":"Q1770429$5F47CAB5-8DFE-4B30-9D7F-BD9A108F85DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dce06185251172f96eb9b5715830678d0f3b2da","datavalue":{"value":{"entity-type":"item","numeric-id":5394626,"id":"Q5394626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c98cdd435b9d0f51a2ef6ac66077d12811aa7fe","datavalue":{"value":{"amount":"+0.7912696599960327","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":"Q1770429$ACED76BA-53B7-4658-9886-265D91A70F4D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tree automata with one memory set constraints and cryptographic protocols","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tree_automata_with_one_memory_set_constraints_and_cryptographic_protocols"}}}}}