{"entities":{"Q6487294":{"pageid":14066063,"ns":120,"title":"Item:Q6487294","lastrevid":47781025,"modified":"2026-01-02T16:27:38Z","type":"item","id":"Q6487294","labels":{"en":{"language":"en","value":"Canonical Narrowing with\u00a0Irreducibility and\u00a0SMT Constraints as\u00a0a\u00a0Generic Symbolic Protocol Analysis Method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628075"}},"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":"Q6487294$F3EC83E0-17DA-4AAF-9AF9-ADD7384EA632","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7894b86530ea0ed7c24f2c894feca24caec2d91f","datavalue":{"value":{"text":"Canonical Narrowing with\u00a0Irreducibility and\u00a0SMT Constraints as\u00a0a\u00a0Generic Symbolic Protocol Analysis Method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6487294$9B53DDFA-A1BE-4E0A-87EC-F8BFEC77A065","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2243b85cf16cd8b9f5bc4eb0c864a5ad41c3a3bf","datavalue":{"value":"1517.94128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487294$B7E41518-17FA-44B3-A01A-3705EE66F80F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1bfb85fd56894f6a93b59fdd183a807fa4843e5d","datavalue":{"value":"10.1007/978-3-031-12441-9_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487294$B5B73DE7-AD18-4E49-994E-4014540C40F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b07a4e61b62ce54995b2f0e708397c1238b9d5e2","datavalue":{"value":{"entity-type":"item","numeric-id":6052947,"id":"Q6052947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487294$096A1F58-D49A-4829-9EDC-19D9ED6BAFB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5805f02852c8c5214c4739c3a07407316889a81f","datavalue":{"value":{"entity-type":"item","numeric-id":462490,"id":"Q462490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487294$35B846B0-F45E-4B54-B16A-458F5C5C6ADA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db8b1b210f5d78274958848712ad4088833e6550","datavalue":{"value":{"time":"+2022-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6487294$2A66CEC2-D1B0-49F7-BFF9-14514424CA6D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487294$9C5274BF-75D0-42B7-9BAF-F0F7F149A708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487294$B89EE3AE-446D-4D45-A47F-152357F5D7C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88ad85fd14e48f054a71f6e7ca29c1bba43fc3b9","datavalue":{"value":"7628075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487294$DBAC8853-A086-47BD-9574-5D5B4989229D","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":"Q6487294$8BEDFCAC-93C1-4F47-862A-8A3BEC49BAA3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"05b91cbd977890c724319ecbbe1cd2c3f7d516a3","datavalue":{"value":{"entity-type":"item","numeric-id":2152027,"id":"Q2152027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487294$FB28E98A-8ED6-40DF-A56D-DC7DDB59BC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1711164229e6dc20dce695a8548877209bf517a","datavalue":{"value":{"entity-type":"item","numeric-id":4934731,"id":"Q4934731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487294$BF3E7E7D-1D5F-4E6D-BD34-A50866430975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba8d4b01899bf050d26bf94999ee7c3edfe020b2","datavalue":{"value":{"entity-type":"item","numeric-id":5278194,"id":"Q5278194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487294$2336A753-8A24-4218-8CBD-31E460372492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e506e4af8108702e5b9b9b42874a27b1aa643df","datavalue":{"value":{"entity-type":"item","numeric-id":5703857,"id":"Q5703857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487294$17EF5D81-8DF8-49E7-82DC-CFF3814511E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d88a79c4cc80575093d2bcd02ebef824b7ecf746","datavalue":{"value":{"entity-type":"item","numeric-id":4928441,"id":"Q4928441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487294$CC59CA7B-70ED-4EF9-A14E-BD058D095E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2613520dd94bccb06517a96e46dc00cc2cb71a4d","datavalue":{"value":{"entity-type":"item","numeric-id":3184784,"id":"Q3184784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487294$19B890D9-DDC7-46DF-B85A-E39CDB12D552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e647f301a9d5e35e411983235da60aeddaf14e2f","datavalue":{"value":{"entity-type":"item","numeric-id":462493,"id":"Q462493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487294$E68F65FF-6906-4E34-87CC-4747AD646D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a3f8b5288ccafb27c2bd46e32029f770bf7281c","datavalue":{"value":{"entity-type":"item","numeric-id":2303359,"id":"Q2303359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487294$DB015090-2C9C-4339-B703-FEE891405097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cde07a5af9c9126c9edeee597823bae300bf25b6","datavalue":{"value":{"entity-type":"item","numeric-id":1931909,"id":"Q1931909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487294$563B7086-61B3-44CC-A14E-DE393780F6B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"849241baa6b3c56591969b2586e51dae90f667cf","datavalue":{"value":{"entity-type":"item","numeric-id":3816048,"id":"Q3816048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487294$BB373019-829C-4E2D-AA33-5C43E28EAAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487294$A2C12BE5-97A1-4ACF-B565-CAC97D730C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35de7df0c420175ccefc3da8012590103dbdf602","datavalue":{"value":{"entity-type":"item","numeric-id":3839051,"id":"Q3839051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487294$B0175838-65C9-4273-B4F1-5C1947324B32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baf49e3af784fd0b064f1256a4384095ecd0ff4a","datavalue":{"value":{"entity-type":"item","numeric-id":683741,"id":"Q683741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487294$5A61A4E0-4B9C-4A35-A92C-297E7B6AA09C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89ce0f860d09058e603a5b1cbf016972766fc0ef","datavalue":{"value":{"entity-type":"item","numeric-id":2291817,"id":"Q2291817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487294$798BFFA8-8E3B-45C9-AA48-94FE6D605F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14a1a742e214d8245c75cee91c994ccfb70891f3","datavalue":{"value":{"entity-type":"item","numeric-id":880981,"id":"Q880981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487294$F812E454-DCAC-48B8-9B2D-33C7647133E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487294$FBE9ABEC-F4FB-4580-982C-1760868F3851","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9153dc947fe448f781510dde0c48ae2bd944238","datavalue":{"value":{"entity-type":"item","numeric-id":880981,"id":"Q880981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92493679993a989cd01849e2c8ce48f0dc070910","datavalue":{"value":{"amount":"+0.787398636341095","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":"Q6487294$EFE888E9-5161-4E54-ADDB-4CB97677413F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b14bed56fce598d9e2fe50562a8a00dc0417f672","datavalue":{"value":{"entity-type":"item","numeric-id":2849863,"id":"Q2849863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4f6f3e57dd1a9ae5462fc390fdf842214da9377","datavalue":{"value":{"amount":"+0.7871605753898621","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":"Q6487294$21ECA081-054F-4268-BC79-31107DFD3910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b18232826ca113b0e1b038f48f7e5b5851600007","datavalue":{"value":{"entity-type":"item","numeric-id":2915104,"id":"Q2915104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7978c413ef1506ecec63273630f9520dcfceb55a","datavalue":{"value":{"amount":"+0.7383328080177307","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":"Q6487294$A05AC31C-49BB-4537-A2A0-35A6543D9126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97b6007820088df546d6323a810332831d6d01d9","datavalue":{"value":{"entity-type":"item","numeric-id":3460872,"id":"Q3460872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d63d4842b8230e5cfe514edde68d151648e80325","datavalue":{"value":{"amount":"+0.7339298129081726","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":"Q6487294$130DAD3C-5578-4C22-8D95-6C9C9367FA09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"521242e8d7e2b25e34e0683102e611f3b555abc0","datavalue":{"value":{"entity-type":"item","numeric-id":6104494,"id":"Q6104494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ec0b6c22c7455a2c5f48648cd910f81c9a7bd15","datavalue":{"value":{"amount":"+0.732251763343811","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":"Q6487294$0B734333-DBAC-42EA-986F-FC0F656207BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6487294","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6487294"}}}}}