{"entities":{"Q3623935":{"pageid":5653841,"ns":120,"title":"Item:Q3623935","lastrevid":87525902,"modified":"2026-06-04T11:54:05Z","type":"item","id":"Q3623935","labels":{"en":{"language":"en","value":"Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5547654"}},"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":"Q3623935$4DDBA088-0DE7-439E-A740-DE6BBABA7109","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"58e7831f4d058c36b65be53481463aafea8e257e","datavalue":{"value":{"text":"Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3623935$E9FDD3F0-60ED-4FB0-AA25-6C3C9B1E111E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c1f2f2c1ad1fb5f06d5cdee243894761adda500","datavalue":{"value":"1236.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623935$3D7883CB-F97B-45D9-A17C-F947569D8948","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45798a0b10791a9c9293cae11633761de7cc656b","datavalue":{"value":"10.1007/11784180_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623935$9005285F-329D-481C-9DB5-394DA1DC86C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb5476bcb6b1d8c92418967d714dff7d7b486f51","datavalue":{"value":{"entity-type":"item","numeric-id":434468,"id":"Q434468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623935$43AE2EC1-BC60-4137-BF17-F2DD448E443F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d283bfff41569929de0ba520942a031eb8bd107c","datavalue":{"value":{"entity-type":"item","numeric-id":435976,"id":"Q435976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623935$4E91571D-FC73-4D0E-9FB2-9C1074484B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35f8ef2e44345b44d5df789c93a6d744e54eb86f","datavalue":{"value":{"entity-type":"item","numeric-id":487255,"id":"Q487255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623935$0899A17C-F718-4AA3-81CA-26A7F8A562F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61858cb81e4b5eb34d2de9199633f44c2ecae313","datavalue":{"value":{"entity-type":"item","numeric-id":2996122,"id":"Q2996122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623935$4E55C36D-BC7E-41B4-A90E-FA9F38BE9D56","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"962aaad97593dfc1dafb90617b979127f52bb556","datavalue":{"value":{"time":"+2009-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3623935$D786D767-21AC-4806-A1E1-E87ADBAC52A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623935$53E63DBD-5ECA-492E-ACD0-2A4B20E01599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623935$293B17A7-0C1D-4937-B684-50A6CE359C47","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06065f872a4175f1f75d47e109cfc3ad5a72f05e","datavalue":{"value":"5547654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623935$68DECA75-6043-4FC8-ABF7-E42A05DE6431","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":"Q3623935$FFB5260D-32AA-460E-8F59-44C5BB950164","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a0c2e7d6f87cc51454fa0453d25f92945755b66","datavalue":{"value":"https://doi.org/10.1007/11784180_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q3623935$AEB74197-60F7-43A7-826F-8DB72DC70967","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"65580fb94db80658c9fa7916e8a7b690721c2de9","datavalue":{"value":"W1480673006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623935$D5CDFB67-72A1-49C8-AED4-D54D688C5EDD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"011da9fe8e28030487f6e928b5cacd8552997d43","datavalue":{"value":{"entity-type":"item","numeric-id":4473980,"id":"Q4473980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd64c9bcdc769277201143e708f738e663203091","datavalue":{"value":{"amount":"+0.7272446155548096","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":"Q3623935$AF6DDB0B-E475-4D10-BCB1-80EA2245E376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97cfb41caa4e0da17dd933a997d7473ea3b00ad7","datavalue":{"value":{"entity-type":"item","numeric-id":1878928,"id":"Q1878928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b10cc6f96c63daa79fe7fad3cf1604911e375464","datavalue":{"value":{"amount":"+0.726836085319519","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":"Q3623935$E6904209-179C-484E-A3F7-122610731227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c895a9cbb43a2cba041157fda7dcbfc7f9f01f8","datavalue":{"value":{"entity-type":"item","numeric-id":4817540,"id":"Q4817540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7ddd0e15dfb24a4ad61a04277e6bcee2507f9de","datavalue":{"value":{"amount":"+0.7227507829666138","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":"Q3623935$FF500283-ACF0-4AFD-BCF9-323784450468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35dbcc99a7fe7d595c65c94b5000a787ee1d5253","datavalue":{"value":{"entity-type":"item","numeric-id":5898622,"id":"Q5898622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66ef22072439fc5ffcda972be202013b391c0e8a","datavalue":{"value":{"amount":"+0.7217808365821838","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":"Q3623935$C5DA08DC-292A-43A0-A946-9983974EEEBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62ccf8a694514b0676771a5c550e3d57d964ad47","datavalue":{"value":{"entity-type":"item","numeric-id":1923094,"id":"Q1923094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1905176e974830dcb873e200552b5bedeadf67e6","datavalue":{"value":{"amount":"+0.7129862308502197","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":"Q3623935$9D9B8C72-9F73-4032-9CB5-98ABF8618BDD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_Communication_Protocols_Using_Abstract_Interpretation_of_FIFO_Queues"}}}}}