{"entities":{"Q6114367":{"pageid":13248674,"ns":120,"title":"Item:Q6114367","lastrevid":57345576,"modified":"2026-03-30T14:16:23Z","type":"item","id":"Q6114367","labels":{"en":{"language":"en","value":"Tools and algorithms for the construction and analysis of systems. 29th international conference, TACAS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22--27, 2023. Proceedings. Part I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7710779"}},"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":"Q6114367$897DAF57-836D-4E1C-8712-C98F61BD62B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"92e8f419915de854e63d59d47867fd97351def4d","datavalue":{"value":{"text":"Tools and algorithms for the construction and analysis of systems. 29th international conference, TACAS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22--27, 2023. Proceedings. Part I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6114367$13199795-170F-4FB8-9707-58692F05627C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44ecabeff3dff2c5477034c59aa7126765cd532f","datavalue":{"value":"1525.68003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6114367$13005F60-8687-45AB-A949-10EC5A6B1C1C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c426012abe098cd3cad921f5bdead1c724ac5c7","datavalue":{"value":"10.1007/978-3-031-30823-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6114367$29C5ED09-603D-4E87-963D-1308AD68C4D4","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":"Q6114367$D9EF8347-E677-4BE6-ABF4-C8DD11A8FC8C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f35572edd9cbae037e686d4d39c945bacdfc99e8","datavalue":{"value":{"time":"+2023-07-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6114367$FC9394BA-C79A-47DF-9DC3-62E8C09EB77F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6114367$FF8CD517-3A6F-4909-956E-7204D0E1E129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6114367$0DC50688-F37D-4767-A460-2849F8025CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6114367$53CEF77B-1B52-40C4-9FCB-C0747A74DB77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec03f384380ff6fefcf8113e7c4b1bca70027554","datavalue":{"value":"7710779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6114367$CC20E16D-B4C6-4D0C-9DE0-2569B98E77A1","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":"Q6114367$3CCAAAE6-6330-46E8-A7C5-514406ABC656","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b78f0c316af2baeabbda1c71ad4ae6ecc55973c","datavalue":{"value":"https://doi.org/10.1007/978-3-031-30823-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q6114367$0335D3C0-745F-4042-9F42-1A8F06123469","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5dc7a7fae36d3aaca790a15056565ce002749be0","datavalue":{"value":"W4366672258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6114367$F43BF8C2-9DD2-4AC6-8FD5-163CD92D9B91","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca0e6738dd73383c42654a4009ef62e52a930689","datavalue":{"value":{"entity-type":"item","numeric-id":6114368,"id":"Q6114368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39a2d598a073fe252ee467d6c294d9d45940464b","datavalue":{"value":{"amount":"+0.9990293979644777","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":"Q6114367$5D46ADC7-0E75-4CE4-9E1E-A6E5A6F0E445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98524a6fe0cb916d7ef1192229b1f968444d0f23","datavalue":{"value":{"entity-type":"item","numeric-id":6114261,"id":"Q6114261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bad7f225423216263a9f452c2e8ca4649fa6a3e","datavalue":{"value":{"amount":"+0.9422438144683838","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":"Q6114367$A4293006-CBB3-4B31-B096-62A3A65FDDAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"584156f9e7fbb7ebcd61f033ba26f9b5d802d2e5","datavalue":{"value":{"entity-type":"item","numeric-id":6114262,"id":"Q6114262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0726886f74e811d00ed4eba3263bfac38e1c57dd","datavalue":{"value":{"amount":"+0.9403623342514038","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":"Q6114367$CB412D35-0AED-411C-8960-F603A6EE0E4E","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":"49bd6de4d630a332febd1a8e6aae820e8ebe1234","datavalue":{"value":{"amount":"+0.9346001148223876","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":"Q6114367$2743C4F4-2941-44BB-AFF4-F148FFC33242","rank":"normal"},{"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":"63d461f4f69b285377a37bd84102b7dfb4e9a27a","datavalue":{"value":{"amount":"+0.9322784543037416","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":"Q6114367$A7DF191B-2E8E-496E-8900-16C2EDA79A2B","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6114367$A317DCB6-1CFA-4B24-B1BF-657AE7AA5EFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6114367","badges":[]}}}}}