{"entities":{"Q3296331":{"pageid":3307039,"ns":120,"title":"Item:Q3296331","lastrevid":86731895,"modified":"2026-06-04T09:42:03Z","type":"item","id":"Q3296331","labels":{"en":{"language":"en","value":"Analyzing guarded protocols: better cutoffs, more systems, more expressivity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7218143"}},"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":"Q3296331$6B484961-B3C2-4B1E-A7C7-0E8F7B12B995","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d362f4b50a5bae7ffea549114cc9404ed0966ecc","datavalue":{"value":{"text":"Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3296331$E750A7B2-7D3A-4459-B60C-85ACF6DA005B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05673b202ca083a28c8948688f61163ed8ad7e83","datavalue":{"value":"1446.68105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296331$1E6BE1BF-E1E8-4149-ABE3-21793661B0CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a60045692ec872becf9e35044c73be0c800bda2c","datavalue":{"value":"10.1007/978-3-319-73721-8_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296331$8420E2C7-1D05-4DC9-A00C-1B3CFB9EEA18","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c66349fb93c4be731b6d05d8a88aac3ca4b2b84","datavalue":{"value":{"entity-type":"item","numeric-id":784146,"id":"Q784146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296331$A9D977FD-71EB-4FEA-81E2-41CAA6F90A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"480b1dbc287fa43c1ad819d274e160b81c309bc6","datavalue":{"value":{"entity-type":"item","numeric-id":784147,"id":"Q784147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296331$683E5897-FDAB-4ADE-8DB2-4E0927E2B6B5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296331$FF69D151-E685-4E83-9455-2CBDE9FF0B8F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"01d69a3c7fdeda349075259d925d96d26b367ba2","datavalue":{"value":{"time":"+2020-07-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":"Q3296331$4D268112-8637-44D0-A928-49C337DC80E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"32943ea072045cdbd1a59b57f7030889702179e4","datavalue":{"value":"https://arxiv.org/abs/1707.01369","type":"string"},"datatype":"url"},"type":"statement","id":"Q3296331$4C8F6116-2F51-4119-9C3E-DC0E02AD568E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296331$370222C9-4B73-4189-BDD1-377633602524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296331$D90FAEA1-7A67-47B3-997B-12EB41C2A769","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f40e768bc043941dee832996f0008f4de99f868","datavalue":{"value":"7218143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296331$F81F84ED-EFA9-401E-ABCC-CBF1B6DC5B50","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":"Q3296331$1840D06F-B3B2-4BDC-924D-8CC1513B3432","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b372e88c2c8774975596db26b10869c8b1ff786b","datavalue":{"value":"W2724095852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296331$3760B783-C460-4FC0-AD3F-085067FE04FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beeab000995930ba3376633e24d2fba8987f40b9","datavalue":{"value":{"entity-type":"item","numeric-id":2796072,"id":"Q2796072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29b2be90726bc619571320a78ef83c2cd88f444c","datavalue":{"value":{"amount":"+0.9134045243263244","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":"Q3296331$EF212081-A34E-4342-84D0-2B36AA72788B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b16465af8dd72c4d131d0440f7949c2904a6969","datavalue":{"value":{"entity-type":"item","numeric-id":2225108,"id":"Q2225108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dc49d84b81d47d4af277a8aca471024423d203e","datavalue":{"value":{"amount":"+0.7763612866401672","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":"Q3296331$6BBF185F-5036-41CF-8181-33D583B035D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fed8dbc0dc724230c4d614bc4e81dfefb1a6b7c","datavalue":{"value":{"entity-type":"item","numeric-id":5452616,"id":"Q5452616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e1adfebef9997b7ef07141f9f3a195e52b53196","datavalue":{"value":{"amount":"+0.7536513805389404","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":"Q3296331$F5676380-48A9-4628-A738-F8AA400E4B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82527b14d149aaa0d5929b733d923fa2a9fe5aeb","datavalue":{"value":{"entity-type":"item","numeric-id":3190112,"id":"Q3190112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd0478d57349c3200511c0e908123fefdc80aaab","datavalue":{"value":{"amount":"+0.7363002300262451","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":"Q3296331$1C263BFA-A893-49DD-843B-041AC9625214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06f8d0e4bea38103802cafccfec541e3bdb8dee1","datavalue":{"value":{"entity-type":"item","numeric-id":1989334,"id":"Q1989334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be7e27c10847a2d43fab8e137620a8c38b40977e","datavalue":{"value":{"amount":"+0.736132800579071","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":"Q3296331$FC397660-29EF-4D1E-ACDC-E2F965D14E0E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Analyzing guarded protocols: better cutoffs, more systems, more expressivity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Analyzing_guarded_protocols:_better_cutoffs,_more_systems,_more_expressivity"}}}}}