{"entities":{"Q2371891":{"pageid":2382634,"ns":120,"title":"Item:Q2371891","lastrevid":43964007,"modified":"2025-11-18T14:00:56Z","type":"item","id":"Q2371891","labels":{"en":{"language":"en","value":"Tools and algorithms for the construction and analysis of systems. 13th international conference, TACAS 2007, held as part of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March 24 -- April 1, 2007. Proceedings."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5170255"}},"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":"Q2371891$696C82BA-2A2E-4D2A-A2E7-9ADB5C39625D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6f411810c5c456b340397a5856c55f1617d5fe4","datavalue":{"value":{"text":"Tools and algorithms for the construction and analysis of systems. 13th international conference, TACAS 2007, held as part of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March 24 -- April 1, 2007. Proceedings.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2371891$9B3B31EC-F134-4315-85B2-002141B16375","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"59322aa22f9f58b7194e244602e56f52c8a275e2","datavalue":{"value":"1116.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2371891$98F96438-0D6D-4F04-AE47-31343E2DF777","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6096bd1204c3980de8d679050f0f0a2a1df02c8e","datavalue":{"value":"10.1007/978-3-540-71209-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2371891$26A8C01A-032E-49F5-B273-DAA5BA59AF39","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":"Q2371891$47D5F67F-9388-457C-8CF1-55BF307B4474","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c298539c7206106fe5ad6975449a13e07c58590e","datavalue":{"value":{"time":"+2007-07-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":"Q2371891$444A0F79-EBA2-4DD0-BEFF-5805F8E7102C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2371891$CAAC8308-4D03-4900-A4AD-917A91DA315D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2371891$79DB86AC-CF24-4125-A58E-3E46B13B6CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2371891$34CC57B7-A7B7-4400-A98F-2A5326FF4DD6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9909aa1c753b67b1d9086d9b81da7ef5540b6c4","datavalue":{"value":"5170255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2371891$686F69A2-054D-4EF6-B6C5-DC9E8C07B409","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":"Q2371891$F155C095-BA8A-4F69-B405-3073FAD39207","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"69d47947111ace524faef6760715db1d4a090325","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71209-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2371891$78F25EFB-B020-4753-83F5-2C74DDE6EEF6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8d6b792dc9866381c6846d2d679f7c40eed6ced6","datavalue":{"value":"W2885624622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2371891$DBAF5215-F141-45B4-A49D-7034C4F48519","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8b4207572ff75ecd14cf7f73098565b9db6643b","datavalue":{"value":{"entity-type":"item","numeric-id":5931325,"id":"Q5931325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5a3e95365ebaa699a033352aea5b962fe8e70be","datavalue":{"value":{"amount":"+0.95292264","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":"Q2371891$ACF0DFCF-5EEC-4FE2-AD08-D6374E931CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e12529941a29d819085f7dde1bcbe198898d3c23","datavalue":{"value":{"entity-type":"item","numeric-id":2431632,"id":"Q2431632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"382df9a3f64eea31aef5ecc76a023d5ba56698cc","datavalue":{"value":{"amount":"+0.94428504","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":"Q2371891$1FCC3CF2-552C-4300-8DE3-F4878BAC610E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ac17d59e0169d4e0e953d45d1601b41d12155d8","datavalue":{"value":{"entity-type":"item","numeric-id":593175,"id":"Q593175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea782f162c97e346c38e7a404796fe270daa2e7c","datavalue":{"value":{"amount":"+0.9365377","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":"Q2371891$ED5633FB-D212-4207-A1E7-2BAA2E6B5773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aafeeb5b3d5c9bb4a68edc72281f0153c5ea2c09","datavalue":{"value":{"entity-type":"item","numeric-id":593176,"id":"Q593176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"029ff5d5cd5006f993cf010b9237fd662eb2df30","datavalue":{"value":{"amount":"+0.93323624","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":"Q2371891$A4AF1659-C56D-427E-9B3E-2F81C44AC038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8da1ccd90358a7dc27b0535a9faade0faa30de85","datavalue":{"value":{"entity-type":"item","numeric-id":2479551,"id":"Q2479551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc5c8059a2fa299926b7ba23fd59d9fd9866b31e","datavalue":{"value":{"amount":"+0.92937416","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":"Q2371891$41AC6C79-028F-4E06-8076-42A047F3AC9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd2afa25704698a255c3a99d5cfb9308a5eb0f8f","datavalue":{"value":{"entity-type":"item","numeric-id":2388070,"id":"Q2388070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53cb4ee966b420244de1d7e031abdc9ddb7c7ef4","datavalue":{"value":{"amount":"+0.9282121","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":"Q2371891$DA1E50E0-0D83-4091-BA74-6060B80C38D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0819d258db0a5b794840465e5f3c39ffde6b2d0c","datavalue":{"value":{"entity-type":"item","numeric-id":1935964,"id":"Q1935964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d58fc24d69f29499a0e28b64c3b162a702c328f6","datavalue":{"value":{"amount":"+0.9280547","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":"Q2371891$2A1D492E-013C-4B6B-BA78-5F41E4D42FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"255a620cabe07a079dfb29ac805d06aeb9150f4b","datavalue":{"value":{"entity-type":"item","numeric-id":1881365,"id":"Q1881365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11902461e46b71420046f359c337edcf5f8cc032","datavalue":{"value":{"amount":"+0.9267521","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":"Q2371891$3AD63A62-E0CB-4EF5-8584-D661E7006C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb3e6bcfa1bd16b1319868009e6c1d43e5d8806c","datavalue":{"value":{"entity-type":"item","numeric-id":2441804,"id":"Q2441804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"735419d1b6098aedf29afd41baf193af18e16b9d","datavalue":{"value":{"amount":"+0.9263576","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":"Q2371891$FB52111D-D743-4B9F-A7BD-166C12447112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6974ee84382806b600b238636e36f7da94ca5e35","datavalue":{"value":{"entity-type":"item","numeric-id":2268737,"id":"Q2268737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70334081bb59c1128763896efd8c54546310b179","datavalue":{"value":{"amount":"+0.9262251","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":"Q2371891$50E4FDA4-EBF8-4B99-9C1A-12ED37DE7F6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2371891","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2371891"}}}}}