{"entities":{"Q2633620":{"pageid":2644363,"ns":120,"title":"Item:Q2633620","lastrevid":53419739,"modified":"2026-01-24T22:38:45Z","type":"item","id":"Q2633620","labels":{"en":{"language":"en","value":"Tools and algorithms for the construction and analysis of systems. 25 years of TACAS: TOOLympics, held as part of ETAPS 2019, Prague, Czech Republic, April 6--11, 2019. Proceedings. Part III"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7052985"}},"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":"Q2633620$B9C2B4C0-2E86-4B32-8153-9D6C7ABA295B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"45ec54e09a75abe6e89f422333beec25874daaac","datavalue":{"value":{"text":"Tools and algorithms for the construction and analysis of systems. 25 years of TACAS: TOOLympics, held as part of ETAPS 2019, Prague, Czech Republic, April 6--11, 2019. Proceedings. Part III","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2633620$82BD7554-9270-4375-A6A1-45C8527003E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8bf0b6a20021cdea54185ac9b57a347235184dde","datavalue":{"value":"1408.68008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2633620$B48D7112-ACA3-42FC-8FFA-75E2E8021ECD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"219d567fddc0bc67d9251ee7258ddaa44d3c305d","datavalue":{"value":"10.1007/978-3-030-17502-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2633620$BA087686-D0C2-4F04-9542-0B4B0BCF995C","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":"Q2633620$5D055268-3EC2-4016-AA0F-1D4404E9E61E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4390069cd83adbaf827492f64df665c3eb3fc92a","datavalue":{"value":{"time":"+2019-05-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2633620$B820A3C6-029A-4AA2-9F1F-98C394C63622","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2633620$76E60D15-69AC-4083-89B6-CCA0BD0093D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2633620$5ABD0E65-0894-4D41-A594-534E6F409D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2633620$E1A33074-8CC8-4A7B-AE93-F3D793C3845A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c9f271abbdda2e6a000a9332bea08a1f9c09c3f","datavalue":{"value":"7052985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2633620$774D590D-BBE4-439E-93C9-B657F2C4676C","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":"Q2633620$57FC318B-056C-4314-9C93-956FE4E44A83","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c8156789d79b493dea9a37394ae93318f671f7fe","datavalue":{"value":"https://doi.org/10.1007/978-3-030-17502-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2633620$B37C5517-7138-4473-8812-263F65AA2ED5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3fc6066f137166411f17ad44ede150b8c36b9cfb","datavalue":{"value":"W2954479669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2633620$4B9C555E-A7FF-451C-8B00-AF339553E410","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"caaec3556f1f9df8f1cdf261c2ca457e96f5ad01","datavalue":{"value":{"entity-type":"item","numeric-id":2633617,"id":"Q2633617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31293808853276e93af0b53248069ed9ec4ad7bb","datavalue":{"value":{"amount":"+0.94192373752594","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":"Q2633620$4684E66C-C311-41B6-BA92-BB4F01BB55B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ebaca610221455cbd0a6bda4521cd11b7ccdcaf","datavalue":{"value":{"entity-type":"item","numeric-id":2633619,"id":"Q2633619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19b3a1948c47f16af31ec1a86fa8cd4384897c03","datavalue":{"value":{"amount":"+0.9417093396186828","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":"Q2633620$BC89B85C-019F-4D2C-8619-B16BCE9057AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da7d45fca998befbee2646ba3d1f3f51d0c48bdf","datavalue":{"value":{"entity-type":"item","numeric-id":1745574,"id":"Q1745574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c188b59baba4c5d16a31af24224862381b81043","datavalue":{"value":{"amount":"+0.8939542174339294","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":"Q2633620$926E9E42-89EB-4600-83A3-700143E241A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b6afc8b87e70d64447e0691cf30f73ad30a843d","datavalue":{"value":{"entity-type":"item","numeric-id":1745578,"id":"Q1745578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"873281e17534c2f3e89bfc29efdff158f63d4408","datavalue":{"value":{"amount":"+0.8929883241653442","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":"Q2633620$1126E2AA-995B-4A85-8375-8473218C9835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbfa69f5173cf5db8782ae15947367056c97cd5c","datavalue":{"value":{"entity-type":"item","numeric-id":2043106,"id":"Q2043106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"631ecfe228a36218f31a163835525574d2aa3d52","datavalue":{"value":{"amount":"+0.88950514793396","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":"Q2633620$1F983395-C567-426C-85BA-1D965643D9E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2633620","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2633620"}}}}}