{"entities":{"Q4603575":{"pageid":6633158,"ns":120,"title":"Item:Q4603575","lastrevid":58294185,"modified":"2026-04-04T14:48:07Z","type":"item","id":"Q4603575","labels":{"en":{"language":"en","value":"Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6839700"}},"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":"Q4603575$C1208907-226F-490B-9D85-B0EF9F6F1CF7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a94d3c7b90cd9f18d7261db5680d6cd5ed3259d","datavalue":{"value":{"text":"Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4603575$02A43896-925D-4740-9CB9-A89620D42035","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d18d0e9dedc79b64ebe8577700b507ce69ae53a6","datavalue":{"value":"1433.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4603575$D1751DC2-D966-4B34-B95B-EA8AC15009E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ebd75c90be7e4ab0e82691bb06ae24a54df4e8d","datavalue":{"value":"10.1007/978-3-319-44878-7_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4603575$E903111F-BD88-4583-B98C-659DA2E8FC48","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0206dced1d121eca631a5525158864f5f288ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":462498,"id":"Q462498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603575$66C5667A-22B1-4D2A-B290-6D101111CF40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ef528bc8876184f9d4707e8d3f50dda4f6f700b","datavalue":{"value":{"entity-type":"item","numeric-id":281158,"id":"Q281158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603575$865AD7D6-A2F2-497F-B85A-D7A9180EBC13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f77aa9981ae6690e559660487e9993c7adcfdc1","datavalue":{"value":{"entity-type":"item","numeric-id":1326779,"id":"Q1326779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603575$002FD753-5C81-4BD5-9E95-0C294542381E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"183df695ae89db8e2a7647ddbe2de62ff0deb022","datavalue":{"value":{"entity-type":"item","numeric-id":1052316,"id":"Q1052316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603575$D0B693BE-4AE3-4E82-B6F8-0198E238B12E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd06b85e820d9a6a030d7377f177d55fded7c36b","datavalue":{"value":{"entity-type":"item","numeric-id":862852,"id":"Q862852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603575$42C2BFA0-0494-4823-B772-C5BBBE2C80DC","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":"Q4603575$F511FB69-AD8B-4793-BE94-5EE8696A427A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"026fcddfc7ebe5ada2146aa6bcd14393afcc73e1","datavalue":{"value":{"time":"+2018-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4603575$2FF947CF-219B-44DC-8058-0D49D3D437E8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9248c57384202ced968b6161b585464b798d65ef","datavalue":{"value":"https://arxiv.org/abs/1606.07886","type":"string"},"datatype":"url"},"type":"statement","id":"Q4603575$055D2BC2-750A-4BC9-A45A-FEB1C40313F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4603575$20174509-75E2-4C44-92B6-4CC1D5845894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4603575$5AF0D517-F64C-4519-A8D6-50780913C22C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4603575$9672AF63-011E-44B1-B28F-8960369B8E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4603575$1FEA815E-57A6-40A1-959E-746646508301","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02440c547f80c2052af1b3a1ae97f4d7e11011b8","datavalue":{"value":"6839700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4603575$5CD7B0AC-C7CA-4D36-9250-8D08616FF715","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":"Q4603575$2ACF46AE-9665-474C-9922-75787644E8AD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3cc30528da951a97666a3408c821e8a61fbf756e","datavalue":{"value":"W2471389158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4603575$0E08C406-8B88-43B0-86C1-CCB364F7E301","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c4971fc73a884ab7c27b7c24336befbb0646742","datavalue":{"value":{"entity-type":"item","numeric-id":2154017,"id":"Q2154017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6205cdc4d7e152aa85d4438a72277397b7c28aa","datavalue":{"value":{"amount":"+0.92872024","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4603575$CB413656-4B71-4606-99EE-C2945AF1591A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d5d4e704a63e7df8da0c2df1946cafe315a530b","datavalue":{"value":{"entity-type":"item","numeric-id":5392289,"id":"Q5392289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87c083b084e0385ea338825342a0bcb7d6b409e9","datavalue":{"value":{"amount":"+0.9223258","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4603575$40F2B313-78B9-4C83-B6FB-3AA1E157BC22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82d7e0b3d9d3df2135f8a8b15167642230fbaeb5","datavalue":{"value":{"entity-type":"item","numeric-id":4357065,"id":"Q4357065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ab907f4453486b2380767e1c8ce99f4b0452f5d","datavalue":{"value":{"amount":"+0.9176923","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4603575$0C68ED0B-2275-438E-859D-089924148DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7078ae80f7018138190616f53b4338638dcca619","datavalue":{"value":{"entity-type":"item","numeric-id":2753701,"id":"Q2753701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"182bb22fe5c28d6645af47199ba9340620a5d4fd","datavalue":{"value":{"amount":"+0.91377604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4603575$892A7E90-484F-4449-912B-1FE188F14740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2981a03330b59bedf1e1fda5720e593e879f4b25","datavalue":{"value":{"entity-type":"item","numeric-id":2303374,"id":"Q2303374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e748f597609c58e67aade66fbb9a4f0999894b0b","datavalue":{"value":{"amount":"+0.89526606","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4603575$B81ECF6E-7680-46D6-97DE-794F73BFA13F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49562ef11a0db1241e19327ec70ac6b42fb460e7","datavalue":{"value":{"entity-type":"item","numeric-id":2431767,"id":"Q2431767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c41604b7f08abf7f930c62c2fca607762dcbc270","datavalue":{"value":{"amount":"+0.89085776","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4603575$FFA4FE2E-DF11-432D-A186-1CC3ED77C4E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4603575","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4603575"}}}}}