{"entities":{"Q3593070":{"pageid":5622975,"ns":120,"title":"Item:Q3593070","lastrevid":50171276,"modified":"2026-01-13T08:51:56Z","type":"item","id":"Q3593070","labels":{"en":{"language":"en","value":"Cryptographic Protocol Verification Using Tractable Classes of Horn Clauses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5194957"}},"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":"Q3593070$4795798C-306C-41B3-80B3-A858C2BA6E6A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f09bb2afc582f9d6370ad23648091c8da60b3f2","datavalue":{"value":{"text":"Cryptographic Protocol Verification Using Tractable Classes of Horn Clauses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3593070$99E65989-30A6-4EFF-ABA0-5285FB82C5E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"111793975fb6558baf7d6c54433ebbf49b860ca3","datavalue":{"value":"1149.68380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3593070$4DA36AA7-E043-4165-B7DC-921075BAF85D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6dbbb7bf9f4539742d0d95c53a9f1c605226202a","datavalue":{"value":"10.1007/978-3-540-71322-7_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3593070$8A2189C5-077E-4BC7-A715-C64229A126E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d8846866e0f2e2874e781dfcefe3a000615efed","datavalue":{"value":{"entity-type":"item","numeric-id":435967,"id":"Q435967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3593070$F29531FD-DCF6-4FD3-A4A2-50CAD71364F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5e19b9844a7dd66a028eac52049aa31d9f05c37","datavalue":{"value":{"entity-type":"item","numeric-id":2373698,"id":"Q2373698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3593070$CBD139B0-E153-4657-8DBB-F0A7CFD7C17A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d27b7bce54b9a3f428c68262be7845cadda998ba","datavalue":{"value":{"entity-type":"item","numeric-id":3593061,"id":"Q3593061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3593070$2B0673AC-8862-4F3A-99D1-85273D92265E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"892e1c80fb63024570d29dbd990e9f3404511c8e","datavalue":{"value":{"time":"+2007-09-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3593070$762427AC-1357-4DDD-86E7-C75CFA719A13","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3593070$107356C4-CB0A-4A23-8973-787F2FF29AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3593070$527D873E-7878-40B8-84B5-B4FDD0B3C466","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db72924f72f7850ef81ea5a2cafc10da8333543a","datavalue":{"value":"5194957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3593070$39C673BC-4EAD-4AD1-9F82-A6FD4C8D2F87","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":"Q3593070$BC3BC86F-19FB-485D-A2C9-28DA3CF74AAC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59436123d6d57e459a9a6010af43ef9c72132a6b","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71322-7_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3593070$30903E23-19FC-4A70-A8FE-DA8B7F9B459B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"792dcdbf0ff5836a8f995a62b70f58f9125f1c6b","datavalue":{"value":"W1530969613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3593070$91F8CFB8-E36F-452B-9C88-CF6F371DB68B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0be115f7cda727138f509f9c52e8e5353ab28c6c","datavalue":{"value":{"entity-type":"item","numeric-id":5277817,"id":"Q5277817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3365b357b3acc46ad6716e3393994b7fc7c9d4aa","datavalue":{"value":{"amount":"+0.88011634349823","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":"Q3593070$67CAFE29-038E-4644-9900-E889B869D060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0e2a675b9fab072bc38c041f24cb9e533ba4dc3","datavalue":{"value":{"entity-type":"item","numeric-id":5705952,"id":"Q5705952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ffa0849a1d529be1f2f77977f1e8057bb737093","datavalue":{"value":{"amount":"+0.8794200420379639","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":"Q3593070$586FE967-8CA3-4C94-92AF-AF4DF356FA5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea04742e41ba7d3e0b25eed15e727a9dc235db70","datavalue":{"value":{"entity-type":"item","numeric-id":3636822,"id":"Q3636822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f99f29444bb30cff4c95b56e93412e9accc5ec46","datavalue":{"value":{"amount":"+0.8344561457633972","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":"Q3593070$87A084F5-F079-4693-B909-C5D7285D3AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c174508f76de4707251972a7a81c38eedf5c6dcf","datavalue":{"value":{"entity-type":"item","numeric-id":5394623,"id":"Q5394623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8231bb7482bec8d091d44565d9c5892fe77f5302","datavalue":{"value":{"amount":"+0.792543888092041","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":"Q3593070$167CC7F9-1FB0-45EC-92AC-949B0F9355E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25fc9f2993b4b334e4e14689dc265a5221493d8a","datavalue":{"value":{"entity-type":"item","numeric-id":3498469,"id":"Q3498469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20f9d923b573c5cb5aa0dc3b027a686e93c96588","datavalue":{"value":{"amount":"+0.7791860103607178","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":"Q3593070$2889B639-3643-4BFA-AEA5-5F134F6490A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3593070","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3593070"}}}}}