{"entities":{"Q766306":{"pageid":768155,"ns":120,"title":"Item:Q766306","lastrevid":42680860,"modified":"2025-07-08T10:31:34Z","type":"item","id":"Q766306","labels":{"en":{"language":"en","value":"Tools and algorithms for the construction and analysis of systems. 18th international conference, TACAS 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6018418"}},"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":"Q766306$68B985E8-B663-4BA5-A416-8AC6E4F3F0EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb131b952936fde2fa84a9c5976ba2397903222b","datavalue":{"value":{"text":"Tools and algorithms for the construction and analysis of systems. 18th international conference, TACAS 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q766306$0F4B5375-1457-4BD0-B99E-E5770A1F2A43","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3406e5e34613058a30a073f432f1e1349f952930","datavalue":{"value":"1238.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q766306$3A8F4C7D-1725-49D6-80FC-4F0B5C31EF2A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"413f3c9297597615632ba832e3fb4154aa671014","datavalue":{"value":"10.1007/978-3-642-28756-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q766306$2FDA23F7-D19D-4919-8EF2-8B788CC338EA","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":"Q766306$240BBE06-7ACB-4759-B136-C6BBD0283A50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e25ea026da941bf2415d8e8a4c5b808379c44bc1","datavalue":{"value":{"time":"+2012-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q766306$86887325-87FE-4527-A12A-27E26A38E2DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q766306$F8D3A567-E92D-42E4-9ADE-268D91D7DC72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q766306$02920AB9-6848-43D6-B45C-CDCA80F1F6EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q766306$9D7D0FA9-2D2E-4705-BFEE-45CD4B5BD190","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5790f567a4df39a2891d1fde309c1050bad38e22","datavalue":{"value":"6018418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q766306$38CD4992-D34A-41ED-B362-EBF17192402C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1cb5c7412a95b8ff7f1ba4b73ca4c2023bf710a7","datavalue":{"value":{"entity-type":"item","numeric-id":21916,"id":"Q21916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766306$980748B4-7EFE-40C8-939A-BCC2EB73654B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42f5e6f139d3ff1b9ab408d83f02764a47a21ef5","datavalue":{"value":{"entity-type":"item","numeric-id":24796,"id":"Q24796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766306$C11417B7-4B80-4F33-8B20-FC37FCEAA18D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e0e386d303970decc8c5b4733ecce5a619671e3","datavalue":{"value":{"entity-type":"item","numeric-id":26381,"id":"Q26381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766306$8172B7BC-47E3-4451-A830-D5785B3BC0ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b3ad9fce9060c14f348316440256eb8b089be466","datavalue":{"value":{"entity-type":"item","numeric-id":26383,"id":"Q26383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766306$9B177A1F-E6BF-4904-BB6C-5F36DE0D58B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"862154bf00e08a188e5de7acb5fd6bd1ab194b4d","datavalue":{"value":{"entity-type":"item","numeric-id":16775,"id":"Q16775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766306$546E87BC-B563-4433-BF32-4B797A435F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766306$544D2C20-0C04-493E-B52E-8A0F3BB5ED29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e1655b290b91a673f0538ce14f6694f64d961977","datavalue":{"value":{"entity-type":"item","numeric-id":19440,"id":"Q19440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766306$1FE1DEFE-8DF7-4FFE-9298-CE9F75BA78B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f5d00c8ea90db1902290486ff0a016abf9032d22","datavalue":{"value":{"entity-type":"item","numeric-id":21461,"id":"Q21461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766306$AC1DFA50-7392-43FB-AA6C-42A2D3910664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"58e47a588502216ced9fceebd5c31f566ecddf77","datavalue":{"value":{"entity-type":"item","numeric-id":21896,"id":"Q21896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766306$31621EC6-A2CD-4286-855F-19B409F4C285","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":"Q766306$7AF2F015-59AF-44AA-95BF-9881259E3C81","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e34bb29d207499bda50a407bf98864b5ea676597","datavalue":{"value":"https://doi.org/10.1007/978-3-642-28756-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q766306$5ABFD555-4742-4507-A9C7-7073A717CFFA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e3951cb0d60a8809d7a1a5959f291fcfddcd2d4f","datavalue":{"value":"W2490811891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q766306$9113ECB3-3800-4FBB-B6D9-7E2B2BC834E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:766306","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:766306"}}}}}