{"entities":{"Q2979821":{"pageid":2990546,"ns":120,"title":"Item:Q2979821","lastrevid":52791899,"modified":"2026-01-23T12:39:14Z","type":"item","id":"Q2979821","labels":{"en":{"language":"en","value":"Specification and verification of the classical sliding window protocol"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6708304"}},"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":"Q2979821$DE696D17-0F84-4882-9800-D8E9E30C9899","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7562b58f5a66fe90f68a02f1904edb65a792f799","datavalue":{"value":"1374.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2979821$151AE183-E5F2-44CB-A7A1-8D9202120359","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"780337e612606e6b0cfc1a9e4d31030a02569608","datavalue":{"value":{"entity-type":"item","numeric-id":2729919,"id":"Q2729919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2979821$015894BC-8D99-4336-97CD-D3FF8CF01DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f12ab6a50dca285e32f059f3cef41583e61bc6ed","datavalue":{"value":{"entity-type":"item","numeric-id":174086,"id":"Q174086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2979821$B97C9986-1C5D-4478-91B1-6FC302846DED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5136aa5d1d5384ee622607c2cb579d682b7a682f","datavalue":{"value":{"time":"+2017-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2979821$95DF5EB2-2567-4951-917B-5FB0FD5E5990","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f1c244014300597526090ee86ba06bbfcb81e17a","datavalue":{"value":"http://bulletin.iis.nsk.su/files/article/chkliaev_0.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2979821$3F432639-B3F7-4897-B772-EA2897814D3F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2979821$BD166F03-7A73-4772-AB9C-2B53165D7421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2979821$F2D54293-4659-48FC-B3AB-B0D149EB8C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2979821$ED4E0C20-9163-4F40-8D21-4EB75A26CE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2979821$0722EAF8-DDDD-4FF6-A9C1-AE79D2C9060F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"baea1fad608f212307d7119642f8aafb95b7a07e","datavalue":{"value":"6708304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2979821$0A934B3B-F0B8-4D42-BD4E-996BA1106E1D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"caf7b28e1a528700c34ad336d48ae8fe5c8eaf57","datavalue":{"value":"computer network","type":"string"},"datatype":"string"},"type":"statement","id":"Q2979821$5E2A032E-560A-4C87-9AED-12E2F1F41ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f80adea42e3f88253c1bd84ec07975d53c5d6be","datavalue":{"value":"communication protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q2979821$CEAAD93F-9100-4FDD-9C68-6CB1BEE8B272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8fe94447b75ddd548bf2491af5302caca113119","datavalue":{"value":"sliding window protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q2979821$84BC05C4-D601-43BD-BD01-77FCDF747E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2979821$C2363E12-ED28-45B2-9B0E-7F3444874596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5c8ba46ca3cfc960c989c4fc1677ad7c552dab4","datavalue":{"value":"automated verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2979821$A9865F8F-6034-4E8E-998F-3E0C31202F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2979821$1C696DCC-BE58-4DEA-8743-5FD7F32BD205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14b5e090dbc9bcb80548540aca8b83d5cf21b1b3","datavalue":{"value":"verification system PVS","type":"string"},"datatype":"string"},"type":"statement","id":"Q2979821$E26D4A95-A176-4195-9269-2B1745DDC4C9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2979821$5277CD24-D88F-4F40-9AFD-5E5D115C03DA","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":"Q2979821$96BA9B78-5E38-4338-AF9D-DDA0F8532FC3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee78c6769832728bab844d2fdf2e76c58b9e892f","datavalue":{"value":{"entity-type":"item","numeric-id":4417917,"id":"Q4417917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c75974c4f66404a783d734dabf27e09f51163fec","datavalue":{"value":{"amount":"+0.8469576835632324","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":"Q2979821$7906DBF4-92A9-441E-9624-F654B436FE97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bce00dc50c98a326013c3573bbfe4ad541f16d4","datavalue":{"value":{"entity-type":"item","numeric-id":2576590,"id":"Q2576590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d35d199a927a0d63994fac044e887f2e6f977751","datavalue":{"value":{"amount":"+0.8151258826255798","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":"Q2979821$D57DA3F4-E5DE-4E1A-A8AF-7AC296C53711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cde787bfc97095ad6d7c34e3e53f245d041c763","datavalue":{"value":{"entity-type":"item","numeric-id":5312977,"id":"Q5312977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f358cf15367cc7132448d023127676ecd89b0cb8","datavalue":{"value":{"amount":"+0.7927631139755249","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":"Q2979821$D985288B-57D6-413F-B0C5-561FFE09A2B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b47d7d72a8907892c3b7d88f11883bdd7d621f3f","datavalue":{"value":{"entity-type":"item","numeric-id":1176075,"id":"Q1176075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b0c9d0a930e53873ceea2f01c1608490ebea4fa","datavalue":{"value":{"amount":"+0.786500096321106","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":"Q2979821$DCB7E731-DE17-49AC-B98B-F3D3E8D53D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ab029d26229235d3d92ab2aa947c5dee2f6a18c","datavalue":{"value":{"entity-type":"item","numeric-id":1805397,"id":"Q1805397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6082bcc9df4e1a31aa836db8b7eb3b548469bef9","datavalue":{"value":{"amount":"+0.7600094079971313","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":"Q2979821$6C407666-A7C6-4DF6-BCE9-89F8C9EFAFE6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2979821","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2979821"}}}}}