{"entities":{"Q930616":{"pageid":932464,"ns":120,"title":"Item:Q930616","lastrevid":65452977,"modified":"2026-04-12T02:41:37Z","type":"item","id":"Q930616","labels":{"en":{"language":"en","value":"Verified software: Theories, tools, experiments. First IFIP TC 2/WG 2.3 conference, VSTTE 2005, Zurich, Switzerland, October 10--13, 2005. Revised selected papers and discussions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5294804"}},"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":"Q930616$DA2DB907-F79C-4C88-B31D-720D530D9B90","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0500932661da5b4b665fc71686c80702dc60211","datavalue":{"value":{"text":"Verified software: Theories, tools, experiments. First IFIP TC 2/WG 2.3 conference, VSTTE 2005, Zurich, Switzerland, October 10--13, 2005. Revised selected papers and discussions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q930616$FBBA877C-F010-4EDB-9ECD-DBC7643D13BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8bc9efb442d435ca931e6c611e3445be57075e8","datavalue":{"value":"1145.68310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930616$CAA4E311-130E-426D-9719-39FD9E1F330B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89d64e1435785a7d6a4c7f8d3a14f44bb620cb59","datavalue":{"value":"10.1007/978-3-540-69149-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930616$36295FA8-AF1A-4B9E-9E5C-930DCF91E556","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":"Q930616$561137FD-C59F-4833-A7E1-55727797B715","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3452fc2c55d5d5fb6a689b083479f84064b8692a","datavalue":{"value":{"time":"+2008-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q930616$F30B4376-4F2A-4EB7-9AB7-E230EBBB4616","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930616$6514ADC4-2BF6-4703-98BE-74D43E9987B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930616$1E6CD11E-629D-473B-B78E-D5E6C07661BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930616$2DD1D409-2BBC-43D2-BDAC-D832E3C2CF5F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed08f3cc5c0645c1ffce678ddb2afcf726bc6d70","datavalue":{"value":"5294804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930616$FB8FADC2-92B2-4FE2-A879-56BD1A6524E1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4f067281d59052336c8c5edfcf9c5772af0d34a3","datavalue":{"value":"Q22244830","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930616$2E30BE82-2180-4DEB-A5EB-047FF5CD12DA","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":"Q930616$DA434C9C-2F88-4A3B-9D16-9380DBE30FB1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"22919653cf2a7ee4418a9de6b4b7f1eab659da32","datavalue":{"value":"https://doi.org/10.1007/978-3-540-69149-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q930616$93AD7155-8D78-4E65-B530-3EEE49CCE1F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b7d07aadd91e873632c1747dc0fb1a4d206a3df","datavalue":{"value":"W2480150116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930616$6B6E281E-CED7-42F1-9C41-611480C20152","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"dddf80dd1bcf9d55358418cb1d96950f9168c9a5","datavalue":{"value":"conf/vstte/2005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930616$83BE45EA-6DED-45F7-A472-BA80A6FD8279","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verified software: Theories, tools, experiments. First IFIP TC 2/WG 2.3 conference, VSTTE 2005, Zurich, Switzerland, October 10--13, 2005. Revised selected papers and discussions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verified_software:_Theories,_tools,_experiments._First_IFIP_TC_2/WG_2.3_conference,_VSTTE_2005,_Zurich,_Switzerland,_October_10--13,_2005._Revised_selected_papers_and_discussions"}}}}}